uppose d*k - 24 = 16. Are 11 and k non-equal?
True
Suppose 6*t + 6 = 9*t. Suppose -t*j - 2 = -4. Let b be j - 1 - (-13 + 5). Is b at least 8?
True
Let f = 6.91 - 7. Let z = f + 4.09. Let k = -0.11 - -0.41. Do z and k have the same value?
False
Suppose -3*s + 8 = s. Suppose b + s*b + 1 = 2*y, 3 = -2*y - b. Let i = -41075/21 - -5867/3. Which is smaller: i or y?
y
Let u be (-4 - 12/(-3)) + -10. Suppose m - 4*f = 3*m - 2, -8 = -3*m - f. Suppose m*l + 7 = -23. Is l < u?
False
Let n be ((-28)/10)/((-333)/(-45)). Let v = n - 277/148. Is v > -2?
False
Let h = -8571/90740 - -3/1396. Let a be (-76)/(-585) + 0/(-2). Let u = a - h. Are u and -1 equal?
False
Suppose 3*i + 5*t + 0 = -7, 0 = t + 5. Let f = 4 - i. Let l = -93 + 461/5. Which is smaller: f or l?
f
Let m(u) = u**2 - 27*u + 77. Let q be m(25). Which is bigger: q or 29?
29
Suppose -4*h - 3*r = -329, 412 = 2*h + 3*h + 3*r. Is 84 bigger than h?
True
Let j = 157966 - 467372/3. Let p = 2150 - j. Is p > -25?
False
Let x = 309 - 1116. Which is smaller: 1 or x?
x
Let i = 13.9 + -13.4. Let p = -1.5 + 0.5. Let v = 1 + p. Which is greater: v or i?
i
Let u be ((-2)/(-6))/(2/6). Let j be (2 - 1) + (-11)/(44/90). Let a = j - -22. Is a > u?
False
Let d be -5*(2 - -2 - 3). Let a(p) = -p**2 - 6*p - 3. Let h be a(d). Suppose q + 4*u = -12, 5*u - u = -h*q - 16. Which is smaller: -5/2 or q?
q
Let d = -2.1 - -2. Let n = -36.83 + 37. Let c = n - -0.33. Which is greater: c or d?
c
Let t be -3*4/18*-6. Let n = -2534 + 2538. Is n at most as big as t?
True
Suppose 5*t = 3*i - 55, -t - 5*i - 28 = -9*i. Which is bigger: -11 or t?
t
Suppose -53*t = -54*t + 1. Let p be (96/760)/(4*t/30). Does p = 2?
False
Suppose 0 = 1956*t - 1961*t - 1810. Which is bigger: t or -364?
t
Let t = 577 + -586.5. Is 0 less than t?
False
Let g(u) = -u**3 + 5*u**2 - 4*u + 3. Let l be g(4). Let s be 9/(-6) + 6/l. Is s at most as big as -9?
False
Let c(m) = -m**2 - 5*m - 5. Let f be 14/4 - (-4)/(-8). Let o be -6 + -5 + 2 + f. Let q be c(o). Is q greater than -11?
False
Suppose 301 = 4*t - 763. Is t equal to 267?
False
Let j be (13/((-39)/58) - -8)*144. Does j = -1632?
True
Let a = -2277 - -2277. Which is bigger: 10/81 or a?
10/81
Let u be (7 - 9)*(2 + -3). Suppose 4*q + u - 14 = 0. Suppose 0 = 18*w - 13*w. Do q and w have the same value?
False
Let n be (-3)/9*(1 + 2). Let f = -14235/43 + 331. Which is greater: f or n?
f
Suppose 0 = -3*x - n - n - 409, -2*x - 3*n - 276 = 0. Is -135 equal to x?
True
Let l = -4397/306 - -73/34. Is -13 at least as big as l?
False
Suppose 151 - 157 = 6*h. Which is greater: h or 1/208?
1/208
Let w(b) = -b + 1. Let u be w(-3). Let y = 4 + u. Let t = 1 + 6. Which is smaller: t or y?
t
Let h(i) = 2*i**2 + 3*i + 8. Let t be h(-4). Suppose 5*l - t = l. Let j be l + -4 - 42/16. Is 2/7 < j?
True
Let w = -241.1 - -241. Is w at least -233?
True
Let b(c) = -14 - 2 + 53*c + 3. Let k be b(-1). Is -65 >= k?
True
Let b be (-6 - (-261)/80)*(-8)/6. Which is greater: b or 5?
5
Let r = 43 - 74. Let k = r - -34. Let f = 2.9 - k. Is f less than or equal to 0.07?
True
Suppose -26*r + 25 = 25. Which is bigger: r or -5/29?
r
Let l = 5585 - 10933/2. Let u = -116 + l. Let w = u - 11/6. Does 1 = w?
False
Let u = 13 - 10. Suppose 0 = 4*r + 2*p - 182, 32 - 196 = -u*r + 4*p. Suppose 4*m - 4*b = -r, m = -0*m - 2*b. Which is greater: -9 or m?
m
Let s(d) = -d**3 + 18*d - 13. Let m be s(4). Is 4/33 at least m?
True
Let f = -194 + 165. Which is bigger: f or -380/13?
f
Let w(n) = -9*n + 45. Let j be w(5). Which is smaller: 0.08 or j?
j
Let w = -39.8 - -38. Let v = -5.8 - w. Which is smaller: -1 or v?
v
Suppose 58*z = 40*z. Is -1/543 less than z?
True
Let t(n) = n**3 - 6*n**2 - 8*n + 3. Let o be t(7). Let l = 0 - o. Suppose -2*p + l*w = -p - 15, -3*p = -3*w. Is p less than or equal to -11/2?
False
Suppose u = -4*u + 250. Let v(c) = -c**2 + c + 0*c**2 + u - 51. Let w be v(0). Is -1 equal to w?
True
Suppose 0 = 5*y - 4*o + 916 - 4482, -5*y + 3530 = 5*o. Is 710 >= y?
True
Let x be 1 + (2 - 4762/5628). Let s = 7167 + -3361317/469. Let z = s + x. Which is smaller: 3 or z?
z
Let t(n) = -n**3 + 5*n**2 + 53*n - 25. Let p be t(14). Is p not equal to -1047?
False
Let n be ((-24)/(-15))/(-1 - 1). Let i(s) = -2*s**2 - 55*s + 27. Let o be i(-28). Is o > n?
False
Let y = 276 + -276. Do 8/39 and y have different values?
True
Let b(j) = j**3 - 5*j**2 - j - 2. Let s be b(5). Let k = 43 - 43. Let a(c) = -c**2 - c - 6. Let h be a(k). Is s greater than h?
False
Let k(d) = 2*d**3 + d**2 + 4*d - 8. Let b be k(2). Let y = 4 - b. Which is greater: y or -29/2?
-29/2
Suppose 311 = 15*l - 424. Which is smaller: l or 46?
46
Let z = -0.4 + 1.1. Let f = -10 - -10.3. Are f and z equal?
False
Let w = -62 - -64. Let m be (w/(-4))/(185/(-40) - -5). Suppose 0 = 2*g - 4*g. Which is greater: g or m?
g
Let g = 6149/1938 - 2/323. Is 2 bigger than g?
False
Let h = 130 + -233.8. Let j = h + 104. Are j and 51 unequal?
True
Let b = -301 + 290. Is b bigger than -0.01?
False
Let i = 9 - 4. Suppose 2*k = 8 - 2, -i*k + 23 = 4*l. Suppose -4*f - 3*j + 57 = -f, 26 = l*f + 5*j. Which is greater: f or 22?
f
Let v(j) = -2*j**3 + 7*j**2 + 7*j + 7. Let b be v(4). Is 142/7 less than b?
False
Let a(v) = -15*v**2 - 5*v + 5. Let w be a(4). Let g be (-2)/4 - w/68. Which is greater: g or 3?
g
Let h(x) = 2*x**2 + 20*x - 3. Let c be h(1). Is c smaller than 20?
True
Suppose k = -p - 20, 5*p + 2*k = -6*p - 184. Let q be (2 - (1 - 0))*119. Suppose -q = 5*j - 34. Which is greater: p or j?
p
Let x = 3046 + -14822/5. Suppose 0 = -3*y - 35 - 211. Let q = x + y. Does -4 = q?
False
Let l be 7710/66 - (-6)/33. Is l > 117?
False
Let s = 2 - -8. Suppose 40 = -15*y + s*y. Suppose -3*c = 4*z + 16, -5*c - z - 44 = -3*z. Is y less than or equal to c?
True
Let l be 10/2 - (2 - (-9 + 8)). Let i(k) = k**2. Let z(y) = -3*y**2 + y - 4. Let t(m) = 4*i(m) + z(m). Let o be t(l). Which is greater: 7/4 or o?
o
Let l be -4 - (-30)/3 - 5. Which is bigger: l or -1/17?
l
Let i = -22 - -16. Let z = i + 1. Let o = -4.7 - z. Which is greater: o or 0.1?
o
Suppose 4*i = 2*i - 8, -17 = -5*z - 2*i. Suppose -z*r + 35 = -0*r. Let j(s) = -s + 9. Let x be j(r). Is 3 >= x?
True
Let p = -1 - -0.9. Let z = -253 + 247.36. Let m = -0.64 - z. Which is greater: p or m?
m
Let z = -1.3 - -2.3. Let l = -0.11 - -0.12. Let c = l + -8.01. Is c bigger than z?
False
Let c = 34 - 33.98. Suppose 5*v - 2*h = -0*h + 44, 3*h = 3*v - 30. Is v not equal to c?
True
Let i(z) = z**2 - z - 2. Let q be i(-2). Suppose -q*x - y - 24 = 0, -4*x + 5*y - 15 - 9 = 0. Which is bigger: x or -3?
-3
Suppose -5*g - 3*d = 25, -2*g = -4*g - 4*d - 24. Let t be (7/5)/(3 + (-63)/15). Is g greater than t?
False
Let l = 16.8 + -16.85. Is l greater than or equal to -1?
True
Suppose -5*n = -n + 4. Let a = 0.46 + -0.16. Is a bigger than n?
True
Let y be 0/(-2) - 1 - 7. Let w = 8124 - 8131. Is y equal to w?
False
Let c = 13 + -10.5. Let a = -21.5 + c. Let p = a + 19.25. Which is bigger: p or 1?
1
Let x = 14387/16995 - 28/33. Which is smaller: x or 1?
x
Let x(s) = -19*s**2 - 2*s**3 - 1 + s**3 + 0*s + 20*s. Let c be x(-20). Which is bigger: c or -14/13?
c
Suppose 3*x - 2*x = -5*t - 104, -t = 4. Let o = 88 + x. Do o and 6 have the same value?
False
Let z = 1 + 38. Let a = z - -4. Does a = 42?
False
Let m be (-28)/(-168) - (10/204 + 0). Let a = 11 + -16. Are a and m nonequal?
True
Let m = -760 - -656. Does m = -102?
False
Let n = -1016/495 + 2230469/9405. Let a = n - 235. Which is smaller: 0 or a?
0
Let l be ((-8)/(-42)*33 - 6)*-1. Suppose 0*y = -2*y. Is l <= y?
True
Suppose s + 2*p - 222 = 0, s - 181 - 31 = 3*p. Which is greater: s or 217?
s
Suppose 0 = 39*a + 27 + 12. Do a and 49/4 have different values?
True
Let j be -647*((-6)/54)/(3/(-27)). Which is smaller: -649 or j?
-649
Let d = 375 - 374. Does -42/11 = d?
False
Let n = 1.84 - 2. Let k = 0.16 + n. Is 0.1 bigger than k?
True
Let w be 3 + (-5)/((-15)/(-127))*-3. Is 130 < w?
False
Let a be (-80)/32 - 2/(-4). Let p = 14/89 + -1700/623. Are p and a non-equal?
True
Let t be (3 - 6)*(-10)/6. Suppose -2*w = t*d + w - 32, 3*d - 18 = -3*w. Let b be (0 + 0)/(d - 6). Which is bigger: -1/21 or b?
b
Suppose 0 = -5*o - 77 - 8. Let t = o - -16. Which is smaller: t or 0.39?
t
Let c = 2014 - 2016. Let f = -6 + 19. Is c less than f?
True
Let t(n) = -10*n - 3. Let q be t