t n = 2622 - 2622. Does n = -1729?
False
Let b(o) = 32*o**2 + 2*o + 2. Let l be b(-1). Let t be 6/(-10) - (l/(-20))/(-4). Do 5/26 and t have the same value?
False
Let t be 2/((-48)/(-9))*1876/(-42). Which is smaller: -16 or t?
t
Let a be (6 + -6)*(7 + -8). Let c be (4/(-9))/(1 + 1). Is a != c?
True
Suppose 0 = 4*l - 12 - 0. Let d be (1 - l) + 0*(-5)/20. Which is bigger: -15 or d?
d
Suppose 5*m + 0*w - 2*w = -48, -2*m - 23 = 3*w. Let j be (-1)/(93/30 - 3). Is j greater than m?
False
Suppose -5*z + 5 + 5 = 0. Let f be (-64)/(-31) + z/(-1). Let j = -8959.1 - -8959. Is f less than j?
False
Let q be 0 - -3 - 1059/351. Which is greater: q or 1?
1
Let i(c) = c**2 - 2*c. Let l be i(3). Suppose 0*t + l*t = 0. Let u(o) = 61*o - 3243. Let y be u(53). Which is smaller: t or y?
y
Let r be (-2815)/(-402) - 2 - (-5 - -10). Which is greater: 1 or r?
1
Let l = 9 - 4. Suppose -b - l = 33. Do -38 and b have different values?
False
Let y be (-6)/4*(-38)/57. Let q = 761812/133 + -5728. Let s = q - -370/7049. Is s < y?
True
Let p = 335 - 334. Are p and -4/139 equal?
False
Let l be -41 - 1 - (-1 - -1*4). Which is smaller: l or -46?
-46
Suppose -7*z = 6*z + 1287. Are z and -99 equal?
True
Let l = -3 + 13. Let z be 5/(l/2 - 4). Is z < 7?
True
Let g = 2.3 - 16.3. Suppose -4*i + 0*o = -5*o + 10, 5*o = 5*i + 10. Which is greater: g or i?
i
Let h(q) = 7*q + q**2 - 35 + 49 - 38. Let b be h(-10). Is b <= -8?
False
Suppose 3 = 4*h - 17. Suppose -6 = -2*l - 4*z, 26 = 5*l - h*z + 4*z. Suppose -v + 4*a + l + 2 = 0, 2*a = 3*v - 1. Does -3/5 = v?
False
Let i = -517 + 695. Which is smaller: -6 or i?
-6
Let v(b) = b**3 + 15*b**2 + 12*b + 3. Let n be v(-14). Let h(k) = -k**3 - 15*k**2 - k + 14. Let f be h(-15). Are f and n equal?
False
Suppose 9*i = 20*i - 55. Suppose -5*n + 1 = -2*g - 14, i*g + n - 3 = 0. Which is smaller: g or 4/21?
g
Let u = 4137591/1300 + -12731/4. Which is smaller: 1 or u?
u
Let o be 7*(5 + 1456/(-292)). Is o smaller than 1?
True
Let q(v) = v**2 - v + 1. Let j be (-2)/(-5) + (-18)/(-5). Let s = j - 3. Let h be q(s). Which is greater: h or 2/3?
h
Suppose 2*i - 7 + 3 = 0. Is i <= -9.6?
False
Let p = 84 - 54. Suppose 10*k - 253 = 27. Do k and p have the same value?
False
Let b = -22 - -24. Let z be (b/(-2))/(19 + -3). Is -0.1 less than z?
True
Let u be (-12 + 10)*(-10)/4. Suppose 0 = 2*h - 2*i - 30, -2*h + 5 = u*i - 18. Let k = h + -9. Are k and 3 non-equal?
True
Suppose 3*k = 4*a + 9, -13*a + 9*a = k - 3. Which is smaller: a or -4/19?
-4/19
Suppose -o - 19*x = -18*x - 153, o = 4*x + 143. Which is smaller: o or 150?
150
Let b = 134 - 106. Let q = 86 + -57. Do q and b have the same value?
False
Let m be 4*((-7)/4 - 0). Let h = m - -4. Which is bigger: -5 or h?
h
Let l = 2544 + -22808/9. Which is bigger: 11 or l?
11
Let b be (126/(-24) - -6) + 97/4. Suppose 5*h - b = -3*q, 5*h + q = 18 + 7. Is h bigger than 9?
False
Suppose -5*x - 3*l = 42, -10 = -x - 0*l + 4*l. Let n be (-3)/(3/x*3). Suppose -n + 16 = 2*o. Which is greater: o or 6?
o
Suppose -5*r - 11 = 9. Let x be 1/2 + 2/(r/77). Is x >= 0?
False
Suppose 61 = -3*q - m + 192, 4*q - 178 = -2*m. Does q = 41?
False
Let s be (-5)/(-6) - ((-55)/30)/11. Which is bigger: -15 or s?
s
Let r(c) = c**3 - 6*c**2 - 13*c + 41. Let z be r(7). Which is smaller: 8/151 or z?
z
Suppose 2*f + 3*p = -23, 5*f - 4*p = p - 20. Is -3 >= f?
True
Let q = 55052/17 - 3240. Are q and -1 non-equal?
True
Let r = -16 - -23. Suppose -r*o = -5*o + 8. Is -3 smaller than o?
False
Let m(u) = -u**2 - 1. Let y(s) = -2*s**2 + 9*s - 11. Let r(b) = 4*m(b) - y(b). Let x be r(-5). Let p(v) = -v + 4. Let k be p(5). Do k and x have the same value?
False
Let v be (-2 - (-19)/2)*(20 - (-1426)/(-69)). Let l = -2 + 2.01. Which is bigger: l or v?
l
Let k = -31 + 30. Let a be 3/((-360)/(-121)) + k. Which is bigger: a or -1?
a
Let b be (-28)/7*(-5)/20. Which is greater: b or 16?
16
Let p = 29453/906 + -4/453. Is p < 1?
False
Let x = -1735 + 1735. Let z be 4 + -2 + (-40)/18. Are z and x equal?
False
Let n be 136/85*(-10)/(-4). Let p = 3 + -5. Is n not equal to p?
True
Let v = 0.025 - -11.175. Let h = v + 3.8. Let c = 9 - h. Is c less than 0?
True
Let v = -374 - -7112/19. Let u = -14 + 18. Suppose -4*w - 4*q - 20 = 0, 0 = -w - w + u*q + 20. Is v > w?
True
Let u = -634 + 612. Is 1 > u?
True
Let c be -4 - (1 - 1) - -6. Suppose -12 = -2*a - k, 0 = -c*a - 5*k - 0*k + 20. Let r be (4 - 1)/(-2 + a). Which is smaller: r or -3/5?
-3/5
Let i = -811 + 778.1. Let o = -33 - i. Which is smaller: o or 10?
o
Let k(y) = y**3 + 4*y**2 - y. Let w be k(-5). Let i = -3 - w. Suppose 7 = -v + i. Is v less than 10?
False
Suppose 100*q - 14*q = 86. Do q and -1/69 have different values?
True
Let n = -8646 + 8651. Let c = -221/4 + 55. Is c smaller than n?
True
Suppose -2*d + 6*d - 2*m + 6 = 0, 2*d + 3*m - 9 = 0. Which is smaller: d or 5/17?
d
Let m be (1*(-2)/(-8))/(60/240). Which is smaller: m or 13/34?
13/34
Let v = -28 - -15. Let c = 12.9 + v. Let x = 0 + c. Which is greater: x or -1/2?
x
Let s = -72.32 + 0.32. Let a = -67 - s. Is -0.04 at least a?
False
Let l(p) = -2*p**2 + 24*p - 23. Let h be l(11). Let i(n) = n**3 - 7*n**2 - 9*n + 3. Let z be i(8). Let w be 6/15 - (-12)/z. Which is bigger: w or h?
h
Let v = 34/3 - 11. Let b = 40 + -40. Which is smaller: b or v?
b
Let d be 22*(-8)/96*-5 - 8. Let o(g) = g**2 - 4*g - 7. Let u be o(6). Suppose u*q = -h + 26, 0 = 4*h - 5*q + 27 - 6. Which is greater: d or h?
d
Let c = -342 + 352. Which is greater: 0 or c?
c
Let l = -912 + 911.9461. Is l != 1?
True
Suppose -244 = -18*l - 280. Is l at least as big as -149?
True
Suppose -5*y = -4*o + 3739, 2*y + 41*o + 1499 = 46*o. Is -747 less than or equal to y?
True
Let l(c) = c**2 + 2*c - 4. Let a be l(-4). Which is smaller: a or 2?
2
Let y be (-360)/16 + -1 + 2. Let r = y + 20. Let o be (-7)/9 + (-2)/9. Which is smaller: o or r?
r
Suppose -140 = -5*n + n. Suppose t = -4*t - n. Let x = -9 - t. Is -3 at most x?
True
Let w = -619 - -719. Which is smaller: w or 97?
97
Let j(s) = 1 + 0 - 7*s**2 - 5*s**2 + s**2. Let y be j(1). Suppose -26*w = -22*w, 4*v + 5*w + 28 = 0. Which is smaller: y or v?
y
Let j = 0.535 - 0.888. Is -1 at most j?
True
Let b = -992/13543 + 2/467. Is 9 >= b?
True
Let w(y) = -2*y - 9. Let f be w(-4). Let a be f/7 - (-30)/70. Do -1 and a have the same value?
False
Let d be 12/(-18) + (-119)/(-3). Is d at most 35?
False
Let a = -1.43 - -8.73. Let d = -1.7 - a. Which is bigger: 0.2 or d?
0.2
Suppose 442*o - 448 = 449*o. Which is greater: -66 or o?
o
Let k = -1733/4 - -431. Let o = -5 - -7. Suppose a = -2*j - 3, 0*a + 3*j = o*a + 6. Is k at most a?
False
Let j = 68 - 115. Let b = -0.10226 - -0.00226. Is j greater than b?
False
Suppose 0 = -7*v + 4 + 220. Is v smaller than 30?
False
Suppose -14*g - 99 = -3*g. Let t = -2 + -6. Which is smaller: g or t?
g
Let b be (62/110)/(-2*2*-1). Let o = -1/11 + b. Which is bigger: 1 or o?
1
Suppose 3*v = f - 119, -4*f = 18*v - 20*v - 96. Let m = -59 - -23. Do m and v have the same value?
False
Suppose t = -4*t - 4*q - 100, 3*q - 40 = 2*t. Let s(u) = u**3 + 19*u**2 - 20*u + 1. Let o be s(t). Is -3/89 greater than o?
False
Let n(g) = -792*g + 2. Let q be n(1). Let h be (-3)/(-15) - 1807/q. Let v = -1/79 - h. Which is greater: -3 or v?
v
Let n = 2482 - 354928/143. Let m = -3857/286 + n. Which is bigger: m or -15?
m
Let l = 2.34 - 2.65. Which is bigger: 0.1 or l?
0.1
Suppose -5*v + 4 + 6 = 0. Suppose 0 = 5*w + j - 1, 3*w - 2*w - 3 = -3*j. Suppose 2*z - 6 = w, 0 = 2*b + 2*z - 4*z + 2. Do b and v have different values?
False
Let t = -8.35 - -0.35. Let v = t - -7.8. Let k be (2/(-6))/(-3 - -2). Which is smaller: k or v?
v
Let a = 133 - 90. Let i = -30 + a. Is 13 != i?
False
Let x = 0.02 + -0.02. Let u = -1240/12579 + 2/599. Which is greater: x or u?
x
Let b = 249477/220 + -1134. Is b less than or equal to 0?
True
Suppose -5 = 4*o + 39. Let j = 11 + o. Is -2/61 less than or equal to j?
True
Let o be ((-96)/(-34) + -2)*22/770*-30. Let d be (1 + 10/(-6))*-3. Let x be ((-2)/d - -1) + -1. Which is smaller: x or o?
x
Let g = 11.3 - 61.3. Let u = g - -50.2. Let h = 0.3 - 0.34. Does u = h?
False
Let j be ((-9)/(45/2))/(1084/40). Is -1 != j?
True
Let t = 1/138 + 241/4830. Let c(v) = -2*v**2 - 9*v - 4. Let y be c(-3). Suppose 0 = -5*h + y. Is t greater than h?
False
Let c(l) 