. Let r = 10 - n. Which is bigger: r or i?
r
Let t(o) = 18*o**3 + 10*o**2 - 2*o + 4. Let f be t(4). Is f bigger than 1308?
False
Let s = -100257 + 1101963/11. Is -78 greater than s?
True
Let k(y) = y**2 + y - 14. Let b(f) = f**3 - f. Let j be b(-2). Let o be k(j). Let u = 15 - o. Are 2/47 and u equal?
False
Suppose g - i - 42 = -2*g, 2*g + 5*i - 28 = 0. Let p(j) = 3 - 28*j - g + 30*j. Let z be p(8). Is 1 > z?
False
Let h be (-4)/(-3)*(-21 + 24) + 56. Suppose -2*n = 13*n + h. Which is bigger: -1 or n?
-1
Let l = -83 + 87. Suppose l*v - 3*g = 34, -v = 2*v - 2*g - 26. Is 10 equal to v?
True
Let n = -62 - -66. Suppose u - n*o = 53, -4*u + 5*o = 6*o - 161. Which is greater: u or 43?
43
Suppose -24 = 2*b - 6*b. Let t = 1645 + -1640. Which is smaller: t or b?
t
Let x be (2/14)/(5/7 - -1). Let z(y) = -y**3 - 5*y**2 - 1. Suppose 7 + 8 = -3*q. Let r be z(q). Are r and x nonequal?
True
Let u be (-187)/(-294) + 54/(-81). Is u < 1?
True
Let h = -15.893 + 0.193. Let u = h - -13.7. Which is smaller: 14 or u?
u
Let a be ((-10)/30)/((-1)/102). Let p be a - (4 - (4 - -1)). Suppose s - p = -5*g, -4*s + g = -47 - 9. Is -0.1 greater than or equal to s?
False
Let t = -8/93 + 174/341. Which is bigger: 0 or t?
t
Let k = -233 - -232.99. Which is smaller: 0.022 or k?
k
Suppose 10 = -9*z + 10*z. Suppose 0*n - 7 = 3*n + p, 3*n + 4*p = -z. Which is smaller: n or -11/4?
-11/4
Let m(b) = b + 1. Let i be m(4). Let v be 3 - (i/2)/1. Suppose 4*t + 9 = t - 3*y, 20 = -4*y. Is t less than or equal to v?
False
Let x = -57 + -22. Let j = x - -54. Is j less than -26?
False
Let a = 35 - 62. Which is smaller: 1/4 or a?
a
Suppose 336 = 105*q - 103*q - 4*f, 5*q - 5*f = 820. Which is bigger: 803/5 or q?
803/5
Let v(y) = -y**2 - 17*y - 67. Let q be v(-10). Suppose -q*w = -l - 21, l + w = -0*w - 1. Which is smaller: -24/5 or l?
l
Let c = 111 - 168. Let h = c + 140. Is 84 >= h?
True
Suppose -2*n = -4*m + 6, -5*m - 6 + 21 = -n. Suppose -3*k - 317 = m*c, -5*c - 344 = 4*k + 77. Let x be (-16)/(-90) + (-22)/k. Is 3 bigger than x?
True
Let m(r) = -r**3 - 10*r**2 + 10*r. Let p be m(-11). Let o be 7/p + 3 - 4. Which is smaller: o or -1?
-1
Let n = 21 + -9. Let q = 10 - 6. Suppose -n = 4*d - q. Is d at most 0?
True
Let f = -0.61 + -0.2. Which is smaller: f or 1?
f
Let j = -7 - 1. Let h = j + -3. Let k = h - -7. Is -1 greater than or equal to k?
True
Let u = 1667958/211 + -7905. Is 0 bigger than u?
False
Let r be 46/220 - (-37)/407. Is r equal to 2.3?
False
Let j be 112/(-28) + 38/12. Let r = 4 + 0. Suppose 2*i + 6 = r*l - 6, 2*i - 5*l = -15. Is j greater than i?
False
Let n = 183.97 + -185. Which is smaller: 0 or n?
n
Suppose 6*f = 2*f. Let n be ((-12)/(-30) + (-36)/15)/17. Which is bigger: f or n?
f
Let l = 66 + -99. Is 0 > l?
True
Let z = -0.18 - -0.08. Suppose 0 = -f - 3*v + 8, 5*v + 1 = -2*f + 15. Let u be ((-1)/(-2))/(f/(-4)). Is u at least as big as z?
False
Suppose -2*f - 2*f = -0*f. Is -6/25 less than or equal to f?
True
Let z(n) = n**2 + 12*n. Let s be z(-12). Suppose -3*f - 24 = -3*d, -f + s*d = -5*d + 4. Is f less than or equal to -10?
False
Let m(b) = -1. Let y(k) = -4*k - 21. Let a(q) = -2*m(q) + y(q). Let o be a(-9). Let p = 17 - o. Is p smaller than -2/17?
False
Let r = -11.18 + 0.18. Let v = r + 12. Let y = -2 + v. Which is smaller: -0.04 or y?
y
Suppose 3*j = -0*j - 4*i + 12, 0 = -2*j + 4*i + 8. Suppose -c = -4*u + 11, -j - 1 = 5*u + 5*c. Is u at most as big as 0?
False
Suppose 23 - 58 = -5*d - 3*i, -2*d + 23 = 3*i. Suppose -5*c - 10 = -4*c + 3*m, -d*c + 10 = 2*m. Suppose -3*r = -c*r - 2. Which is smaller: 2/17 or r?
r
Suppose -p = -5*n - 14, 9 = 4*p - 3*n - 47. Suppose 2*q - p = -32. Which is greater: -11 or q?
q
Let q be 6/4*(-4)/12*-4. Let f be (57/(-42) - -1)/(q + -3). Is 1 <= f?
False
Let x(o) = 35*o**2 + 10*o - 10. Let w be x(1). Which is bigger: w or 41?
41
Let w = -3/10 + 29/30. Let t = -1.39 - -0.09. Which is bigger: w or t?
w
Suppose -2*n = -2*g + 13 - 3, -3*g + 5*n + 23 = 0. Let h be 0 + 228/(-113) - -2. Let j = -97/904 + h. Which is smaller: g or j?
j
Let a = -18.69 - 0.31. Let f = a + 25. Let j be (0 + -1)*2/(-5). Which is bigger: j or f?
f
Let l(o) = -13*o**2 - o + 1. Let a be l(-2). Is -18 less than a?
False
Let y(j) = -j**2 + 8*j - 5. Let u(o) = -o**2 + 5*o + 7. Let r be u(5). Let b be y(r). Suppose 5*n - 19 = -2*d, -b*d + d + 22 = 5*n. Which is smaller: -2 or d?
d
Let b be 41*(0 + -2)*7/14. Let u = -23 - b. Is u not equal to -1/4?
True
Let c = -89.8 + 74. Let z = 14.8 + c. Are z and -1 nonequal?
False
Let u = 24 + -49. Do -22 and u have the same value?
False
Let p(w) = -24*w - 89. Let d be p(6). Which is greater: -234 or d?
d
Let b = -0.271 - 1.829. Which is greater: b or -2?
-2
Let x = 198 - 603. Let a be 675234/1665 + ((-8)/5 - -1). Let i = a + x. Which is bigger: 1 or i?
1
Suppose 16*o - 797 = 307. Is 346/5 != o?
True
Let j(l) = l**2 + 12*l - 104. Let h be j(-18). Is 2 <= h?
True
Let q be (2 - (2 + -3))/(9/15). Suppose 0 = -2*j - q*j. Which is greater: j or 0.09?
0.09
Suppose -5*m + 1896 = k + 385, 3*k = -4*m + 1211. Is 300 equal to m?
False
Let m(i) = -i**3 - 10*i**2 - 7*i + 18. Let k be m(-9). Is -5/4 < k?
True
Suppose 4*d - 38 = -2*b, d - 5*b = 3*d - 31. Let q be (6/(-8))/(21/d). Which is greater: q or -0.1?
-0.1
Let p = 3 - -2. Suppose 60 = 4*h + 4*b + 20, -5*h + 38 = 2*b. Which is bigger: p or h?
h
Let j = 1708/5 - 344. Suppose -18 - 30 = -12*o. Let g be (-1)/(-7)*o + (-50)/14. Is g <= j?
True
Let w(k) = k**3 - 11*k**2 - 18*k + 37. Let x be w(11). Is x at most -160?
True
Let g = 0.91 + -0.81. Which is greater: g or -6/25?
g
Let r = -514 + 1025/2. Is r less than or equal to -74?
False
Let z(g) = -g**2 - 5*g - 1. Let w be z(-5). Let v = 1 + w. Suppose v = -2*n - 3*r + 1, -4*n + r - 19 = 0. Which is bigger: n or 0?
0
Let r(s) = s**3 - 5*s**2 - 2*s - 2. Let b be r(3). Is -29 <= b?
True
Suppose 4*s - 5*u - 114 = 0, -2*u = 2*s + 2*u - 44. Suppose -3*f - 58 = s. Is -27 smaller than f?
False
Let t = 28.1 + -31.1. Are t and -40/11 equal?
False
Suppose -13 = 5*m - 2*y, -3*m - 3*y + 10 = -m. Let f = 4/21 + -2/231. Which is bigger: f or m?
f
Let s = 739.61 - 740. Which is smaller: s or 2/11?
s
Let q be 4 + (4/(-3) - (-169)/(-15)). Which is smaller: q or -8?
q
Let y be 1 - 2/(-33)*78. Let l = -1208/209 + y. Does 0 = l?
False
Let n = 0.117 + 9.783. Let k = 27 + -17. Let z = n - k. Are -2 and z unequal?
True
Let b = 0.13 - -0.1. Let q = b + -0.31. Which is smaller: 1 or q?
q
Let q be -332*7/((-784)/7). Is q equal to 20?
False
Let x = 0.57 - 24.57. Let v = x - -10. Let h = v - -13. Is h smaller than -0.2?
True
Suppose 2*i + 88 = -3*f + 8*f, 3*f - 3*i - 60 = 0. Is 15 smaller than f?
True
Let j = 0.684 - 0.634. Which is greater: j or 0.03?
j
Suppose o = -3*o. Suppose 0 = -o*x - 3*x + 3. Are -1 and x unequal?
True
Let a(c) = 4*c**2 + 20*c. Let v be a(-5). Let y be (-9 + v - 0)*6/(-6). Do 17/2 and y have different values?
True
Let f = -4609 + 1267477/275. Let l(r) = -r**3 + 6*r**2 - r + 6. Let w be l(6). Which is smaller: f or w?
w
Let y = 111 - 67. Let n = y - 37. Let g = 3 - n. Which is bigger: g or 3?
3
Suppose -4*n + 6*q = 3*q - 23, -5*n = 5*q + 15. Suppose 4*z - 8*z + 10 = n*b, 0 = -2*z - 2*b + 2. Let w be z/(-12) + 2 - 2. Is w >= -1/4?
False
Suppose -2*x - 1 = -3*b - 21, 40 = 4*x - 3*b. Suppose 3*p + 8 = -x. Is p greater than -5?
False
Let z = -1/15372 - -3704657/76860. Which is greater: 48 or z?
z
Let h = -76 + 77. Is -2/775 not equal to h?
True
Let v be 6*((-1 - 3) + -16 + 3). Let c be v/(9*3/18). Do -68 and c have the same value?
True
Let t be (8 + -6)*(-1 - -6). Let p be 45/60*2/t. Is 1 at least p?
True
Let a be (-14)/(-105)*((-39)/10 - -4). Which is smaller: a or -1?
-1
Let c be ((-352)/72)/(2/(-9)). Which is bigger: 112/5 or c?
112/5
Let k(w) = w**3 + 5*w**2 - 3*w - 7. Let t be k(-5). Let i = 14996/9 + -1668. Let c = 10/9 + i. Which is greater: c or t?
t
Let k = 44943/260 + -2214/13. Is 3 less than k?
False
Suppose 2*q = -4*v, -10*v = -5*v - 2*q. Let f be ((-499)/(-15))/((-2)/3). Let t = 50 + f. Which is smaller: t or v?
v
Let l(o) = -5*o**3 + o - 7. Let k(u) = -4*u**3 - u**2 + u - 7. Let j(z) = -4*k(z) + 3*l(z). Let g be j(-3). Let t = g + -20. Is t > -11/5?
True
Let t = -459/10 - -46. Let k = -2 - -3. Is t at most as big as k?
True
Let b = 157.2 - 133. Let v