 - -167. Suppose -2*o = 4*i + 102, 3*i - c = 4*o + 132. Is o greater than or equal to -54?
True
Suppose 15 = d - 6*d. Suppose 0*c = 4*c + b - 6, 0 = 2*c - 4*b - 12. Let j be 12*d*c/6. Which is smaller: j or -15?
-15
Let z = -2.81 + 122.81. Let m = 191 - z. Let x = -70.8 + m. Is x greater than 1.5?
False
Let s be (1 + (-2 - -1))/((-11)/11). Suppose s = -10*i + 123 - 903. Which is smaller: i or -235/3?
-235/3
Let w(g) = 6*g**2 - 91*g - 43. Let u be w(15). Is -22 < u?
False
Let p = -373 - -372.936. Let f = 0.013 - p. Let t be (-2)/((-1 - -5)/2). Which is greater: f or t?
f
Let p = -411 + 410. Let k be (p + -4 + 6)*-1. Which is smaller: -18/25 or k?
k
Let r(j) be the second derivative of -5*j**3/6 + 5*j**2/2 - 37*j. Let n be (2/(-12))/((-5)/30). Let c be r(n). Which is smaller: -3 or c?
-3
Let l be (-5)/(-6) - (3 + (-152)/48). Let c = -20 + 22. Let v be (-42)/80 - c/(-16). Is v less than l?
True
Let k(i) = 104*i**2 + 1. Let q be k(1). Let o(b) = -q + 103 - b**2 - b - 3*b**2. Let h be o(-1). Which is smaller: -4 or h?
h
Suppose 8*n + 25*n + 2682 = -116*n. Is n at most -52/3?
True
Suppose 3*u + 26 = 3*v - 61, 3*v + 12 = 0. Let g be (-3)/15 + u/(-115). Suppose 3*x + 3*m = 0, -2*m = -83*x + 78*x. Do x and g have the same value?
False
Let b = 35.3 + -48.2. Which is bigger: b or -1?
-1
Let t = 102 + -105. Let p(d) = d**3 - d**2 + 5*d + 6. Let h be p(t). Let i be (-34)/h + (-8)/10. Which is smaller: 0 or i?
i
Let t = -0.39 + 0.24. Let l = t - 0.05. Let n be (-2)/(-6) + 50/(-240). Do l and n have different values?
True
Suppose i = 2*z - 2161, -11*i = -9*i + 5*z + 4331. Which is greater: i or -2165?
i
Let h be (567207/45 + 2 - 9) + 6/15. Which is greater: h or 12597?
h
Suppose -2*z - 2*n - 2228 = 0, 5*z + 1923 + 3617 = n. Let g be z/7 - (-240)/(-420). Which is greater: g or -162?
g
Let j be ((-2085)/180*-9)/((-4)/16). Which is smaller: j or -14?
j
Let i = -24199 + 6148. Are -18051 and i equal?
True
Let x = 1.7 - 2.352. Let f = 0.138 - x. Is f not equal to 1?
True
Let j(y) = 5*y - 14. Let f be j(4). Suppose 8 = 7*w - f. Suppose -2*z + 2*q = -w, q = 4*z + 2*q - 4. Is z greater than 17?
False
Let f = -21 - -18.8. Let y = -1.5 - f. Suppose 11*a - 6*a - 5*m = -10, a = -4*m + 33. Is a equal to y?
False
Suppose 0*f = -2*f. Suppose 3*p = -2*j + 11, j - 4*p + 3 = -8. Let z be (-144)/1566*j*6/4. Are z and f non-equal?
True
Let b be 12688/56 + 6/14. Is b <= -0.1?
False
Let q be (-34)/221 + 251/(-26)*12. Which is bigger: q or -113?
-113
Let q = -127 + 46. Let d = -273 - q. Is -192 < d?
False
Suppose i - y - 8 = 3*i, 5*i + 2*y + 22 = 0. Let m(z) = -z**3 - 7*z**2 - 13*z + 8. Let r be m(i). Suppose -20 + r = -5*b. Does -7 = b?
False
Let c = 21981 - 21983. Let q = -38 + 34.2. Which is smaller: q or c?
q
Let u be -4 + 34/8 + 42/(-8). Let m be (-12)/(-4) + u/((-20)/(-1416)). Let f be 100/(-143) + 9/(m/(-6)). Is 0 at most as big as f?
False
Let z = -14 + 11. Let p be ((7 - 5) + 0)*z. Is p bigger than -6?
False
Let s = -12 - 8. Let x be -1 + 68/s*4. Suppose 77 = -5*a + 2. Which is greater: a or x?
x
Let d = -8380 - -8378. Which is smaller: d or 0.026?
d
Let t be 5/((4 - 35/10)*2). Let l be t/60*3 - 45/(-84). Is l >= 2?
False
Let t(d) = 34*d + 46. Let l be t(3). Suppose -l*w - 40 = -140*w. Which is bigger: 0.31 or w?
0.31
Let b(r) = r**2 - 16*r + 57. Let g be b(11). Suppose g*h - 4 = 5*a + h, -4*a - h - 5 = 0. Does -3/76 = a?
False
Suppose 2*d - 4*q = -2, d + 7 = -0*q + 4*q. Suppose -d*r = -r + 216. Let i = r + 73. Which is greater: 18 or i?
i
Suppose -l = -3*a + 4*a + 22, 5*l + 38 = -a. Let s be 26/(-117) - -2*(-38)/a. Let x be (-162)/1215*(0 + (-6)/s). Is x smaller than -8?
False
Suppose -15*o - 55 = -85. Suppose -10 = o*i, 13*v - 4*i - 23 = 10*v. Which is smaller: v or -1/667?
-1/667
Let p be 13/(3 - ((-112)/(-37) - 0)). Let r = -474 - p. Let z(o) = o**2 - 3*o + 4. Let h be z(4). Which is smaller: h or r?
r
Let p(q) = q**3 - 124*q**2 + 129*q - 560. Let g be p(123). Do g and 160 have different values?
True
Let u be (2/3 - 2)/(2/(-9)). Suppose -2*k - 4 = -u. Let d be 9/(-6) + k + 3/2. Is -1/16 less than or equal to d?
True
Let z be (-744)/155*(-35)/(-430). Which is smaller: 1 or z?
z
Let b = 2932 + -14656/5. Let p = 8.3 + -1.3. Let g = 7.1 - p. Is g at least b?
False
Let h be 3/(-8) + (-5)/((-41800)/(-4159841)). Suppose i = 4*a - 3*i - 2000, 3*a - 1488 = -3*i. Let u = h + a. Which is greater: 1 or u?
1
Let x be -2 + 9 - (-21)/48*518. Is x at most 235?
True
Let f = -34.3 + -9.7. Let l = f - -45.3. Let w = l - 1.47. Do 0 and w have different values?
True
Let k(q) = -18*q - 17. Let p be k(5). Let m = -107 - p. Suppose -7*t + 19*t + 300 = m. Is t equal to -24?
False
Let d(u) = -10*u**2 - u + 4. Let m(r) = 3*r**2 + 2*r - 1. Let z(n) = -d(n) - 3*m(n). Let y be (1 + (0 - 0))*5. Let a be z(y). Does a = 0.1?
False
Let u = 1616 - 1615.8. Which is bigger: u or 3/323?
u
Let o = 41.7 + 117.7. Let x = 2.4 - o. Which is bigger: x or -1?
-1
Suppose -2*z - 149 = -5*o, 5*z + 0*z + 430 = o. Let b be ((-64)/64)/(z/1). Which is greater: b or 1?
1
Let u = 7178 - 437748/61. Is 3 < u?
False
Let s(c) = -264*c + 14. Let a be s(-14). Suppose 40*b - 5*b - a = 0. Is 0.2 < b?
True
Suppose -z + 4*x = 3 + 12, 2*z + 2*x = 20. Suppose -c + b = 11, 5*c = -z*b + 2*b - 23. Is c bigger than -10?
True
Suppose 158*h - 54*h = -71*h + 2100. Do h and 57 have different values?
True
Let t be 8835/(-23240) - 6/(-16). Let f = -1226/124915 - t. Which is smaller: f or 0?
f
Let a = 1/36979 - 74783/30507675. Which is smaller: a or -1/4?
-1/4
Let n be (8 + 60)*(6 - (-115)/(-20)). Suppose 0*x - 97 = -5*x + 2*s, 3*x + 5*s = 83. Does n = x?
False
Let d = 1.939 - 3.939. Are d and 4.48 equal?
False
Suppose 11*x - 14*x + 12 = 0. Let s be x/(-10) + (-39312)/45. Let t = 97016/111 + s. Does 0 = t?
False
Let g = -6489 + 6483. Are -675 and g nonequal?
True
Let p = 192/17 + -1023/68. Let a = 51 - 79. Let s = a - -28.1. Which is smaller: p or s?
p
Let j = -388.406 + -0.594. Let l = -389.1 - j. Is l >= -1?
True
Suppose 449*b = 467*b - 11970. Do -12 and b have different values?
True
Let m = -510 - -511. Let n(h) = -3*h**3 - 4*h + 4. Let x be n(m). Suppose 2*l = -0*l - 14. Is l at least x?
False
Let x be (-233)/(-12)*-2*13/(-164 - -34). Is 4 at most as big as x?
False
Let k be (-6)/21*(11 + 91) - -1. Which is smaller: -27 or k?
k
Let k(y) = y**3 + 6*y**2 + 7. Let b be k(-6). Suppose 21*n - 2634 - 201 = 0. Suppose -n = -b*h + 4*h. Which is greater: h or 43?
h
Suppose u + 55 = 3*u + 5*h, -4*u - 3*h = -117. Let y be 21/u*-2*5. Let d be y/(63/83) - 4/(-18). Is -2 not equal to d?
True
Suppose -404*v = -405*v - 2. Let j = -326/15 + 4309/210. Is j at least as big as v?
True
Suppose -46*u + 48490 = -43602. Which is bigger: 1/2 or u?
u
Suppose c = 2 - 8. Let o be (16/(-20))/(c/45). Let y = 63 + -62. Is y bigger than o?
False
Let m = -3719 - -3762. Which is bigger: m or 11?
m
Let n = -545258/5 + 109483. Let k be (2170/15)/((-2)/(-6)). Let s = n - k. Is s <= -4?
False
Let o = 7511 - 7512. Which is bigger: o or -9/73?
-9/73
Let a = -128983/46345 - -1/2015. Let d = -443/184 - a. Let y be 3*(-1)/16*-2. Is y equal to d?
True
Let a be (-8)/(-1406)*(6 + (-744)/96). Which is bigger: -1 or a?
a
Suppose -42 - 390 = -12*d. Suppose -d*o = -23*o - 2574. Is 199 at least o?
True
Let p be (2415/(-9))/5 - 4/(-6). Let o(r) = -72*r + 162. Let w be o(3). Which is greater: p or w?
p
Let k be (-8 - ((-515)/35 + 8))*(-5)/(-75). Which is greater: 86/11 or k?
86/11
Let i = -0.67 - -7.67. Is 44 smaller than i?
False
Let m = 29412.199 - 29383. Let w = m + -0.199. Which is smaller: 1/3 or w?
1/3
Let h(o) = -3*o**2 - 61*o - 3. Let b be h(-20). Let z be (-2)/b + (-7)/(238/(-2010)). Are z and 414/7 non-equal?
True
Let w = 1100 + -1080. Suppose 3*y - 107 = -5*u, 75 = 5*u + 2*y - 7*y. Which is bigger: u or w?
w
Let v = 270527/1379 - -106/197. Let b(i) = 11*i**2 + 6*i - 3. Let p be b(4). Let d = v - p. Which is bigger: d or -1?
d
Let q = 8182 - 106419/13. Is -3 > q?
True
Let f be (0 - 2 - (1 - -5))*-22. Suppose -f = -3*u - 23. Let t be u/98*2 + (-12 - -11). Are 1 and t non-equal?
True
Let h = 4578.4 + -4658. Does 1 = h?
False
Suppose -5*u = -20, 5*y = -0*u + u - 34. Let h = -68.54 + 68. Let b = -0.46 + h. Which is smaller: b or y?
y
Let s(z) = 5*z**3 + 6*z**2 + 5*z + 49. Let x(g) 