 = -f + l - 6*l + 18. Suppose 0 = -2*w + 10 + f. Is 2 not equal to w?
True
Let p be 3/(-3)*(-3 - 0)*1. Suppose -3*q - p*g + 15 = 87, -100 = 4*q + 5*g. Which is smaller: -21 or q?
-21
Suppose a - 22 = 2*t, -a + 2*t = 4*a - 134. Is 28 at most as big as a?
True
Let a = -665 + 686. Let m(t) = -2*t - 12. Let k be m(-16). Is a at most k?
False
Let l(s) = -7 - 6*s - 9 + 4*s. Let j be l(-10). Let m be (-4)/(-2)*(-3)/(-1). Is m less than j?
False
Let v(g) = 6*g - 63. Let t be v(11). Suppose -t*n + 6 = 4*u - 9, -5*n = 5*u - 20. Suppose -3 = -q - 3*d + 13, 0 = -q - 5*d + 24. Is q at most u?
False
Suppose 5*c + 21 = -29. Let y be (-14)/c + (-12)/30. Which is greater: 1/49 or y?
y
Let y = 2 + 2. Let b be 2*(1 + (-2)/y). Let v be 952/(-154) + (4 - 12/(-6)). Is b smaller than v?
False
Suppose 4*l + 20 = -2*h, 0 = 4*l + l. Let s = 12 + h. Suppose 8 = 4*q - 0*i - 2*i, -s*q + 4*i + 10 = 0. Is q smaller than -1/9?
False
Let w(s) = -1228*s - 11. Let x be w(-10). Let z = -6367613/519 + x. Let l = -352/1557 - z. Is l greater than or equal to 0?
False
Let h = 37 + -35. Suppose 3*c + 48 = -a, 7*c - h*c - 2*a = -80. Which is smaller: -15 or c?
c
Suppose -n + 8 = -4. Let k be 1/(-2)*n/15. Suppose -3*q = -y - 4 + 1, -4*y = -3*q + 3. Is k bigger than y?
False
Suppose 0 = o - 1, 0 = 5*b + 5*o + 3 - 13. Let z(p) = p**2 + 2*p - 6. Let v be z(-9). Let u be -7 + 4 - (-189)/v. Which is greater: u or b?
b
Suppose -5*p + 2205 = 13*v - 15*v, 0 = -3*p + v + 1322. Which is smaller: p or 437?
437
Let l(d) = -d**2 - 7*d - 5. Let z be l(-5). Suppose -a = a - 2*r + 38, -4*a + r = 70. Let o = -12 - a. Is o equal to z?
True
Let j = -1148497311/8341 - -137693. Let b = 158431/200184 + j. Let s = b - 2/3. Is 1/2 greater than or equal to s?
True
Let f be (-256)/(-128) - (1 - (0 - 1)). Which is greater: 2/845 or f?
2/845
Suppose -5*v + 124 = -2*t, -10*t + 7*t = -2*v + 208. Which is smaller: t or -73?
-73
Let y(v) = -v**2 - 7. Let z be y(9). Let g = z - -2113/24. Let r(t) = 2*t**3 - 9*t**2 - 5*t. Let h be r(5). Are g and h nonequal?
True
Let w(z) = 17*z. Let a be w(1). Let y be (a - 2) + 0/3. Let p = 69 - 69. Is p at least y?
False
Let n(t) = 10*t + 67. Let a be n(-5). Which is smaller: a or 15?
15
Let t = 257 - 256. Which is smaller: 3/25 or t?
3/25
Let l = 2438 + -2437.9. Let v be (-48)/14*1/2. Is l less than v?
False
Let j = -67.1 - -55. Let m = -10.1 - j. Are m and -2 unequal?
True
Let w be (0/6)/((-1)/1). Suppose w = 5*q - 211 + 76. Suppose 5*m = -5*s + 62 - q, -4*m - s = -13. Is -1 less than or equal to m?
True
Let i = 111 + -99. Suppose i = 3*x, -g - 4*x - x = -48. Is 28 at least as big as g?
True
Let f(w) = -w**2 + 10*w + 12. Let k be f(11). Let x(a) = a**2 - 14*a + 11 - k + 2. Let r be x(13). Which is bigger: r or 1?
1
Let c = -1173/10 + -761/30. Suppose -h - 5*r = -0*r - 154, -h = -5*r - 134. Let t = h + c. Which is smaller: t or 0?
0
Let k be 21 + -1 + (2 - 4 - -8). Is k < 5?
False
Let n be ((-56)/64)/(1/(-51)). Let g = n + -45. Are -1 and g nonequal?
True
Let l be 1*((-162)/(-136) - 70/56). Is -1 < l?
True
Let d be -1 - (866/(-8) - (-52)/(-13)). Let j = d - 111. Let o be 2*-1*(-1)/(-2). Which is smaller: j or o?
o
Let a(v) = 2*v**3 + 1 - 3*v**2 - v - 2*v**2 + 4*v**2. Let m be a(1). Let r be ((-9)/150)/((21/(-4))/7). Is r != m?
True
Suppose -7*n = -34 - 2367. Which is smaller: n or 1377/4?
n
Let y = 4.509 + -4.72. Is 0.1 smaller than y?
False
Let q = -835 + 835.011. Is q bigger than -7?
True
Let d be (-7)/5 + (-2)/55*-11. Which is bigger: -18 or d?
d
Suppose -22 = -4*h - 2. Suppose 0*d = h*d - 25. Suppose -12 = -35*x + 33*x. Which is bigger: x or d?
x
Suppose -5*y + 5*u + 200 = 0, 3*y = -3*u + 20 + 112. Suppose -5*q + 7*q - y = 0. Is q at most as big as 0?
False
Let c = -5645/39 + 145. Which is greater: c or 1?
1
Suppose 3*g - 20 = -g. Suppose 3*l - a - 4 = 3*a, 4*l - 2*a = 2. Suppose -t = -l*t - g. Which is smaller: 4 or t?
4
Suppose 0 = 40*i + 44426 + 23614. Is i greater than or equal to -0.1?
False
Suppose -2*b = b + q + 1201, 2*b + 794 = -2*q. Let a = 1991/5 + b. Which is smaller: a or -5?
-5
Suppose -4*t = 7 - 19, 2*t = -3*u + 21. Suppose -u*p + 6 = 1. Let j = 1 - p. Which is smaller: j or 3/14?
j
Let d = -95 + 96. Which is smaller: -5 or d?
-5
Let c = -0.2 - 0.8. Let j be 1 - -2 - (-2 + 2). Let f be 3/(j - (-117)/(-6)). Is c greater than or equal to f?
False
Suppose -17*u = -23*u + 294. Let f = -51 + u. Is f bigger than -2?
False
Let c = -79 + 65. Let o be (-6)/8*3*c/9. Are 5 and o nonequal?
True
Suppose -4*h = 3*u + 31, -2*h - 3 = h. Are u and -39/5 unequal?
True
Let r(g) = -4*g + 0*g**2 + 14*g - 4 - g**2 + 3. Let t be r(10). Are t and -1 equal?
True
Let v(l) = -29*l**2 + 4*l + 3. Let j be v(-1). Let p be -4 - (152/j + (-12)/(-30)). Let t be (-1)/(-2) - (-6)/12. Are t and p nonequal?
True
Suppose -19*f - 8 = -23*f. Which is smaller: f or 7/13?
7/13
Let o = 217 - 181. Suppose 87 - o = -3*g. Suppose -3*w - 45 - 3 = 0. Is w greater than or equal to g?
True
Let v(i) = i - 2. Let s be v(-13). Let u be 2/(-3) + (-40)/s. Let n(w) = w**2 - 3*w - 3. Let x be n(4). Which is bigger: x or u?
u
Let o be (-19)/((-304)/(-24))*8/243. Is 0 greater than o?
True
Let v(y) = y + 5. Let b be v(-1). Suppose -b*r + 140 = -8*r. Is r at most as big as -36?
False
Let q(a) = -89*a + 10. Let y be q(-3). Let x = -772/3 + y. Which is greater: x or 20?
20
Let z be (-645)/300*-10 + (-6)/(-4). Which is smaller: z or 281/12?
z
Let m = -16 + 0. Suppose -8*f = -6*f - 148. Suppose -5*i - f = 6. Is m at least as big as i?
True
Let h = 188 - 189. Which is bigger: 7 or h?
7
Let q be ((-32)/(-20) + -1)*(-11328)/(-36). Which is bigger: 189 or q?
189
Let s = -173/108 + -5/216. Is s less than or equal to -2?
False
Suppose -30*q = -34*q. Let p be -2*2*2/(-4). Suppose 3*r - o - 26 = o, -p*r - 2*o + 4 = q. Which is smaller: 3 or r?
3
Suppose 4*s = -2*s + 2*s. Let r = -33 + 30.7. Let n = 2.41 + r. Which is smaller: n or s?
s
Suppose 4*i = -3*g + 7*g + 36, i = -g + 3. Let j be 2/4 + 27/i + 1. Which is smaller: 11/2 or j?
11/2
Let u = 9381/2884 + -2/721. Suppose -x - x - 4*j - 16 = 0, -12 = -2*x + 3*j. Suppose -28 = -4*b - 4*k, x = -b + 5*k + 9 - 32. Is u > b?
True
Let w(v) = 2*v + 5. Let l be w(0). Suppose j + 11 = -m - j, j = -l. Is 2/59 less than m?
False
Suppose 4*o = 2*p - 6, 2*p + 4*o - 11 = 3*o. Suppose -9 + 4 = p*h. Is -1 equal to h?
True
Let y = 48 - 76. Let p = y + 29. Which is smaller: p or -1/29?
-1/29
Let y = -8 - -11. Suppose -z - f = 0, 0 = -3*z + 3*f + 12. Suppose -3*p + 6*p - 30 = -5*h, -z*p + 22 = 4*h. Is y less than or equal to h?
True
Suppose -66*c + 14144 = -2*c. Are c and -0.1 equal?
False
Let x(g) = g + 3. Let d be x(5). Suppose 0 = -12*w - 4 - d. Which is greater: 0.41 or w?
0.41
Suppose 0 = 3*o - 8*o + 10. Let p = 3616/1751 + -140/103. Is o greater than p?
True
Let v = -42/517 - 9/47. Let c be (0 - -1)/(3/9). Suppose 2*j = c*j. Is j at most as big as v?
False
Let k be (488/(-10))/(0 - 4/10). Is k < -1/5?
False
Let s = -124 + 123. Let t = -2/51 + -92/255. Do t and s have the same value?
False
Let k(f) = f**2 - 23*f - 48. Let l be k(25). Suppose -d - 4*i + 16 = 0, -l*i - 80 = -5*d - 7*i. Is d < 17?
True
Let z = 18.939 - 19.42. Are 0 and z equal?
False
Let l = -342 - -341. Is -321 > l?
False
Let a(d) = -d + 14. Let c be a(11). Suppose -8*p = 51 + 5. Let k = p + c. Is k at most as big as -4?
True
Let n = -2.364 - -1.364. Is n at most 162?
True
Let y = 54.8 + 8.2. Let p = -63.02 + y. Is p smaller than 0?
True
Let s(j) = 17*j - 77. Let q be s(6). Is 28 at most q?
False
Suppose -2*z - 1 = 5*o, 3*z = -0*z + 5*o + 11. Let r be (64/52 + 0)/z. Do r and 0 have the same value?
False
Suppose -5*z = -2*z - 33. Let i = 12 - z. Let u = 0 - i. Is u > 1/11?
False
Let g(p) = p**3 - 9*p**2 + p + 6. Let f be g(9). Let n = f - 16. Let q = 92 - 371/4. Are n and q nonequal?
True
Let h(n) = n**3 + 4*n**2 - 6*n + 19. Let m be h(-8). Let w be 9/(m/(-20)) + (-2)/(-6). Which is bigger: w or 0?
w
Let y = -5/8 - -3/4. Let o = -94 - -103. Suppose 15*m - o = 6. Which is greater: m or y?
m
Let f(t) = -t**3 + 2*t**2 - t + 1. Let q be f(2). Let l be 76/(-12) + 7 + (-4)/2. Is q at most as big as l?
False
Suppose 23*o = -11*o - 29104. Do o and -855 have the same value?
False
Let u = 3/265 - -509/1855. Which is smaller: 15 or u?
u
Let 