t 23?
False
Let y = 492 - 1201. Is y less than -709?
False
Let h = 338 + -325.26. Let c = h - 3.74. Which is bigger: c or -0.11?
c
Suppose 0 = 5*j + v - 51 - 97, v + 32 = j. Let q be -1 + j/(-85)*-4. Let g(y) = -2*y + 30. Let k be g(15). Is k not equal to q?
True
Let u = 3101 - -6105. Do u and 9206 have different values?
False
Let w = -0.02 - -31.02. Let v = -34 + w. Let h = 3.1 + v. Which is smaller: -2/19 or h?
-2/19
Let h be (6536/269)/4 + 69 + -75. Is h bigger than -1?
True
Let z be ((-330)/25)/6 - -5. Let x be (-4)/6 - 200/24. Let p = x + 11. Are z and p equal?
False
Let x be 34/10 - 2/5. Let h = -293 - -305. Let w be 3/x*22/h. Which is smaller: 1 or w?
1
Suppose p - 71 = 3*o + 177, 4*o + 356 = -5*p. Suppose 253*a + 1328 = 237*a. Which is smaller: o or a?
o
Let x = -2/1647753783 + -532845675084793/327903002817. Let g = -1625 - x. Which is smaller: g or -1?
-1
Suppose 0 = -9*t + 4*t + 485. Suppose 0 = 4*q - 20, -2*q - 3*q + t = 3*r. Suppose -2*w = r - 78. Is 27 equal to w?
True
Let s(v) = 17*v**2 - 10*v + 3. Let i be s(-4). Let w be ((-4)/(-2))/(9/(i/(-155))). Are 1/5 and w unequal?
True
Let a be ((-9)/(27/(-6)) - 23) + 1. Which is smaller: a or 44?
a
Let v be (-1715)/25 + ((-69)/(-92))/(9/48). Is v >= -64?
False
Let f = -0.07092 - -148.94092. Let x = f - 149. Is x >= -1.2?
True
Let f be -2 + (-6)/(-2 + 0). Let l be 25 + -17 - 8/f. Which is greater: -3.28 or l?
l
Let l(n) = -7*n - 18. Let b(t) = t + 2. Let p(q) = -6*b(q) - l(q). Let o be p(6). Which is bigger: o or 75/7?
o
Suppose 0 = 11*i - 218 - 46. Suppose 6 = 5*z - i. Is z at least as big as -22?
True
Let u = -4965 + 4966. Let p = 911 - 916.23. Is p less than u?
True
Suppose -2*n - 117 = -5*z + n, -71 = -3*z + n. Let y be (-7)/3 + (-264)/(-9). Is z not equal to y?
True
Let c = 717 - 712. Let d be ((-1)/(-4))/(2125/(-200))*c. Is d at least as big as -6?
True
Let f = -24 + 24. Let i be -4 + f - (73 + -78). Which is bigger: -2/321 or i?
i
Suppose 2*o + 632 = 5*o + 2*q, -644 = -3*o - 5*q. Which is smaller: 203 or o?
203
Suppose 51*y = 26*y - 11575. Which is bigger: y or -466?
y
Let z be ((-4)/(-6))/((-2)/(-3)). Let y be ((-20)/(-75660))/((-9)/(-54)). Which is smaller: z or y?
y
Suppose -u + 9212 + 11428 = 6680. Does 13960 = u?
True
Let s = 32 - 7. Let v = -17 + s. Let h be (v/5)/((-4)/10). Is h at most as big as -3?
True
Suppose 18*o - 4*g = 14*o + 24560, o - 6136 = 5*g. Suppose o - 336 = -15*u. Is u <= -388?
False
Let v = -6759 - -6709.385. Let w = 49.5 + v. Are w and 0.4 unequal?
True
Let b be 4 - 3 - (0 + 0). Let w = -4140 - -4139. Is w != b?
True
Let r = 2353/1892 - -3/473. Suppose 2*m + 18 = -0*m. Let n be 3/(-2)*(-2)/m. Which is smaller: r or n?
n
Let u(w) = -3*w**2 - 58*w + 174. Let k be u(-44). Do -3083 and k have different values?
True
Let f(v) = 3*v - 10. Let a = -116 - -108. Let s be ((-6)/(-15))/(a/(-120)). Let z be f(s). Which is bigger: 16 or z?
16
Suppose -14*g = -48*g + 1768. Let j be g/(-960) + (10/75)/(-1). Is j less than or equal to 1?
True
Let k = -1750 - -1334. Is k not equal to -416?
False
Let r = -20 + 19.903. Let i = r + 10.097. Suppose 0 = 2*k - 4. Is k less than or equal to i?
True
Let h = -471 - -466.65. Let p = -4.29 - h. Is 1/6 at least as big as p?
True
Let b be (-1)/2*(6 - -230). Suppose -3*x = -4*c - 5*x - 466, -2*c - 239 = -5*x. Which is greater: b or c?
c
Let h = 32351 - 2879274/89. Is 1 at most h?
False
Let h = -0.07 - -0.07. Let r = 966 + -964.6. Which is smaller: r or h?
h
Let j(c) = 4*c**2 + 19*c + 68. Let q be j(-15). Suppose -7*a + q - 753 = 0. Is a != -142/15?
True
Let l be ((-639)/(-27))/(2/(-6)). Let t = -41 - l. Let r = -20 + t. Which is bigger: 29/3 or r?
r
Let i(y) = -20*y - 300. Let u be i(-15). Let v be ((u/(-1))/(25/(-5)))/(-1). Which is smaller: -62 or v?
-62
Suppose -s - 12 = -4*k + 110, 4*s + 404 = -5*k. Let l = s - -115. Suppose l*v = 208 + 323. Is 58 greater than or equal to v?
False
Let z(t) = t**3 - 46*t**2 - 89*t - 225. Let b be z(48). Let j = -136 + 269. Let q = b - j. Is q <= -24?
False
Let d = 3970 + -3987. Which is smaller: 0.07 or d?
d
Let q be (104/(-5))/((-6)/30). Let c = -113 + q. Which is smaller: 0 or c?
c
Let g be -3*-4*3/(-9) - -119. Suppose -127*r = -g*r + 432. Is -36 not equal to r?
False
Let s = 17 + -3. Let q = s - 14. Let m = 362 + -2530/7. Are m and q equal?
False
Let c = -210896/5 - -40548. Which is bigger: -1632 or c?
c
Suppose 0*v - 4*v = 0. Suppose 3*w + 55 = -5*h, 2*w + 3*h + 6 + 29 = v. Are w and -19/2 nonequal?
True
Let q be (-3)/(-7)*56/72. Is q smaller than 406?
True
Suppose 6*u - 1917 = 573. Suppose 68 = 7*f - u. Suppose -4*r + 0*k = -3*k - f, -5*r + 120 = 3*k. Are r and -2 unequal?
True
Suppose 25*q + 3*v + 268 = 21*q, -q = 3*v + 76. Which is greater: -23 or q?
-23
Let t = 0.781 + -0.5255. Let x = t - -0.0445. Do 2/7 and x have different values?
True
Let j = -34277/92 - -1483/4. Let y = j + 8371/138. Let u = y - 59. Is u <= -1?
False
Let p = -43.2 + 44. Let a = 0.17 + -38.97. Let d = 39 + a. Which is smaller: p or d?
d
Suppose -5*z - 10 = -2*o - 44, 0 = 2*z - 2*o - 16. Let c be 7368/(-144) - (-1 - z). Is -44 at most c?
False
Let h = 536442549/481 + -1115266. Let o = 22/37 + h. Which is smaller: o or 0?
o
Let n = 3766.02 + -3766. Which is bigger: 130 or n?
130
Let j = 3.08 - -164.92. Let o = j + -170. Is 0.73 at least o?
True
Let d = 128 - 123. Suppose 4*s + 2*h + 160 = -210, -d*h + 470 = -5*s. Which is bigger: -0.1 or s?
-0.1
Let m = -4445163/52472 - -5/7496. Are -84 and m equal?
False
Let a = 95 + -90. Suppose -2*x + 4*y = -x - 12, -a*y + 12 = x. Suppose -11*o = -9*o + x. Is o less than -58/9?
False
Let t = -1340/13823 - -6/601. Let k be ((-18)/(-15))/((-2)/10). Let b = k - -10. Is b equal to t?
False
Let n = 172423/808 - 1707/8. Suppose 5*r + 24 + 69 = -4*k, 4*k - 117 = 5*r. Let c be 6/21 + (-15)/r. Are c and n non-equal?
True
Suppose -28 = -12*a + 8*a. Suppose 28*j = 21*j - a. Is j <= 3/11?
True
Let z(q) = -816*q**3 - 4*q**2 - 10*q - 5. Let n be z(-1). Is n at most as big as 817?
True
Let z = 3448 + -3987. Which is smaller: -1 or z?
z
Let m = 1238 - 1228. Which is smaller: m or 8.4?
8.4
Let n = -9.198 + -3.802. Is -561 less than or equal to n?
True
Let z(p) = -p + 19. Suppose -11*b - 64 = -15*b. Let h be z(b). Let r be 58/(-10) + h + 80/(-25). Which is greater: -5 or r?
-5
Let t = 76.003 - 30.997. Let r = -0.006 + t. Which is greater: -2/9 or r?
r
Suppose 3*u + 834 = -h, -4*h + 75*u = 80*u + 3308. Is -2464/3 bigger than h?
True
Let z = 19 - 39. Let v = 72 - 72.089. Let p = v - 0.911. Is p less than or equal to z?
False
Let n(v) = 23 - 17*v - 46 + 22. Let o be n(1). Suppose 0 = 11*s - 16*s - 3*m - 92, -m = -5*s - 96. Is o bigger than s?
True
Let q = -12351 + 12401. Which is smaller: 8/5 or q?
8/5
Let v(b) = 63*b**3 + 3*b**2 - 35*b + 102. Let h be v(4). Which is bigger: h or 4043?
4043
Let a = 265 + -336. Let d = a + 66. Is -9 < d?
True
Let j(i) = 6*i**3 - 20*i**2 + 20*i - 5*i**3 - 4*i**3 + 4*i**3 - 10. Let u be j(19). Let f be u/22*(-2 + 4 + -4). Which is greater: f or 0?
0
Let n = 38279 + -16361. Do 21917 and n have the same value?
False
Suppose p + 4*g - 56 = 0, 0 = -5*p - 3*g + 4*g + 301. Let c = -63 + p. Let a be c*6/(-18) + (-41)/44. Which is greater: a or 0?
a
Let b be (-8 - -2) + 2 + (-209)/55*-30. Which is greater: 145 or b?
145
Suppose 18726 = 4*s + 4382. Suppose 0 = -5*r + h - s, -2*r + 4*r + 1420 = 4*h. Let l = -16518/23 - r. Is l equal to -1?
False
Let o be (2/(-6))/(1271/1416). Let i = -103634/93 + 3344/3. Let q = i + o. Which is bigger: q or -1?
q
Suppose 17*g + 481 = 5*g + 1993. Which is greater: 119 or g?
g
Suppose 13 = 102*q - 89*q. Which is bigger: 16/21 or q?
q
Let f be (-4)/1 + 2 - (-5 + -7). Let i be -7 + f + 2 + 0. Suppose 0 = i*l + 116 + 124. Is l at least -47?
False
Let q = -6732 + 47169/7. Suppose -4*g + 3 = -j, 2*j - 3*g - 2 = g. Suppose 38 = 2*v - j*p + 1, -3*p - 27 = -2*v. Which is bigger: q or v?
q
Let m = 649.8 - 650.8. Which is smaller: m or 720?
m
Let r(q) = -134*q**2 + 320*q - 972. Let w be r(3). Is w > -1213?
False
Let q(u) = -2*u**3 + 5*u**2 - 4*u - 8. Let k be q(4). Let n be 6*(428/k + 6)*-3. Which is bigger: n or -8/119?
-8/119
Let o = -8 + 9.6. Let z = 102 + -93. Let h = -9 + z. Which is smaller: o or h?
h
Let z be ((-9528)/(-16))/(3 - 0). Let g = -205 + z. Is 