pose 6*g + b = 18. Is -12 >= g?
True
Suppose 2*k = 2*w + 6, -k + 0*k + 4*w = 0. Suppose 0 = k*m - 12 + 40. Suppose -119*o - 330 = -40*o - 24*o. Which is smaller: m or o?
m
Let t be 0 + ((-80)/30 - 4/(-6)). Let c(x) = -2*x**2 + 2*x + 8. Let f be c(t). Is f at most -3?
True
Let g = 0 + -0.1. Let o be (-2)/(6156/2583) - 2/4. Let p = o + 13/9. Are g and p equal?
False
Suppose 0 = 26*j - 41*j - 660. Is j bigger than -30?
False
Let s(g) = -g**2 + 35*g + 56. Let j be s(28). Suppose 128 = -5*n - j. Let o be 4/3*(-171)/n. Is 3 at least as big as o?
True
Let u = 4856 - 4247. Which is smaller: u or -1?
-1
Let o = 224.9462 + 0.0538. Let n = o + -231. Which is bigger: 42 or n?
42
Let k = 3418 - 3455. Are k and -34 non-equal?
True
Let r = -5.7075 + 2.6576. Is -0.1 bigger than r?
True
Let l = -98.24 + 91. Let s = -0.36 + l. Let z = s - -7.6. Which is smaller: 10 or z?
z
Suppose -10 = 5*h, q + 3*h - 6 - 87 = 0. Which is bigger: q or 0?
q
Let w(v) = 115*v - 3839. Let u be w(15). Which is smaller: u or -1?
u
Let l = 1925/93 - 45306769/2188848. Which is smaller: 1 or l?
l
Suppose 162*w - 26 = 136*w. Let b(q) = -8*q - 19. Let k be b(-13). Which is smaller: k or w?
w
Let i = -5299 - -5298.904. Which is smaller: i or -5?
-5
Suppose -4*n = -27 - 29. Let x be 7/n*(2 - -1 - -1). Let y be x/(30/81) + 12/30. Which is smaller: y or -2?
-2
Let p = -12514 + 12657. Which is bigger: 6 or p?
p
Suppose 16 = -41*k - 18 - 7. Which is greater: k or 6/3199?
6/3199
Let t = -57 + 57.184. Let z = t + -0.084. Are 5/4 and z nonequal?
True
Let c(b) = 7*b**2 - 29*b + 125. Let w be c(6). Let l = w - 215. Let a = 9 - 20. Which is smaller: a or l?
l
Let r be ((-207)/368)/(1/2). Let p = -0.09 + -1.91. Which is smaller: r or p?
p
Suppose -15*v - 560 = 20*v. Let p = 321 - 315. Which is greater: p or v?
p
Let w = 1502917/45 + -33402. Is w at most -3?
True
Let v = 31 - 40. Let x be (-3 + 1 + (-60)/v)*3. Let z be 4/(-9) + (x/21)/1. Do 0 and z have the same value?
False
Let i be 13/(-26) + (-250)/76. Let z = 7541/1995 + i. Which is smaller: z or 1?
z
Suppose 31*r = 4*r + 81. Let j = -20 - -14. Let v be -2 - (j/(-10) - r). Which is smaller: 0 or v?
0
Let b = 278.9631 + 0.0369. Let p = -280 + b. Is p > -25?
True
Suppose -5*c + 2*c = -120. Let u = 1258 + -1216. Is c less than u?
True
Suppose y = 12882 + 6210. Is y greater than 19093?
False
Let w = -2045.99 + 2046. Which is greater: w or -167?
w
Let i(n) = n + 1. Let u(m) = -m**2 + 11*m - 8. Suppose 6*y - 4 = -10. Let t(v) = y*u(v) + 2*i(v). Let o be t(10). Which is bigger: 19 or o?
o
Suppose -2*c = -448 - 1692. Which is smaller: 1069 or c?
1069
Let i = 1944 + -1939. Which is smaller: 101/18 or i?
i
Suppose 4*y + 3*o = 3054 - 835, 2*o = 2*y - 1134. Is 3912/7 at most y?
True
Suppose -3*r + 23*r = 16*r - 36. Is -110/13 at least r?
True
Let x = -462117 - -1398839/3. Which is smaller: x or 4163?
x
Let r = 18/47 + 2513/188. Let m(d) = -d**3 + 2*d**2 - 2*d + 30. Let l be m(0). Suppose -3*j - l = -5*j. Is r equal to j?
False
Let a be -4 - -2166*(-2 - (-16)/(-24)). Is -5779 <= a?
False
Suppose -29*p = 85*p. Which is greater: -19/75 or p?
p
Let a = 51 - 98. Let h be (-1104)/(-60)*10/(-4). Let u = h - a. Do -1/13 and u have different values?
True
Suppose 45*u + 6*u = -153. Which is smaller: -54 or u?
-54
Let w = -2.27 + 2.4. Let x = 658.13 + -658. Let h = x - w. Which is smaller: 7/3 or h?
h
Suppose 5*a + 0*a - 3*a = 0. Suppose -v - 5 = 2*r - 0, a = 2*r + 8. Suppose 4*n = l + 45, v*n - 8*n + 45 = l. Which is smaller: 1/5 or n?
1/5
Let a = -0.8 - -20.7. Let s = 36.2 - a. Which is bigger: s or 1?
s
Let n = 1 - -142. Let m = -203 + n. Let l be (2 + 2 + -5)/3. Is l < m?
False
Suppose 2*c - c = 0. Let y be (-543)/204 + 3 + 14/(-56). Let o = -191/1394 + y. Is c less than or equal to o?
False
Suppose 0 = 15*n - 3662 - 22618. Is 1754 at least as big as n?
True
Let f be (2/(-5))/((-288)/285 + 1). Suppose -f*o = 1848 + 7652. Which is smaller: o or -251?
-251
Let d = 348 - 215. Suppose -3*v - 3*n - d = 503, -2*v - 428 = n. Is -216 at most v?
True
Let d = 1155 + -1185. Suppose o = -2*o. Which is bigger: o or d?
o
Let o(i) = i**2 - 28*i + 4. Let n be o(28). Let d be -4*1 - 1*(-27 - n). Which is smaller: 142/5 or d?
d
Suppose 63*f - 68824 = 119*f. Which is smaller: -1227 or f?
f
Suppose -4343 = 75*c + 68*c + 3379. Which is smaller: -26 or c?
c
Let b(k) = k**3 - 11*k**2 + 2*k - 20. Let o be b(11). Let m be -5 + 2 - 2*-3. Suppose 12 = -s + m*f, 21 = 4*s + f + 4. Which is smaller: s or o?
o
Let c(b) = 29*b + 145. Let o be c(-5). Suppose o = -49*h + 53*h. Let t be (2/19)/(2/(-1)). Which is smaller: t or h?
t
Suppose 0 = -2*i - 2 + 4. Let u = 10400057/38637 - 9631/729. Let g = u - 256. Are g and i non-equal?
True
Let w be (-18)/48 - (-6)/16. Suppose 4*o + 15 = r, -2*r + w*o = -o - 16. Suppose -2*s + 7 = r. Which is bigger: -4/5 or s?
s
Let l = -809/7 - -8815/77. Is -1 at least as big as l?
True
Suppose 2*c - 6*m + 1 = 43, 35 = 3*c - 5*m. Is 41/81 at least as big as c?
True
Let y(g) = 6*g - 293. Let z be y(49). Let l = -30 - -44. Which is smaller: l or z?
z
Suppose -83*v - 4189 = -39*v + 255. Is -113 > v?
False
Let k be (-18)/(-10) - (2 + (-6)/5). Let g be k*-374*(-5)/10. Does 188 = g?
False
Let q = 9.7 - 72.7. Let z = q + 28. Let l = -30 - z. Is -1 less than l?
True
Let g = -9/4 + 493/212. Let a(l) = l + 6. Let j be a(-5). Is j at least as big as g?
True
Let t = 23962 - 120544/5. Let x = -973289/6630 - t. Is x less than or equal to 0?
True
Suppose 12*j = 30*j + 11*j + 11*j. Suppose 2*g - 5*g - 2571 = 0. Let a = g + 24849/29. Are a and j equal?
False
Let n = 0.1162 - 0.1652. Does -2/13 = n?
False
Let j(v) = v + 34. Let s be j(-14). Suppose -200 + s = 6*k. Let p = k + 19. Is -2 less than p?
False
Let b(s) be the second derivative of s**4/12 - 5*s**3/6 + 4*s**2 - 7*s. Let d be b(4). Let h be (-4)/24*-8*(-6)/d. Is h greater than or equal to -3/7?
False
Suppose 0 = 5*a - 4*c + 525, -5*c - 349 = 4*a + 71. Let p = a + 522/5. Suppose -t - 8 = 3*j + 6, -4*j - 24 = 4*t. Are p and t equal?
False
Let b(l) = 3*l**2 + 18*l + 19. Let p be b(-9). Is p > 799/8?
True
Suppose 5*k = 4*k + 3. Suppose -5*x = k*u + 7, u + 4 = 5*x - 5. Is x at least 8/5?
False
Let i = 1 + 3. Suppose -i*w + 0 = -4. Let c be ((-15)/((-2205)/(-14)))/(1 - 11). Does w = c?
False
Let c = 668/49 + -397780/539. Which is greater: c or -724?
-724
Let r(f) = f**3 - 4*f**2 + 7*f - 5. Let w be (-2)/((3/6)/((-5)/4)). Let x be r(w). Suppose -t + 5*l - 41 = -2*t, -5*l = 2*t - 97. Which is bigger: t or x?
t
Let y be (-7 - (-360)/50)/((-9)/30). Which is smaller: y or 47?
y
Let w be (16/(-5))/(5/(-150)). Suppose -492 = 5*k + 4*m, 0 = 3*k + m + 394 - w. Let q be k/(-12) - (-8)/12. Is 0 greater than q?
False
Let j = 4538 - 5329. Is j smaller than -791?
False
Let m = 29 - -28. Let j be (-13)/(-117) + (-3 - 1455/(-27)). Let t = m - j. Is 4 not equal to t?
True
Suppose -a - 4*y + 505 = 0, 0 = 2*a - 0*a - 4*y - 950. Let w = 486 - a. Which is smaller: 6/241 or w?
6/241
Let n be -2 + -40*21/14. Let p be (76/6)/(n/(-93)). Which is smaller: 56/3 or p?
56/3
Suppose 0 = r + 2*r + 159. Let q be 145/1218 + (-1)/(-6) - (-11020)/(-203). Do q and r have different values?
True
Let q be (0 - -1)/(4/16). Let s be q/1 - (-35)/(-20). Let b = 2 - s. Which is greater: 4 or b?
4
Let w = 683 - 683. Let b = -1.2 - -1. Let q = w - b. Is 10 at most q?
False
Let q = -486.03 + 11.03. Let s = -411 - q. Does 1 = s?
False
Let r = 26.77 - 193.47. Let u = r + 174. Let x = 7.35 - u. Which is greater: x or 3?
3
Let y = 1296 + -1327. Let c(i) = -i**2 + 9*i - 10. Let b be c(11). Which is greater: y or b?
y
Suppose 4*p + 27 = 7*j - 4*j, -5*j - 5*p + 45 = 0. Suppose j*x - 20 = 5*x. Let h be 1 + 2*(-3)/(-6) + x. Which is smaller: h or 4?
4
Let y = -124 + 677. Suppose -538*r = -y*r + 330. Let a(f) = -5*f + 1. Let p be a(-4). Which is greater: p or r?
r
Let n(p) = 4*p + 13. Let i be n(-2). Let b be -1 - 20/i - -6. Is 2/5 less than or equal to b?
True
Let j = -29 + 8. Let v be 2*(-7)/(-4)*(-4 + (-660)/(-77)). Let k = j + v. Is -13/3 greater than or equal to k?
True
Let l = 208377 - 1660929/8. Which is bigger: 760 or l?
l
Let p = 830.61 - 13.61. Let w = p + -845. Which is greater: 0.1 or w?
0.1
Let n be (0 - 1 - 96) + 0/(-6). Let p = n + 104. Suppose -10*b - 9 = -p*b. Is -6 at le