t t = -57 + 59. Suppose 4*k - 2250 = -2*s - 0*k, -t*s = -3*k - 2250. Let w be s/24 + 3/24. Is w at least as big as 46?
True
Let i = 11 + 10. Let a(o) = -198*o**3 - 2*o**2 + 2*o + 4. Let j be a(-1). Suppose 16*b - j = 7*b. Is b less than i?
False
Let a = -13 - -10. Let q(l) = -l**2 - 13*l - 24. Let p be q(-11). Which is smaller: p or a?
a
Suppose -42*t = -57*t + 7935. Let i = -276 + t. Which is greater: i or 254?
254
Let l = 31559 + -32180.02. Let x = l - -621. Which is smaller: x or -1/55?
x
Let u(x) = -157*x - 57. Let k be u(-2). Let a = k + -196. Which is smaller: 1 or a?
1
Let d be ((-218)/(-6) - 3)*3. Let p = -0.845 - -0.67. Let c = -0.275 - p. Which is bigger: d or c?
d
Let y = -107 - -114. Suppose 12 = a - y. Let b = 25 - a. Is b bigger than -3?
True
Let f(p) = p**3 - 71*p**2 - 816*p + 498. Let y be f(81). Is y equal to -292?
False
Let k = 30 - 71. Let x = k - 55. Let t = x - -87. Is -7 greater than or equal to t?
True
Let d = 47 - 45. Let x(y) = 5*y + 8 - 2*y - d*y. Let w be x(15). Which is smaller: 24 or w?
w
Suppose 5*y + 17 = -5*h + 62, -4*h = 3*y - 32. Let c be 94*3/(-54) + y/18. Which is bigger: -2 or c?
-2
Let m = 0.43831 - 0.68831. Which is greater: 0.0505 or m?
0.0505
Suppose 2*r - 4686 = -4688. Which is bigger: r or 12/379?
12/379
Let y = -0.093 - -0.12. Let q = -0.063 + y. Let g = -0.104 + q. Is 0.1 smaller than g?
False
Suppose -2*j - h = -5*h - 40, 5*h + 95 = 5*j. Let k = j + -20. Let f be 4/k - -1 - -30*3. Is f greater than 88?
True
Let v(j) = 54*j + 2327. Let p be v(-37). Is p > 328?
True
Let k(o) = o - 1. Let a be k(6). Let m = -4 + a. Let n be (3 - 1)*(-1 + (-5)/((-10)/(-9))). Is m not equal to n?
True
Let f(m) = -m**3 - 2*m**2 + m - 675. Let s be f(0). Let d = s - -7431/11. Let w be 14/10 - (-2)/(-5). Is w bigger than d?
True
Let z = 10190 + -9898. Is 292 less than z?
False
Let s = -4.267 + 4.467. Let j = 19.975 - -0.025. Which is bigger: j or s?
j
Let x be -3*(-6)/72*-6 - (-2471)/(-2). Which is bigger: x or -1225?
-1225
Let w = -0.7673 + -18.2327. Which is smaller: 159 or w?
w
Let b = -169255/76 - -2227. Let z = -547/380 - b. Let u(c) = 2*c + 20. Let j be u(-11). Which is greater: z or j?
z
Let t = -188/3 + 62. Let m = -1277/57 - -451/19. Which is smaller: t or m?
t
Suppose 2*d = -6, -3*d + 0 = 5*a - 16. Let o be (-198)/36 + a/2 + -2. Let q be ((-18)/15)/((-2)/o) - 0. Which is bigger: -36/11 or q?
q
Suppose -5*i - 13*u = -16*u - 21533, -u = -2*i + 8612. Are 4301 and i nonequal?
True
Let c be (-14 - (-106484)/7602)*(9 - 0). Is -1 >= c?
False
Let x = -4037 + 4037. Which is greater: x or -9?
x
Let j(s) = -24*s - 508. Let c be j(-22). Let y = -38819 + 504917/13. Which is bigger: y or c?
y
Let j(r) = r**2 - 11*r + 11. Let l be j(10). Let a be 42005/28726 - 3/2. Which is smaller: a or l?
a
Suppose 0 = 6771*y - 6782*y - 308. Does y = -25?
False
Let h = 123 + -314. Let n = -163 - h. Which is bigger: n or 0?
n
Let z(l) = 263*l + 167. Let o be z(2). Is o bigger than 695?
False
Suppose 4*v = -4*m + 76, 4*m = 4*v + 50 + 2. Suppose 13 = -n + m. Suppose 5*t - 2*j + 84 = -88, 0 = 2*t - n*j + 60. Which is greater: -37 or t?
t
Let l = -80 + 100. Suppose -z - 2*a - l = -0, -3*z - 88 = -a. Is -22 less than z?
False
Let k = -8 - -10. Suppose 0*i + 5*i = -4*n + 33, k*n = -5*i + 29. Let r = -1/1362 + 40877/23154. Which is smaller: n or r?
r
Let k = 35696/35 + -1020. Suppose -45*i - 680 = -725. Which is bigger: k or i?
i
Let a be (4/(-11406))/((-9)/(-126)*12/9). Which is bigger: a or -1?
a
Suppose 0 = -8*f + 51 + 77. Let n be (-39)/f*((-14)/7 - 0). Is 6 <= n?
False
Let n = -214051/11 - -19490. Which is smaller: 30 or n?
30
Suppose 3*f = 5*u - 1209, -f = -2*u + f + 482. Suppose 5*h - 44 = 2401. Suppose 5*o + y = -u - h, 0 = 5*o - 4*y + 722. Is -146 less than o?
False
Let i be (-108)/1 - (-1 + 0)*2. Let s = -102 - i. Let d be 14/(-42) + ((-256)/6)/s. Is d greater than -10?
False
Let d be -2 + 6/(-12)*(-5 - -13). Is d greater than or equal to -109/22?
False
Let b = 4889 + -5354. Are -2332/5 and b non-equal?
True
Let i = -53.1 + 396.1. Let m = 344 - i. Let j = 1.02 - -0.08. Which is smaller: j or m?
m
Let w be -34*(2/1)/(-4). Suppose -w = -2*y - 0*y + 5*r, -5*y + 3*r = 5. Let u be -7 + 5/(-35)*15 + 6. Is u at least as big as y?
True
Suppose 5*j + 2 = -r, 0 = 5*j - r - 1 + 9. Let f be 170/3315 - 3751/98241. Is f at least as big as j?
True
Let a be (-4)/(840/603) - (2 - 5). Are 2 and a non-equal?
True
Let i = 283 - -21. Let r = 320 - i. Which is smaller: 15 or r?
15
Suppose 4*h = 2*l + 3*l - 22, -5*l = -h - 13. Let u be (-140)/(-5)*(h - -5). Let a = -109/2 + u. Which is smaller: 0.3 or a?
0.3
Let m = -86 - -87.28. Let a = m + -0.89. Let o = a + -1.39. Which is bigger: -67 or o?
o
Suppose -j - 2 = -11. Suppose -l + j = 1. Let i = 60769/9114 + -3/3038. Which is bigger: i or l?
l
Let a be (-20)/135 - (0 - 0). Let x be -4 + -6 + 8 + 12/6. Is a not equal to x?
True
Let g = -10/3401 + 139791/119035. Which is greater: 1 or g?
g
Suppose 15*n - 17*n = 226. Let m = 101 + n. Which is bigger: m or -57/5?
-57/5
Suppose 0 = 2*l - l. Let a(c) = 27*c**2 - 4. Let o be a(2). Suppose 0 = -5*q - 8*q - o. Is q at least l?
False
Let u be (-1651)/(-1092) + 6 + (-1)/(-4). Let v = 53/7 + u. Is v not equal to 16?
True
Suppose 12*b + 138 - 4398 = 0. Suppose -4*a - 97 - 45 = -2*i, 5*i - 2*a = b. Let c be 2*i/70 + (-18)/30. Which is smaller: 0 or c?
0
Let d(r) = -29*r + 4704. Let f be d(162). Which is smaller: 3 or f?
3
Suppose -z = -3*l - 12, -6 = -3*l + 2*z - 21. Let r(j) = -9*j**3 + j. Let x be r(2). Let a be (-2)/7 - (-106)/x. Is a <= l?
False
Suppose -11*l + 6*l + 20 = 0. Suppose -2*a - 7 = -5*a - 4*q, 4*a - 28 = l*q. Suppose 9 + 76 = a*k. Is k at most as big as 19?
True
Let o = -815/6 + 135. Let f = -0.75 - -0.95. Is o at most as big as f?
True
Suppose 0 = -17559*v + 17601*v - 126. Is 2/441 >= v?
False
Let c be (2 + 1)*(-170)/(-3). Let g be (1 - 5) + (-10944)/189*-3. Let d = c - g. Which is bigger: 2/11 or d?
d
Let r be (52 - 53)*(-6 - (2 + 83)). Does 90 = r?
False
Suppose 10*t = -t - 6204. Let d be 67/(-23) - (-4 - t/138). Is -10/3 bigger than d?
False
Suppose -91*p + 89*p = -5*g + 12087, -2*g - 24162 = 4*p. Is -6041 at least as big as p?
True
Let r be (24/(-7))/(9 - 132568/14728). Let p be ((-4)/(-3))/(r/198 - 16). Let c be (-142)/7 - (-4)/14. Which is smaller: p or c?
p
Let d = -22.348 - -22.288. Is 1315 > d?
True
Suppose -375*v = 692*v - 172*v. Let p be (-20)/(-295) + -1 + 1. Which is smaller: p or v?
v
Let w(h) = 1808*h - 32552. Let i be w(18). Let v = 2237 - 11231/5. Which is smaller: v or i?
v
Suppose w = 3*y + 2*w + 22, 3*y - 4*w = -17. Let t = -339 - -350. Let n be 5 + (-2 - -2) - (t + -1). Which is smaller: n or y?
y
Let p = -180.0009 - -0.0009. Let n = -80 - p. Do -0.1 and n have the same value?
False
Let k be (-16)/(-6) + 12/(-18). Suppose k*x - 3*z + z - 42 = 0, -79 = -3*x - z. Let v = 35 - x. Is v less than 9?
False
Let l(q) = -q**2 + 20*q - 77. Suppose 5*k - 30 = m, -2*m = -0*m - 10. Let s be l(k). Which is greater: 31 or s?
31
Let f(j) = -j**3 - 7*j**2 - 9*j - 17. Let k(p) = 2*p**2 + 14*p - 4. Let r be k(-8). Suppose 4*u = r*u + 48. Let m be f(u). Is m at most -4/31?
False
Let j(m) = -4*m - 14. Let f(x) = -4*x - 13. Suppose -5*y + 4*y - 4 = 0. Let k(h) = y*f(h) + 3*j(h). Let u be k(-5). Are -10 and u non-equal?
False
Suppose -288*v = -334*v + 7820. Let a = -301 + 470. Is a >= v?
False
Let r = 291 - 152. Let x = r - 126.1. Let h = 13 - x. Is 0.1 at least as big as h?
True
Suppose g = 144 - 133. Let n be (-43 - -2)*(g - 6)/5. Is n > -0.01?
False
Suppose 15*a - 714 - 470 = 1756. Is 195 at least as big as a?
False
Let j = 4732 - 4739.658. Let d = j + 0.058. Let v = 5.4 - d. Is 2/9 != v?
True
Let u be (-1 - -1) + -2 + (1988/(-56) - -12). Let t = 18 + -45. Which is smaller: t or u?
t
Suppose -297 = 16*q + 71. Let a be -1 + 62 - (-21 - q). Is a < 57?
False
Let y(l) = 29*l + 6. Let q be y(1). Let t = q + -5. Suppose -4*k - 3 = -3*k + 4*d, 2*k - d = t. Which is bigger: k or 27/2?
27/2
Let a be 3/15*-2*60/6. Let l be (-49 - -53)/(a/2). Which is greater: l or -17?
l
Let n = 0.1098 + -0.2098. Let x = -1899/34279 + -2/413. Which is bigger: n or x?
x
Let y be (4/(-6))/(((-2)/(-24))/(-1)). Suppose -y*u = u - 18. Suppose 5*w + 33 = -j + 8, -u*j + w - 17 = 0. Which 