 -1. Let o be ((-16)/(-40))/(j/5). Is -0.8 greater than or equal to o?
False
Let m(q) = 5*q**3 - 2*q**2 + q + 3. Let p be m(-2). Which is greater: p or -45?
-45
Let d(i) = -i**3 - 6*i - 5. Let r be d(-1). Are r and 31/9 non-equal?
True
Let w = -395/579 - -3/193. Is w > 36?
False
Suppose 4*c + 0*c - 12 = 0. Let j(k) = -k**3 + 22*k**2 - 20*k - 20. Let g be j(21). Let s be c + g*(-2 - 1). Which is greater: 3 or s?
3
Suppose 3*d = 4*r - 103, d = 2*r + 3*d - 34. Let a be (102/(-12))/((-420)/r). Let l = a + -1/60. Which is smaller: l or -0.3?
-0.3
Let j = -1207 + 638. Which is bigger: -568 or j?
-568
Let t = -9 - -2. Let p = 15 + t. Suppose p = 3*q - 1. Which is smaller: q or 2?
2
Let i = 15.7 - 16. Which is smaller: 6 or i?
i
Let t(i) = 6*i**3 - 3*i**2 - 34*i + 91. Let j be t(3). Which is bigger: j or 129?
129
Suppose 13*n - 24*n = -44. Suppose -t - 4 = 0, -2*m + 3*m - n*t = -67. Are m and -84 non-equal?
True
Let k be (1/(-10))/((-9)/108). Let o = -9.6 - -7.6. Is o less than k?
True
Let v = 82186/207 - 4174/23. Let a = 216 - v. Let d = 1 + -1. Is d less than a?
True
Let q = -64 + 63.62. Let z = q + 3.38. Is z greater than or equal to 8?
False
Suppose 0 = 130*n - 126*n + 4. Which is smaller: -3/193 or n?
n
Let d = 159 + -165.5. Let y = -7.16 - -0.16. Let h = y - d. Is h less than 2?
True
Let r = -34 + 41. Let v = r + -6. Which is smaller: -1.7 or v?
-1.7
Let f = -3219767/337875 + 1/19875. Is -9 less than f?
False
Let x = -5 - -5. Let r = 2.3 - 2.4. Let y = r + x. Is y not equal to 5?
True
Let j be 1/((1/((-123)/6))/(-2)). Do j and 41 have different values?
False
Let h be 6 - 0 - 219/6. Is h bigger than -30?
False
Suppose 0 = 10*p + 44 + 6. Let c = 142/5 - 33. Are c and p equal?
False
Suppose -5*f = 2*c - 10, 3*c - 8*c - 6 = -3*f. Is c smaller than 2/347?
True
Let o = 2547/8 - 318. Let k = 187 + -130. Let p = -56 + k. Which is smaller: p or o?
o
Suppose 0 = -4*t - 18 - 162. Let y be t/18*(-6)/(-5). Which is bigger: y or -2?
-2
Suppose -9*j + 364 = 4*j. Is 27 greater than or equal to j?
False
Let a be (-84)/385 - 2/11. Is a != 48?
True
Let l = 768 - 976. Does l = -208?
True
Let d = 2388 + -2390. Which is greater: -104/9 or d?
d
Suppose 8*w = 0, -4*j = -3*j - w + 4*w. Let u be 6/27 + (-26)/36. Which is smaller: j or u?
u
Suppose 3*k - k = -5*d, 3*d + 1 = -k. Suppose 5*q + 32 = 42. Suppose 7*g + 10 = q*g. Is g != d?
False
Suppose 327*x + 2352 = 315*x. Are x and -191 unequal?
True
Let a be (-8 + 12)/4 + (-172)/10. Which is smaller: -16 or a?
a
Let x = 16 - 11. Suppose -29 + 4 = -x*h. Is h at most -1?
False
Let l = -211 + 2740/13. Let g = -0.783 - -0.783. Is l equal to g?
False
Suppose -4*n = -12*l + 17*l - 7, 3*l - 3*n + 12 = 0. Which is bigger: l or 3/161?
3/161
Suppose -4*u + 623 = 2*n - 203, -2*u + n + 415 = 0. Which is bigger: u or 208?
208
Let l(z) = -14*z. Let b be l(-2). Suppose -3*f - 6*o = -4*o - 39, -2*f - 2*o + b = 0. Suppose 4*v - 1 - 47 = 0. Which is bigger: v or f?
v
Let n = 16 + -23. Let v = n + 10. Let m = -4 + v. Which is bigger: m or -1/5?
-1/5
Suppose -2*b - 12 = -t, 0 = -4*t + 7 + 9. Let q(s) = -s**3 - 6*s**2 - 3*s + 6. Let o be q(-5). Let x = o + 0. Is b at least x?
True
Suppose 5*b - 271 = 4*o, 3*o = -0*b - 2*b - 186. Which is bigger: -0.2 or o?
-0.2
Let f be (-4)/12*(-3)/2. Let n = 727.02 - 736. Let z = n + -0.02. Which is bigger: z or f?
f
Let u be (-128)/42 - (-4)/(-14). Let j be (-1*4/12)/(9/54). Is u at most as big as j?
True
Let q be 2 + (-3 - 2)*(-3)/5. Suppose -q*u + 5 = h, -2*h - 3 + 4 = u. Which is bigger: 1/21 or u?
u
Let x = -164 - 166. Are -330 and x equal?
True
Let h = 0.08 + 0.08. Let l = -87.08 + 87. Let c = l + h. Which is bigger: 2 or c?
2
Let u = 0.12 - 14.12. Suppose 5*y = -n - 0*y - 14, 9 = -3*y. Do n and u have different values?
True
Let x = 2142/497027 - 3/1654. Is 0 at most as big as x?
True
Suppose 0 = 4*d - 4*w + 132, -w - 4*w = 3*d + 99. Let b be 31/217 - 232/7. Let u = d - b. Which is smaller: u or -3?
-3
Suppose 207*c + 1362 = 201*c. Is -227 at least as big as c?
True
Let t = 1930/21 + -92. Let a = -63 - -59. Let f(l) = l**2 + 5*l + 4. Let z be f(a). Is z greater than or equal to t?
True
Let s be (7 + 675/(-95))*(-8)/20. Let w = -3 + 3. Which is bigger: w or s?
s
Suppose -4*p + 23 = -o, -4*o - 5 = p - 15. Let y be ((-2)/22)/((-2)/p). Let m = 147 + -146. Which is greater: m or y?
m
Let j = -359812/1245 + -136/415. Are j and -288 non-equal?
True
Let w(r) = -2*r**2 + 50*r - 39. Let t(o) = o**2 - 25*o + 20. Let z(n) = -7*t(n) - 4*w(n). Let v be z(22). Which is smaller: v or -49?
v
Suppose 0 = -a - 60 + 32. Is -29 less than a?
True
Suppose -4*f + 40 = y, y = 2*f + 3*y - 26. Let i = f + -12. Which is smaller: i or -1?
i
Let w = 120.1 - 120. Let t = 4 - 8. Let l = 2 + t. Which is smaller: w or l?
l
Let z = -30 + 33. Which is smaller: z or 65?
z
Suppose -3*i = i. Suppose 2*o - 7*o = i. Does 2/3 = o?
False
Let y be -6 + 9 + 2 + 34/(-8). Suppose -p = 2*p. Which is smaller: p or y?
p
Let l = -307 + 265. Which is bigger: -40 or l?
-40
Let w(z) = -7*z**2 - 62*z + 23. Let p be w(-10). Which is greater: -58 or p?
p
Let y be (-4 - -6)/((-9)/15 - -1). Suppose -4*u + y*n = 125, -2*u - 4*n = -5*u - 95. Is -25 != u?
False
Let n = -14 + 6. Let x(g) = -8*g + 72. Let m be x(10). Is m at least as big as n?
True
Let h = 3864 + -19467/5. Which is bigger: h or -28?
-28
Let z = -28 - -61. Let b = -20 + z. Which is smaller: 14 or b?
b
Let y be 0 + (-7 + 14)/(-7). Is 95/9 greater than y?
True
Let m be ((-2)/3)/(19/(-3)). Let o = 0.19 + -0.31. Let y = 0.22 + o. Which is greater: y or m?
m
Let a = -16 - -12. Let t(n) = n**2 - 14*n + 21. Let r be t(12). Which is greater: r or a?
r
Suppose -a = 2*v - 5*v + 242, 2*v + 5*a - 184 = 0. Is v > 79?
True
Let f be 893/(-6080) + (-2)/(-20). Is -1 not equal to f?
True
Let c = -1.13 - -0.13. Let v = c - 0.1. Let x = 0.9 + v. Which is smaller: 1/4 or x?
x
Let t = -8/3051 - -32246/662067. Let z = -3/31 - t. Which is greater: 0 or z?
0
Let m be 90/(-7) - (-44)/154. Are -13 and m non-equal?
True
Let i(r) = -r**2 + 13*r + 22. Let z be i(14). Let n be 1/3 + (-11)/(-3). Suppose n*o - 30 = -2. Which is bigger: z or o?
z
Let h = -4093/9 + 455. Which is greater: -0.12 or h?
h
Let y = 43780/4896469 + -18/2243. Which is smaller: y or 1?
y
Let f = 3110.9 - 3111. Let u = 0.1 - 0.1. Let l = -1 - u. Is l < f?
True
Suppose -19*k + 16*k = 0. Suppose 2 + 3 = 5*p. Let w be p/(-4) + (-7)/(-252). Which is bigger: w or k?
k
Let n = 318.83 - 328. Let o = 0.17 + n. Let c = 8 + o. Is c < 1/2?
True
Let h = 311/65 - 57/13. Let z = 3 + -2.92. Is z bigger than h?
False
Let z = -3674 + 279217/76. Is -1 at most as big as z?
True
Let s = 10597325/2211 - 4793. Is s >= 0?
True
Let z = -9 + 43. Let t = -31.6 + z. Let v = t - 2.2. Which is smaller: -0.4 or v?
-0.4
Let t(k) = -16*k - 335. Let d be t(-21). Is 2/137 less than or equal to d?
True
Let c(n) = -2*n - 6. Let z be c(-3). Suppose 0*o + o - 8 = z. Suppose 2*d + 3*x - x = -8, 2*x = -o. Which is greater: 1/20 or d?
1/20
Let y(q) = q - 24. Let i be y(18). Let x = i - -6. Let d = -22821/29 + 787. Which is smaller: x or d?
x
Let g = 6 + -21. Let c = 51 - 30. Let y = c + g. Is y equal to 1?
False
Suppose 0 = 368*l - 343*l + 175. Let p(x) = x**3 - 4*x**2 - 3*x. Let g be p(4). Is l greater than g?
True
Let j = 73 + -70. Suppose 3*y + 5*b + 13 = 0, b = j*y + 2*b + 5. Is y smaller than 2/15?
True
Suppose -1818 = 3*k - 8*i + 9*i, 0 = 5*k + 5*i + 3020. Which is smaller: -605 or k?
k
Let n = -146.2 + 146. Which is bigger: n or 2?
2
Suppose -2*d = -5*d + 6. Which is bigger: d or 0.009?
d
Let l(y) = 22*y**2 - 1. Let z be l(-1). Let q = -271/33 + 94/11. Are q and z nonequal?
True
Suppose -4*h = -3*q - 563, -2*q + 71 - 461 = h. Which is smaller: -580/3 or q?
-580/3
Suppose 0*t - 13 = -t + 5*j, -5*t = -5*j - 25. Let p(g) = -5*g + 87. Let b be p(17). Is t at least as big as b?
True
Let d be 5 + (0/(-3))/3. Suppose -4*o - 20 = d*c, -6*o = -5*c - 5*o - 45. Which is greater: -33/4 or c?
c
Let k = -254/21 - -94/7. Let x = 0 + 14. Suppose -4*c - 14 = 4*b - 6, 0 = -c - 4*b - x. Which is bigger: c or k?
c
Suppose -5*w + 1 + 4 = 0. Let f = 1922 + -148023/77. Let l = -1/11 - f. Is l equal to w?
False
Let o = -26 + 55. Suppose -o = 5*p + 3*m, 4*m + 25 = -5*p - m. Which is bigger: p or 0.1?
0.1
Let v be