nd y unequal?
True
Suppose -t + 3*u - 50 = 0, -36 - 228 = 5*t - u. Is -51 smaller than t?
False
Let t = -1 + -1. Let y be ((-2)/(-2) + t)*-12. Is y != 2?
True
Let y = -563/5680 + -1/1136. Which is smaller: y or 1?
y
Let u be 0/((3/(-3))/(3/9)). Is 8/51 equal to u?
False
Let o be (-548)/(-18)*189/126. Do o and 46 have the same value?
False
Let r = 5 - 8. Let v = -19 - -19. Suppose -m + v*m = 2. Which is smaller: m or r?
r
Let d be 1 + (-3 - 13) + -5. Do d and -15 have the same value?
False
Suppose 75*z - 60*z = 45. Do -1 and z have different values?
True
Suppose 11*d = 16*d - 10. Suppose -t - 8 = -d*v - 6*t, 4*v = -3*t + 2. Is -21 at most v?
True
Suppose -6*n = 6*n + 1560. Let g = -128 - n. Let f = 6 + -8. Are g and f non-equal?
True
Let l = 0.47 + -1.47. Which is greater: l or -2?
l
Let w = -159.6 - -159.5. Which is greater: w or 234?
234
Suppose 0 = -t + 2*r + 22, 0 = t - r + 6*r + 13. Suppose 0 = 5*b - 3*x - 68, -16*b - 4*x = -21*b + 74. Which is smaller: t or b?
b
Let o = 157 + -246. Let n = o - -72. Which is smaller: -16 or n?
n
Let i = -0.1 + 0.1. Let y = -0.33 - -0.13. Which is bigger: i or y?
i
Let d(u) = -18*u - 182. Let c be d(-10). Let g be 5/(-6) + (-1)/(-3). Is g greater than or equal to c?
True
Let o be 15/20 + (-185)/(-36) - 5. Which is greater: 20 or o?
20
Suppose -96 = 18*t - 21*t. Suppose 4*d + 100 = -t. Is d at most -32?
True
Let y = 5 + -1. Suppose y*h + 14 = 5*d - 38, 3*h + d + 20 = 0. Let o(q) = -5*q - 19. Let k be o(h). Which is smaller: k or 20?
20
Suppose 3*r = -3*b + 51, 0 = -3*r - r + 20. Let d = b - 7. Let k be (d/15)/(1/9). Is k greater than or equal to 2?
True
Suppose f - 162 = -26*f. Is f at most 18/11?
False
Let q = -2042/5 + 408. Let j = -276/7 + 40. Do j and q have the same value?
False
Suppose 3*b + 97 + 4 = -2*q, 3*b - 83 = 2*q. Let k be 1/((-5)/((-40)/q)). Which is smaller: k or 0?
k
Let r be -1 + 5 + (2 - 1). Let x be ((-28)/105 - 1)*-3. Is x <= r?
True
Let z be (3*1)/(5/((-15)/(-3))). Suppose 0 = 5*u + n, -z*u + 2*n = -2*n + 23. Let a be (-1 - 3/(-1))/17. Which is smaller: u or a?
u
Let o = 1.35 - 0.31. Let j = -0.214 - -0.254. Let l = j - o. Is l smaller than 6?
True
Let z = 0.06 + 0.14. Let r = z + 14.8. Let j = 7 - r. Are -0.1 and j nonequal?
True
Let c be -10*((-120)/(-25))/(-6). Suppose c*o + 2 = 6*o. Which is smaller: o or 2/137?
o
Let i = -369/1484 + 34/53. Which is smaller: -1 or i?
-1
Let w = 4.09 - 3.09. Which is smaller: w or 228?
w
Let m be ((-293)/(-295) + -1)/((-1)/(-10)). Which is smaller: 1 or m?
m
Let y = -15355/536 - -35/67. Is y less than -29?
False
Let c be 23/(-26) - 0 - -4. Let y = 1533/442 - c. Which is bigger: y or 0?
y
Let c be (-2)/(-5)*4/((-8180)/(-75)). Is c less than or equal to -1?
False
Let a(h) = -h**2 - 8*h + 111. Let u be a(8). Are u and -18 equal?
False
Let k = 31.58 + 520.42. Is k >= -1/3?
True
Suppose 2 = -0*s - 4*s + 2*h, -6*s = -2*h + 6. Suppose -4*u + 6 = -2*u. Let n = 4 - u. Are s and n nonequal?
True
Let h(t) = -t**2 + 11*t - 23. Let s be h(3). Which is greater: s or -1/10?
s
Suppose 2*m - 1 = -23. Let d = m - -14. Let w be 2/(0 + (-1)/(-1)). Is w bigger than d?
False
Let b = -8 + 9.1. Let c = 235/4 - 59. Let t = 0 - c. Is b greater than or equal to t?
True
Let v = -172.16 + 169. Let h = -2.8 - v. Which is smaller: h or 0.1?
0.1
Let w be 44/12 + (-7)/(-21). Let c be (-2)/9 - w/18. Let s = -1.8 - -2. Is c not equal to s?
True
Suppose 0 = -2*z - 197 + 167. Let s = 31 - z. Is 45 <= s?
True
Suppose 3*y - 59 = -23. Suppose 3*r = 7*r + y. Let q be 2/3 + r + 1. Which is greater: q or -2?
q
Let j = -11 + 23. Let y = -631 - -643. Is y less than j?
False
Suppose 6*i + 1417 + 155 = 0. Do -264 and i have different values?
True
Let z = 1 + 2. Let k = -3004 + 3006. Which is greater: z or k?
z
Suppose -4*q - 24 = -0*q. Let n = -12177 + 12170. Are n and q equal?
False
Suppose 0 = 2*u + b - 49, 57 + 6 = 4*u - 5*b. Is -5 > u?
False
Let n = -1/278 + 569/3614. Let l be 5/(-20) + (-134)/(-312). Let u = n + l. Are 0 and u nonequal?
True
Let p = 7 + -16. Suppose 35 = -4*v - 2*n - 87, 2*n = -3*v - 92. Let u = v - -21. Is u equal to p?
True
Let q = 152 + -95. Is q greater than 60?
False
Let b be (-14 + -8 - -9) + 14. Let f be (-3)/(-76)*(-1 + 5). Is b at most as big as f?
False
Let p(z) = -264*z**3 + 3*z**2 + 5*z + 3. Let u be p(-1). Is u >= 265?
True
Suppose 3*s = 47 + 19. Let f = s - 40. Let m = 13 + f. Is -5 greater than m?
False
Suppose -3*z = -3*b - 9, -5*z + 7*z = 3*b + 6. Which is greater: -2/231 or b?
b
Let h = 0.16 - 13.16. Let z = -12.9 - h. Which is bigger: 7 or z?
7
Let v = 4 - 3.8. Suppose 3*i - 2*n = 68, -2*i = -n - 3*n - 40. Let u = i - 47/2. Is u at most as big as v?
False
Let m = -58/215 + 3/43. Let b be ((-2)/(-4))/(5/710). Let f = -72 + b. Is f less than m?
True
Let u be (826/(-4))/((-13)/(-26)). Is u > -414?
True
Let j = -673 - -788. Is j <= 118?
True
Let f(l) = -12*l - 10*l**2 + 7 + 7 + l**3 + 0 + 1. Let o be f(11). Suppose -2*x - 24 = o*n, -4*x + 27 = -7*x - 3*n. Is x greater than -4?
False
Let s = 28 - 48. Suppose 5*j = 2*g + 164, 4*j - 196 + 51 = -3*g. Let q = j + s. Is 13 greater than or equal to q?
False
Let v = 276.5 - 276. Let g = 4.6 - 5. Let s = v + g. Is 23 greater than s?
True
Let g = -141 + 93. Let t = -86 - g. Is t less than or equal to -39?
False
Let h(k) = k**3 + 18*k**2 - 22*k - 27. Let v be h(-19). Let o be 40/7*105/v. Let l be 10/o*1*6. Which is bigger: l or 4?
4
Let q = -36 - -56. Let p be (4 + q/(-4))*-4. Let g be (p - 1)*(-12)/(-81). Is -1/3 bigger than g?
False
Let g = -4843/249 - 18/83. Is g at most 0.01?
True
Let d be (-3 + -1)*(-12)/(-24). Let r(q) = -q**2 - 5*q - 4. Let p be r(d). Let k be 4/(-4)*(-1 + -2). Are k and p unequal?
True
Let t(d) = -d**3 + 15*d**2 - 5*d + 7. Let i be t(7). Suppose -3*c = -5*z - 892, -c - 2*c + i = -2*z. Let x be (-2)/(-8) + 268/z. Which is greater: 0 or x?
0
Let i(k) = -k + 14. Let x be i(11). Suppose 0 = -x*s + 6*s - 30. Suppose -z = -5*t - 35, -2*t = 2*z - 8 - 2. Is s less than z?
False
Suppose 2*f + 4 = -4*c, -2*f = 5*c + f + 6. Let a(g) = -g**3 + 14*g**2 - 14*g + 15. Let y be a(13). Are y and c equal?
False
Suppose -11*m + 15*m = 0. Let p be (0 + m)*(-2)/(-6). Suppose o - 67 = 5*o + y, p = o + 5*y + 12. Which is bigger: 0 or o?
0
Let i = -19.91 - -20. Let d = i + -0.61. Is 1/2 bigger than d?
True
Let w = 14 - 13. Let l be 128/320 - (-12)/70. Which is smaller: l or w?
l
Let t be (-2 - -1)*-5 - 6. Which is bigger: t or -1/12?
-1/12
Let h = -3.1 - 36.9. Let d = h + 39. Which is greater: 29 or d?
29
Let g = -2122 + 3133. Is g greater than 1011?
False
Let m be ((-20)/30)/((-1766)/354 - -5). Which is greater: -56 or m?
-56
Let k(h) = -h**3 - 10*h**2 - h - 8. Let i be (-8)/76 + 188/(-19). Let u be k(i). Which is greater: u or 6?
6
Let v(d) = -d**3 + 2*d. Let g(l) = l**2 - l - 4. Let i be g(3). Let r be v(i). Let p(t) = -t - 4. Let b be p(r). Is b greater than or equal to 5/6?
False
Let j = 22273148387843/1196324003 + -2691/3224593. Let k = -18618 + j. Let r = k + -4408/4081. Do r and -2 have the same value?
False
Let k = 509 - 509.1. Let j(v) = -v**2 + 12. Let t be j(0). Is k equal to t?
False
Let u = 10 + -7. Suppose -u*b = 3*l - 15, b + 10 = -2*l + 4*b. Let t = -3 + l. Which is greater: -3/2 or t?
-3/2
Let f be 54/36*-2*(-2)/(-3). Which is greater: f or -38?
f
Let r(x) = 5*x - 10. Let q be r(3). Suppose -3*o - 15 - 6 = 5*c, -q*o - 2*c = 54. Does -12 = o?
True
Let o = -14594/41 + 356. Is 1 equal to o?
False
Let o be ((-8)/(-24))/(1/9). Suppose 2*f = 6*f, -2*f = o*u + 27. Is u bigger than -8?
False
Suppose 2 + 8 = 2*x. Let w be (14/x + -3)*(0 + 2). Which is smaller: -4/3 or w?
-4/3
Let d = 42 + -73. Let r = d + 31. Is 0 at most as big as r?
True
Let w be -2 + (-6)/(-962) + 2. Is 1 at least as big as w?
True
Suppose 15*f - 16*f - 5*x - 157 = 0, -2*x = -4. Which is greater: f or -169?
f
Suppose 12*l + 3515 = -7*l. Are l and -185 equal?
True
Let j = -611.79 + 612. Which is smaller: 2 or j?
j
Suppose p = -3*h + 628, -35*h + 31*h + 628 = p. Are p and 628 nonequal?
False
Suppose -4*y + 90 = -6. Let d be 101/4 - 276/1104. Is d bigger than y?
True
Let u = -5 + 8. Let k = 0 + u. Let d be 13/5 - 68/(-170). Is d less than or equal to k?
True
Let h = 7 - 834/119. Which is greater: 0 or h?
0
Let m = 22 - 21. Let y = -332 + 33