be d(-15). Is r < 26?
True
Let s = 46 - 26. Let j be 8/s + 28/5. Suppose -q = -0*q - 2*f + 6, -5*q - 2*f - j = 0. Which is smaller: -1 or q?
q
Let m(y) = 3*y**3 + y + 2. Let s be m(-1). Let n(k) = -2*k - 10. Let a be n(-9). Let v = 10 - a. Is v greater than s?
True
Let l = 31.8 + -4.8. Let x = l - 28. Are x and -4 nonequal?
True
Let j = -28 - -32. Suppose -3*c - 7 = 5, -j*c - 12 = 4*r. Is r >= -1?
True
Let c = 7.02 - 22.02. Which is smaller: 1 or c?
c
Let s(a) = a**3 + 6*a + 10 + 0*a + 0*a**3 - 7*a**2. Let m be s(6). Let r = m - 9. Is r equal to -0.4?
False
Let j = 6/179 - 604/7339. Which is greater: j or 0?
0
Let p = 74 + -69. Suppose 0 = -5*x + 5*l - 1 + 11, -4*x + 20 = -l. Let h be 28/x + 18/(-27). Is p bigger than h?
True
Let x = -0.252 + 0.3232. Which is smaller: x or -0.1?
-0.1
Suppose 5*k + 355 = -195. Let t be (1 - 12/10)*(-20)/k. Which is greater: t or 0?
0
Let d(h) = h**3 + 4*h**2 + h - 6. Let n be d(-2). Does 5/53 = n?
False
Let j(g) = -27*g - 329. Let f be j(-7). Which is smaller: -142 or f?
-142
Suppose 0*j = 2*r - 2*j + 180, 3*r + 275 = 2*j. Let n = -96 - r. Which is greater: 2 or n?
2
Suppose 9*i - 8*i = g + 43, -3*g + i = 131. Is -44 smaller than g?
False
Let q = -49 + 51. Suppose 0 = -c + 2*c - 3. Let x = 5 - c. Do q and x have different values?
False
Let r = 30/7 - 76/21. Let n = -4.42 + 4.61. Is r equal to n?
False
Let d(f) = f**3 + 8*f**2 - 3*f + 11. Let x be d(-9). Let t = 730 + -2063/3. Let n = x + t. Is n less than or equal to -1?
False
Let l = -14 + 17. Let k(f) = f**2 + 4*f - 4. Let r be k(l). Suppose p - 48 = -2*p. Which is greater: p or r?
r
Let a be (-8)/116 - -5 - 5. Is a <= 0?
True
Let w(z) = 2*z - 2. Let v be w(2). Let r(n) = n - 8. Let l be r(-2). Let y(k) = k**3 + 11*k**2 + 10*k - 3. Let m be y(l). Is m >= v?
False
Let p(i) = 43*i + 258. Let x be p(-6). Let k = -79/63 + 10/9. Is k not equal to x?
True
Suppose -4 = -2*o - 0. Let x be (1/o)/(3/90). Let h(g) = -3*g**3 + 458*g**2 + 163*g - 1516. Let m be h(153). Is m greater than or equal to x?
False
Let l = -6.18 + 6. Let w = l - 0.52. Let g = w - -1.7. Which is smaller: 0.2 or g?
0.2
Let x be (-1088)/(-192) - 1/(-3). Which is smaller: 44/7 or x?
x
Let b = 598.028 - 2.028. Are b and -1 non-equal?
True
Let m = 127 + -57. Which is bigger: 0 or m?
m
Let m be (44/8 + -4)*6/9. Which is smaller: 2/143 or m?
2/143
Let b = -800/153 + 46/9. Suppose -4 = 2*k + 2*k. Which is smaller: k or b?
k
Let a be (-1)/4 + (-265)/212. Which is greater: a or -213?
a
Let w be (-285)/(-90) + 20/(-12). Is w at least as big as -1?
True
Suppose -12*k = -6*k - 24. Let m(i) = 2*i**2 - i**2 + 2 + 1 - 7*i. Let c be m(7). Does c = k?
False
Let p = 42 + -86. Which is smaller: -490/11 or p?
-490/11
Let j = -22332/17 - -1314. Let o = -7 + 12. Suppose -2*y = -10, r + o - 21 = -3*y. Which is smaller: r or j?
j
Let h(d) = -2*d**2 + 28*d - 95. Let k be h(8). Are k and -2/477 unequal?
True
Suppose -5*n = 3*v + 2, 7 = -2*n - v + 6. Let f be (-310)/58 + 4 - n. Is f greater than or equal to -1?
True
Let a = -27 + 76. Let j = a + -50. Which is bigger: -2/21 or j?
-2/21
Let h = -364/493 + 18/29. Suppose 5*n - v = 7, 9 = 4*n - 3*v - 1. Is n >= h?
True
Suppose 716*a - 699*a + 51 = 0. Let x = -23629/5 - -4702. Let n = x + 758/35. Do n and a have the same value?
False
Let l = -29 - -29.3. Let r = -0.4 + l. Let n = -1.9 - -2.2. Which is greater: n or r?
n
Let p(k) = -k**3 + 8*k**2 + 8*k + 10. Suppose 2*z + 3 = 21. Let l be p(z). Let t = 0 - l. Is t at least as big as -1?
True
Let r be -1 - (-27)/(189/1274). Which is smaller: r or -1?
-1
Suppose 6 = -4*k + 66. Are k and 0.32 unequal?
True
Let n = 45 + -61.2. Let p = 55 - 71. Let l = p - n. Is -1/3 smaller than l?
True
Suppose 32*p - 79 + 111 = 0. Is p <= -12/217?
True
Let t(c) = -c + 3. Let p be (-4)/(8/6) + 3. Let l be t(p). Let k be (12/15)/(l/(-5)). Is k smaller than -2?
False
Suppose -3*g - 2*m + m = -8, -20 = 5*g - 5*m. Suppose -3*i + 3 = 21. Let a be (-8)/14 - i/21. Which is greater: g or a?
g
Let j = 2 + -1. Suppose -50 - 192 = 2*x. Let g be (-2)/(-3) + x/165. Are j and g unequal?
True
Let c(z) = -4*z + 8. Let i be c(4). Let g be ((-1)/i)/((-1)/21). Is -4 equal to g?
False
Let g = 122.771 - 122.6. Is g > -1/11?
True
Suppose -v = -5*n - 42, n - 22 = -2*v + 29. Which is greater: 26 or v?
v
Let i = 6 - -4. Let l(x) = x**3 - 9*x**2 - 10*x - 7. Let u be l(i). Let y = 12 + u. Is y bigger than 6?
False
Let i = 10 + -4. Suppose 22 - i = 4*m. Let y be (-7)/m - (-3)/4. Is -1 greater than or equal to y?
True
Let t = 122.2 - 7.2. Let h = 117.11 - t. Let s = 0.11 - h. Which is smaller: -1/2 or s?
s
Let n = 100.1 + -76.1. Which is smaller: n or -4?
-4
Let s(l) = -5*l - 6. Let w be s(6). Let i be 8/w + 22/18. Suppose 11 = -2*k + i. Are -5 and k non-equal?
False
Let h be 134/71*1 + -2. Is 0 smaller than h?
False
Suppose -3*w - w - 2*s = -24, 0 = -2*s. Suppose -w = -p + 4*l + 3, 3*p = 2*l + 7. Let f be (3/(69/2))/1. Which is smaller: f or p?
f
Suppose -2*n - 9 = -1. Which is bigger: -8 or n?
n
Suppose -4*i - 62 + 66 = 0. Let s be ((-4)/723)/((-2)/(-3)). Let g = -261/2410 - s. Which is bigger: g or i?
i
Suppose 3*a + 4 = a, -5*y - 2*a = -56. Let b be (-5)/(-20)*148/3. Which is bigger: b or y?
b
Let v(p) = p**3 - 6*p - 1. Suppose m + 4 = 7. Let c be v(m). Is 10 < c?
False
Let i = 0 + -1. Let b = 3.72 - 4.1. Let y = -0.48 - b. Is i greater than y?
False
Let l(u) = -u**3 + 3*u**2 + 17*u + 87. Let a be l(-5). Which is smaller: a or 201?
201
Suppose 0 = -168*t + 170*t - 2. Let y = 20/13 - 25/143. Which is bigger: t or y?
y
Suppose -17 = -u - 3*g, 5*g - 84 = -5*u + 21. Suppose u - 58 = x. Are x and -36 nonequal?
True
Suppose -3*d - 6*h + h - 2 = 0, 0 = 5*h + 20. Let j(q) = -q**3 + 7*q**2 - 7*q. Let f be j(d). Suppose -2*x - 4 = 4. Which is bigger: x or f?
x
Let y(z) = z**2 + 2*z + 4. Let s be y(-2). Suppose -5*w + 7 = 3*t - 13, -19 = -s*w - 3*t. Let x be (1/(-2))/(7/2). Are w and x equal?
False
Let b be 1/(-2) + 1168/2208. Suppose 2*o - 7*o = 0. Which is smaller: b or o?
o
Let c = -2.7888 - 0.2112. Let i = -2 + 0. Is c smaller than i?
True
Let c be 10/3*(-1728)/4560. Which is bigger: c or -1?
-1
Suppose 0*o = -o. Suppose o = q - 4*q. Suppose 3*s - 7 - 5 = q. Do -0.1 and s have different values?
True
Let u = -10457/4134 - -399/212. Let i = u - 1/52. Let l = -37 + 35. Which is smaller: l or i?
l
Let q = 32 + -137. Suppose 2*n - 3*n - 106 = 0. Which is smaller: q or n?
n
Suppose 14*g = 19*g - 2*n - 779, 625 = 4*g - n. Which is smaller: g or -3?
-3
Suppose 8*w = -2*w + 70. Suppose w = 5*o + 12. Let z = 507/7600 + -2/475. Which is bigger: z or o?
z
Let w(i) = -i**3 - 14*i**2 - 15*i - 26. Let k be w(-13). Is k greater than 3/50?
False
Let m(g) = -27*g + 210. Let i be m(14). Do -168 and i have the same value?
True
Let j = -0.0315 + 0.0315. Is -1/264 at least j?
False
Suppose 2 = 2*x + 2*o, 3*o - 2*o = -4*x + 7. Suppose -x*u = -4*u. Let m(v) = -v**3 - v**2 - 12. Let q be m(u). Is -13 less than or equal to q?
True
Let y be ((-1)/(-2))/(5/(-10)). Let u be (75 - -9)/(y/(-1)). Let p be (-10)/3*u/35. Is p at least -8?
True
Let s(a) = a**2 + 9*a - 6. Let n(g) = 10*g. Let f be n(-1). Let r be s(f). Suppose 0 = -r*w - 13 + 5. Which is greater: -6 or w?
w
Suppose -2*q - 17 + 3 = 0. Let b = q - 4. Which is smaller: b or -10?
b
Let o(v) = -v**2 - 3*v + 1. Let s be o(0). Which is bigger: -3/230 or s?
s
Let k(d) = d**2 + 15*d - 10. Let s be k(-5). Is s at least as big as -117/2?
False
Let j = 30 - 89/3. Let z(y) = 4*y**3 + 2*y**2 - 2*y. Let v be z(-2). Let l = v + 21. Which is smaller: j or l?
j
Let z be (-1)/10 + (-18)/20. Are -8/95 and z equal?
False
Let m = 6 - 50. Let r = m - -43. Which is smaller: r or 13?
r
Suppose -z + 0*z = 3*v - 57, z + 69 = 4*v. Let f = v - 1. Let t(g) = 16*g**2 + g + 1. Let y be t(-1). Is f less than or equal to y?
False
Suppose d + 135 = -2*d. Let v = d + 49. Is v smaller than 4?
False
Let r be (-4)/(-34) - 5592/136. Suppose 5*h - 2*c + 210 = 0, 4*h + 107 = -4*c - 61. Which is greater: h or r?
r
Let r(m) = 3*m**2 - 2*m + 11. Let y be r(-3). Suppose -2*h - 5 = l - 13, -2*l + 3*h = -y. Is 16 not equal to l?
False
Let b = 10 - 22. Let g = b + -4. Is g > 1?
False
Suppose 5*k = -1 - 9. Let h be 22/429*k/(-16)*6. Which is smaller: h or 0?
0
Let b be 944/(-30) + (-2 - (-96)/45