Suppose 54*t - 59*t = -5*m + 140, 0 = -4*m - 10*t + 28. Which is bigger: -76 or m?
m
Let y = -0.3 + -0.2. Suppose -3*m = 4*o - 37, 61 = -3*m - o + 122. Which is bigger: y or m?
m
Suppose 0 = 18*r - 13*r - 15. Let v be ((-1)/(-1))/(r + -2 - 2). Is v greater than or equal to -27/11?
True
Suppose -2*a - 4 = 0, -1918 = 5*t - 0*a + 4*a. Let h = t - -380. Is -20/11 < h?
False
Let o = -19304 + 19333. Which is greater: o or 238?
238
Let w be ((-6)/15)/((-8)/10). Let y be ((-190)/(-3) - 0)*(-2955)/10835. Which is smaller: w or y?
y
Let l = 6.18 + -8. Let y = 1.72 + l. Is -7/9 not equal to y?
True
Let l(i) = 15*i + 85. Let j be l(-10). Let z be (-5)/(-1)*195/(-15). Is z at most j?
True
Let f(g) = -2*g**2 + 32*g - 35. Let w be f(13). Suppose -31*h + 456 = -w*h. Which is greater: -35 or h?
-35
Let p be (-706662)/4174225 + (-2)/25. Which is greater: 0 or p?
0
Let m = 97747/3141 - 3/349. Is 32 at most as big as m?
False
Let p = -0.28 - -3.68. Let s = p + 0.4. Let h = s - 4.8. Is h >= 5/6?
False
Let z be (-14)/(-147)*3*21/(-36). Suppose -k = v + 10, -3 - 12 = 2*v + k. Is z > v?
True
Let c be (-43 + 44)/(((-3)/(-61))/3). Suppose -3*x = -253 + 67. Which is bigger: x or c?
x
Suppose -12 = -4*b - 3*r, 2*b = -2*r + 5 - 1. Let x = 3009628888/416311745 - -2/2030789. Let f = x - 6/205. Is b >= f?
False
Let y = -3902 - -3902. Which is greater: 7/13 or y?
7/13
Let p(l) = l**2 - 66*l + 1013. Let i be p(24). Is i < 137/31?
False
Let u(a) = 11 - 48*a + 51*a + 30 - 11. Let y be u(-6). Suppose -3*n + 0*w = -w - 35, -5*n + 4*w + 70 = 0. Which is smaller: y or n?
n
Suppose 0 = -b + 33*z - 28*z + 24, -4*b = -5*z - 111. Is -24 > b?
False
Let u = 138.972 + -139. Let o = 1.972 - u. Let j = -457/5 - -91. Are o and j unequal?
True
Let v be ((4068/45)/1)/((-16)/40). Is 8 bigger than v?
True
Let t = 0 + 0. Let j = 637/8 + 317/8. Let r = 119 - j. Which is smaller: t or r?
r
Suppose 2*m = -5*i + 106, 5*m + 4*i = 2*m + 166. Suppose 9 = -5*f - 5*c + 39, -5*c = -3*f + m. Suppose -6*z - 17 = -f. Are z and 3/20 nonequal?
True
Suppose 0*z + 4*i + 1 = z, -3*i = 5*z + 87. Let n(o) = -o**3 - 15*o**2 + o + 13. Let t be n(z). Let y = 3 - 7. Which is smaller: y or t?
y
Let b = -2507 - -2495.43. Let y = -3.65 - b. Let j = -8 + y. Which is smaller: 2 or j?
j
Let n be (288/50560)/(12/10). Let x = -49/43608 + n. Which is smaller: -1 or x?
-1
Let f be (2 + -2)*(-14 + 22 + (2 - 11)). Which is bigger: f or -123/266?
f
Suppose 0 = 9*z - 246 + 183. Suppose -35 = z*l - 12*l. Which is smaller: 13 or l?
l
Let i = -3262 - -3348. Is -5 less than i?
True
Suppose -13*p - 2*p + 2310 = 0. Let t be -2 + 8/20 + p/(-10). Which is greater: t or -16?
-16
Suppose -4*p = -4*p + g, 18*g - 12222 = 2*p. Is p smaller than -12223/2?
False
Let x be -3*(-7 + 24/2). Suppose 0 = -4*q + 9*q + 80. Which is bigger: q or x?
x
Let h = -2.96931 + -0.03069. Let l be 242/1008 + (-2)/9. Is h <= l?
True
Suppose -a + 854 = 16*m, 3*a = 7*m - 5*m - 88. Suppose 2*u - 123 = 3*x, -122 = -5*u - 2*x + 138. Is m bigger than u?
False
Let j = -1.451 + 10.141. Let z = j - 1.69. Let v = 5/3 + -2. Which is greater: v or z?
z
Let u = -30 + 37. Suppose 17*i = -u*i - 1200. Which is smaller: -51 or i?
-51
Let x(d) = d**3 - 15*d**2 + 46*d - 19. Let r be x(11). Which is greater: 83/48 or r?
r
Let a = -10948 - -10955. Which is smaller: a or 2.43?
2.43
Let v be (93/(-18) + 5)/(4/3524). Which is bigger: -146 or v?
-146
Let m(b) = 122*b**2 + 26*b - 10 + 7 - 28*b. Let y be m(-1). Let f = y - 1572/13. Is 1/2 not equal to f?
True
Let a(v) = 2*v**2 + 3*v - 18. Let g be a(-5). Let h(m) = -2*m + 53. Let t be h(g). Suppose -2 = 5*y + 4*k, -4*y - y + 3*k = -t. Is 19/7 smaller than y?
False
Let l = -156/29 + 64682/12035. Let s = -51.1 + 51.1. Is l smaller than s?
True
Suppose -s = -5*f - 5170, 0*f - f = 5*s + 1034. Let k = -23772/23 - f. Suppose 0 - 1 = -o. Is k at least o?
False
Let i = -89.1 + 85. Let m = 4.13 + i. Let h = -0.03 + m. Is 0.4 < h?
False
Suppose 16*w + 3741 = 45*w. Let m be (8/6 - 1)*w*1. Which is bigger: -2/7 or m?
m
Let j(p) = 1037*p - 376. Let x be j(-3). Which is smaller: -3486 or x?
x
Let s = 13 - 14. Let n = s - 11. Is 0 <= n?
False
Let k = -177 - -24. Let l = k - -176. Which is smaller: -3 or l?
-3
Let v be (-2750)/26 - 10/((-60)/(-18)). Let w = 278532/2561 + v. Let n(a) = a**3 - 10*a**2 - a + 11. Let s be n(10). Is w greater than or equal to s?
False
Suppose -30*r + 12 = -26*r. Suppose -r*x = m + 10, -4 = m - 4*x - 15. Is m smaller than 1/83?
True
Suppose 199*y = 5*b + 201*y + 14355, -3*b + 4*y = 8613. Which is bigger: b or -2869?
-2869
Let x be ((-52)/143)/((-4)/(-148)). Let t = -7115/528 - x. Which is greater: 0 or t?
0
Let x be 114/247 + (-1338)/26. Does -67 = x?
False
Suppose -69 = 2*s + i, 2*s - 5*s - i - 106 = 0. Suppose 2*z = 0, 4*z + 120 = 3*h + 2*h. Let g be -3*(-6)/h*-48. Is g greater than or equal to s?
True
Let b = -2.06 + 3.36. Let a = 1.6 - b. Which is bigger: -0.025 or a?
a
Let v be 4/(-30) - 10/(-30). Let b = -2/15 - v. Let p = 67 - 46. Which is smaller: b or p?
b
Let g = -1.208 - 109.992. Let f = g - -111. Is 2/3 >= f?
True
Let t = -70 - -81. Suppose -16*w + 30 = -t*w. Which is smaller: -11 or w?
-11
Let z = 625 + -997. Let c = -367 - z. Which is bigger: -31 or c?
c
Let y = 2861/2 + -1376. Do 56 and y have different values?
True
Let t = -9.11 + 23.11. Let j = 12.86 - -0.14. Let n = t - j. Do n and 0.5 have different values?
True
Suppose 3*g - 15 = 2*g + 4*l, 9 = -2*g - 5*l. Suppose 0 = -5*c - 5 - 0, 14 = -v - g*c. Let i be (3 - v/(-4))/((-6)/(-16)). Which is greater: 38 or i?
38
Let t = 51 - 51.02. Let k = 2.2 - 6.2. Let q = -6 - k. Which is smaller: t or q?
q
Let v = 1/28302 + -14155/113208. Which is smaller: -813/2 or v?
-813/2
Let j = 143 + -105. Let k = 38 - j. Let v be 1/(-8)*(8 + -2). Is v bigger than k?
False
Let l be 1*(-4)/8*10. Let q(g) = 20*g + 88. Let f be q(l). Suppose -4*a + 4*u = -8, 9*a - 4*a - 3*u = 6. Is a at most as big as f?
False
Let p(y) = -2*y**2 + 109*y - 623. Let j be p(48). Which is smaller: j or 2/22787?
2/22787
Let i be (3/(-1))/((-15)/(-18)). Suppose 14*g - 19*g = 5*p + 65, -8*p = 2*g + 74. Which is smaller: g or i?
g
Suppose 2*v + 13*v = 30. Let i(r) = -9*r + 5. Let g be i(v). Which is smaller: 5 or g?
g
Suppose -2*h + 3 = -h + 2*r, 5*r - 1 = 4*h. Let i(x) = x**2 + 6*x - 68. Let m be i(6). Let y be (1 - 2)/(m*117/144). Do h and y have the same value?
False
Let i = -34/7 - -2032/427. Is 0 equal to i?
False
Suppose 289*x - 309*x = -10280. Is 515 > x?
True
Let y = -890000 + 502849764/565. Let k = y + 2/113. Let s = -0.05 + 1.55. Is k equal to s?
False
Let k be 2 + (-35 - (-1 - -2)). Let b(y) = 543*y - 58639. Let n be b(108). Which is smaller: k or n?
k
Suppose -5*r - 14 = -s + 6, -r - 4 = 3*s. Let a = -15/68 + -1119/476. Let m = 20/7 + a. Do m and s have the same value?
False
Let n be (24 - 22)*(-3)/4. Let l = 15 - 28. Let b = l + 13. Is n < b?
True
Let q(s) = 4*s - 110. Let i(w) = -3*w**3 + 15*w**2 + 6*w - 3. Let r be i(5). Let b be q(r). Which is greater: b or 14?
14
Let p = -228.4 - 4.6. Let r = p - -232. Is -3/10 > r?
True
Let t = -27637 + 27289. Is t greater than or equal to -1387/4?
False
Let l(b) = 27*b**3 - 5*b**2 + 7*b - 1. Let a be l(2). Let p = -174 + a. Is 32 bigger than p?
False
Suppose 68*l - 84*l = -7072. Is l at most 446?
True
Let r be -2 - -7 - (-2 - -26 - 3). Let w(n) = -n**3 - 9*n**2 + n - 5. Let a be w(-9). Are a and r unequal?
True
Let c be 1702/(-2220) + (-1 - 5/(-3)). Is c > 1?
False
Let d = 11623133/91 + -127725. Let f = 15/91 - d. Which is bigger: f or -1?
-1
Let y = -28 - -27.9. Which is greater: 1/460 or y?
1/460
Let m(n) = n**2 - 8*n + 37 - 10 + 25*n. Let d be m(-13). Let k = d + 29. Which is smaller: k or 2?
2
Suppose 0 = 5*f - 3*i - 1190, -4*f + 3*i + 715 = -234. Is 240 at most as big as f?
True
Let s be (11 - 9)*(-10)/(-4). Let d = 103 - 144. Let b = d + 48. Is s greater than or equal to b?
False
Let h = -5.605 - 2.794. Which is greater: h or 0?
0
Suppose -11*r = -3*r - 496. Let k be ((-430)/r + 7)*-1. Suppose -3*u - 5*b - 2 = 0, 2*u + 5 = 5*u - 2*b. Is u equal to k?
False
Let i be -3 + -4 + 3 - -4. Let t be 1/(1/(-12) - i). Let p be -9 - (1 + 0)*(-20)/(-20). Which is smaller: t or p?
t
Let q = -17/39 + 7/195. Let k = -23 - -43. Do k and q have the same value?
False
Let