
Let q be (4 - -2)*(-1)/(-2). Suppose z - 64 = -5*n, -q*n + 28 + 12 = z. Which is greater: n or 9?
n
Let z = 1/1183 + -2369/3549. Is z greater than 578?
False
Suppose 18555 = 26*j - 9759. Which is smaller: -0.1 or j?
-0.1
Let u = -100.838 + -0.162. Let d = u - -100. Is -0.027 at most d?
False
Let s = -342 + 232. Which is smaller: 0.2 or s?
s
Let a = -14594/5 + 2909. Which is bigger: 0 or a?
0
Let w = -2059 + 2056. Suppose -m - 18 = -6. Is w at least as big as m?
True
Let c = 1.2 - 1.265. Let g = -0.115 - c. Let i = 53/63 - 5/9. Is i <= g?
False
Let j = -1900.2833 + 0.2833. Is j bigger than -0.1?
False
Let p be (-2)/(-5) + (-139)/360. Let l(s) = -166*s - 1493. Let o be l(-9). Which is greater: o or p?
o
Suppose -l - 6 = -4*d + 1, -2*l = d + 5. Let a = 9 + -10. Let t be ((-12)/18)/(a/(-3)). Which is bigger: t or l?
t
Let q = -770629/68 + 11333. Let m = -801/24922 + 2/733. Let k = q - m. Which is smaller: 8 or k?
k
Let q be 1*(-4 - -3)*12. Let v be 135/q - 6/8. Let z = v + 12. Which is smaller: z or -1/8?
-1/8
Suppose 0 = 275*u - 271*u + 184. Which is smaller: -47 or u?
-47
Suppose -7*c - g - 32 = -5*c, -2*c = 2*g + 36. Which is smaller: -2 or c?
c
Let w(j) = 8*j**2 - 25*j + 2. Let a be w(3). Which is smaller: a or 7/50?
a
Let z(b) = b**2 - 18*b - 44. Let h be z(21). Is 1 less than h?
True
Let q = -113 + 95. Which is smaller: -4 or q?
q
Let h(u) = -u + 2. Let a be h(-3). Let p be 6 - a - 2/2. Suppose 3 = -3*l + 2*w, p = -l + 5*l + 4*w + 4. Do l and 1/10 have different values?
True
Let z(h) = h - 10. Let p be z(6). Let t(l) = l**2 + 4*l + 2. Let d be t(p). Suppose 0 = -4*s + v + d*v - 13, 4*v = 4*s + 16. Is 1/23 >= s?
True
Let f = -7508/5 - -1513. Is 12 at least f?
True
Let f = 956 + -6695/7. Is f bigger than -69?
True
Let y = -18.73 + 10.53. Is y at most -1/4?
True
Let z be (-4)/6 - 120/(-45). Suppose 8 = 2*c - a, -6 = -0*c + c + z*a. Suppose 40 - 7 = c*j - d, -d + 51 = 4*j. Which is smaller: 13 or j?
13
Suppose 0 = -v - 0 + 1. Suppose -z + 4*b = -2*z + 4, -55 = 5*z - 5*b. Let f be z/20*(-5)/3. Are f and v equal?
False
Let i be (2 - (1 - -2))*-1. Let q be (-6)/11 - (-15576)/39204. Is q bigger than i?
False
Let a = 7368 - 110594/15. Let h = -13/3 - a. Let l = h - 41/85. Is -2/7 <= l?
True
Let f(g) = 2*g**2 + 3*g + 1. Let w be f(-2). Suppose -5 = 5*m + 2*j, -4*m - 1 - w = 4*j. Let y(z) = -3*z**3 - 2*z - 1. Let b be y(m). Which is smaller: b or 6?
b
Let k = -474 + 478.18. Let m = k + -0.18. Let z = -1 + m. Which is greater: z or -0.3?
z
Let f = -0.1932 + -0.0428. Which is bigger: f or 0.1?
0.1
Suppose 0 = 2*l + l - 84. Suppose -5*c + 0*c = -5*x + 70, -2*c + 10 = 0. Let f be x/14 + (-42)/l. Do f and 2/13 have the same value?
False
Let d = 3773/116 + -3/116. Let l = d + -33. Suppose 0 = a + 2*a - 3*x, 5*x = -4*a - 18. Is a smaller than l?
True
Suppose 0*j + 44 = -4*j. Let w = -6 - j. Suppose 0 = -3*p - 3*t, 4*p + w*t - 4 = -0*p. Is -4 >= p?
True
Let z(j) = 2*j**3 - 6*j**2 - 10*j + 11. Let m be z(4). Is 47/14 bigger than m?
True
Let q be 10/(-14) + (-78)/273. Which is bigger: 2/45 or q?
2/45
Let o(x) = -x**3 + 2*x**2 + 9*x - 1. Let r be o(4). Let h be ((-9)/(-6))/((-8)/r). Is -2 at least as big as h?
False
Let w be (-3 - -1)*25/(-10). Let n = -4 - -8. Suppose w*g = 5*f + 10, 4*g + n*f + 0*f = -24. Is g not equal to -3?
True
Let l be (1/(-3 + 2))/(2/30). Let t be ((-3)/3)/(l/6 - 1). Do -80 and t have the same value?
False
Let s be (-3 - 0) + (-126)/(-12) + -8. Is s equal to 0.225?
False
Let w = -2861/275 + 114/11. Which is smaller: 0 or w?
w
Let l = -44.025 - -0.025. Let j = l + 44.07. Is 2/9 bigger than j?
True
Suppose -3 = 48*k - 51*k. Which is greater: k or 8/65?
k
Let z = -131 + 139. Let i(s) = 0 + 9 - 5*s + 2*s**2 + 17*s - s**2. Let w be i(-12). Which is greater: w or z?
w
Let d = -4 + 11.6. Let t = -6 + d. Let p = -0.4 - t. Which is smaller: 2/9 or p?
p
Suppose 245*h - 237*h = -7832. Are h and -979 equal?
True
Let s = -7272/19692983 - -114256052439616/117311099731. Let z = s + 7995/259. Let n = -1005 + z. Which is bigger: -1 or n?
n
Let u = -16 + 36. Let k be 3298/18 - u/90. Let h = k - 1649/9. Which is smaller: -1 or h?
-1
Let t = 0.011 + -34.011. Let h = 32 + t. Which is smaller: 1/6 or h?
h
Let p = 411 - 93. Are p and 319 equal?
False
Let t = -198 - -220. Is 24 less than t?
False
Let o(m) = -m**3 - 6*m**2 - m + 8. Let t be o(-6). Let j be ((-2)/3)/(t/21). Is j equal to 8?
False
Suppose -224*r = -222*r - 34. Which is greater: r or -2?
r
Let x(t) = -2*t + 4. Suppose 5 = -2*z - 2*o + 17, -3*o + 16 = 2*z. Suppose -4*v = -v - 6, -s = -2*v + z. Let c be x(s). Is c at least -4?
True
Suppose 0 = 4*k - 15 + 3. Suppose 5*n - 5 = -t, -k*n - 3*t - 10 = -5*t. Let w be (4/(-8)*-1)/2. Is n at least w?
False
Let x be 42/(-168) - 438/8. Is x >= -55?
True
Suppose -2*i - 22 = -26. Suppose -42 = i*r + 4*j, -j - 185 = 5*r - 35. Do r and -31 have the same value?
True
Let r = 562/7 + -80. Suppose -6 = -2*z - 3*k + 9, -15 = -z - 4*k. Suppose 1 = -z*t - 2. Which is smaller: r or t?
t
Let z(k) be the second derivative of 0 - 4*k**2 + 1/6*k**3 - k - 1/20*k**5 + 3/4*k**4. Let i be z(9). Is i >= 3/7?
True
Let p be 1/(-2) + 35/10. Let g be 38/72 + (p - 45/12). Let o = 2.4 - 14.4. Which is bigger: o or g?
g
Suppose 62 = 19*q - 33. Which is greater: 50/11 or q?
q
Let m be 14/1508*(-36)/63. Which is bigger: -1 or m?
m
Let t(d) = -8*d - 3. Let q be t(-1). Suppose 2*z - q*c + 2*c = 18, -2*z + c + 10 = 0. Let n be (2/z)/((-3)/18). Which is bigger: -0.05 or n?
-0.05
Let p = -54.2 + 54. Let u = -6 + 8. Suppose u*n - 2*d = 0, -2*n + 6*n + 3*d = -28. Which is smaller: p or n?
n
Let v = -5.17 - -3.17. Is -0.88 less than or equal to v?
False
Let h = 106 - 125. Suppose -y = 3*y + 72. Is h equal to y?
False
Suppose 5*i - 5*r = -370, 5*i + 378 = 14*r - 11*r. Which is smaller: i or 7?
i
Let w = 14 - 14. Let o = -153 - -219. Let k be 5/(-30) - 13/o. Is w greater than k?
True
Suppose -2*o + 0*o = -o. Suppose 2*l - 3*j = -17, -2*l + 1 + o = 3*j. Is l > -4?
False
Let t be 288/(-4) + (0 - (1 - -4)). Which is smaller: t or -75?
t
Let c(g) = g**3 + g**2 - 57*g + 17. Let f be c(7). Which is greater: f or -2/47?
f
Let i be (-10)/(-5) + (0 - -2). Suppose 38 = -i*v + 2*b, -3*v + b = -4*b + 39. Suppose -k - 2 = 6. Do k and v have the same value?
True
Let p(x) = -x - 6. Let m(y) = 3*y + 13. Let w(t) = -2*m(t) - 5*p(t). Let r be w(1). Let v = 0 + 5. Do v and r have different values?
True
Let w be 1*13/(-5) - -3. Suppose -12 - 4 = -4*b, 12 = -2*h + 3*b. Is h != w?
True
Let t(w) = w**2 - w + 2. Let j be t(0). Suppose 0 = j*u + 3*s - 7, 4*s + 30 = 5*u - s. Suppose -u*v + 9 = -2*v. Is v smaller than 24/11?
False
Let o be (-2 - 4/(-28)*0)*13. Which is smaller: 1 or o?
o
Let t = 43 + -880. Do -838 and t have the same value?
False
Suppose 0*l = 3*l + 39. Let s = l + 2. Let c = s - -9. Which is smaller: c or 0?
c
Let x(l) = l**3 - 27*l**2 + 25*l - 110. Let i be x(25). Which is greater: i or -736?
i
Suppose 0 = -3*a - 14 + 62. Suppose 4*l = -2*c + a, -7*c + 7 = 5*l - 11*c. Which is smaller: 6 or l?
l
Let c(g) = g + 12. Let k be c(-10). Which is bigger: 7/11 or k?
k
Suppose -4*l = -5*k + 9, -4*l - 17 = 2*k + 13. Let i(q) = 14*q + 49. Let f be i(l). Which is smaller: f or -69/2?
f
Let w(s) = 4*s + 77. Let z be w(-18). Let a be (z + -8)/(-3) - (-33)/4. Is 9 at most as big as a?
True
Let w = 79.8 - -8.66. Let j = 88 - w. Which is smaller: 1 or j?
j
Suppose -967 = -4*j - 3*m, 5*m - 501 = -13*j + 11*j. Which is bigger: j or 237?
j
Suppose -4*t + 6*t = 12. Let j = t - 8. Let m be (-8)/4 + 5 + j. Is 2 bigger than m?
True
Suppose 15 = 4*l + 51. Suppose -5*p + 322 = 5*f - 63, 2*f + 5*p - 148 = 0. Suppose 0 = f*s - 83*s - 40. Which is smaller: l or s?
s
Suppose 481*x = 466*x + 2085. Which is greater: -1/3 or x?
x
Let t(h) be the second derivative of h**5/20 - 2*h**4/3 + h**3/6 - 9*h**2/2 + 12*h. Let q be t(8). Which is smaller: 6 or q?
q
Suppose -2*f - 10 = -0*f + 3*a, 3*a + 9 = -3*f. Let g = -44346 - -1374876/31. Let y = -3036/589 + g. Which is greater: y or f?
f
Let q(p) = p**3 + 10*p**2 + 2*p + 11. Let r be q(-10). Let l(m) = -25*m**2 + 6. Let t be l(3). Let u be (-6)/(-14) + t/21. Is u less than r?
True
Let h be ((-2)/62*4)/((-427)/122). Let g = 131/651 + h. Is g > 1?
False
Let t(o) = -9*o + 294. Let l be t(36). A