to b?
False
Let t be (-6)/(-15) + (-8)/(-5). Suppose 3*r = g + 11, -4 = 5*r + 3*g + 1. Is t less than or equal to r?
True
Let y be 3 - (0 + (3 - -6)). Which is bigger: y or 3?
3
Let p = -383/4 - -97. Which is smaller: 2 or p?
p
Let m(r) = r**2 + 5*r + 2. Let p be m(-5). Suppose -h + p*h = 12. Suppose -3*u + h = -0*u. Which is smaller: 3 or u?
3
Let p(o) = o**2 + o. Let w be p(-2). Let u be 1 - w - 3/(-2). Suppose 3*k = 3*z + 2*z - 5, -4*z + 3*k + 4 = 0. Which is greater: z or u?
z
Suppose -3*b = -0 - 3. Let t be -7*-2*b/7. Do t and 2 have different values?
False
Let q(x) = -x**2 - 2*x + 1. Let n be q(-2). Let a = 5 + 0. Suppose -3*d + a = -5*o, 2*o + 2*d = -0*o + 14. Is o greater than n?
True
Let r be (-1)/(4/6 - 1). Suppose -7*u = -12*u. Suppose u = 2*y - 4*g + 8, -y + 0*y = 3*g - 6. Are r and y nonequal?
True
Suppose 0 = -2*j + 4*b, -5*j + 9*b = 10*b. Is 2/95 smaller than j?
False
Let x = 87 + -76. Which is greater: x or -0.7?
x
Let a = -14 - -16. Which is bigger: 3 or a?
3
Suppose -s + 5 = 3*n + 4*s, -3 = 3*n + 3*s. Are 0 and n non-equal?
True
Let x = 2/97 - 592/485. Is -1 at least as big as x?
True
Suppose -2*u = q - 5*u, 2*q = -2*u - 16. Let p be 4 - (4/q + 0). Is p < 5?
True
Let k be (-18)/(-81)*(-14)/(-24). Let s = k - 211/378. Suppose 3*p - 3 = 3. Which is smaller: p or s?
s
Let s = 18 + -22. Let l be 2/2 + s - -12. Is 9 > l?
False
Suppose 2*v - 4*i - 10 = 0, -v - 4*i - 7 = -2*v. Suppose q + 2 = v*q. Which is smaller: 0 or q?
0
Suppose 3*a - 18 = 2*m, 2*m = 5*m - 2*a + 17. Is -14/9 less than m?
False
Let a be 34/60 - (-3)/9. Is 0 less than or equal to a?
True
Suppose -2*x + 3*x + 4 = 0. Let l = 5 - 10. Let r = l + 6. Which is smaller: r or x?
x
Suppose 6*j - 4*g = 3*j + 1, j = 5*g + 4. Is j bigger than 2/31?
False
Let g(i) = -3*i**2 + 79*i - 29. Let j be g(26). Which is smaller: -8/3 or j?
j
Let i = 10 + -7. Suppose i*s = -s - 20. Is s equal to -5?
True
Let b(d) = d + 8. Let n be b(-16). Are -8 and n unequal?
False
Let y(u) be the second derivative of u**3/6 + u**2/2 - 2*u. Let m be y(-3). Suppose 3*n = 4*n + 4. Are n and m nonequal?
True
Suppose 3*d = -y + 9, 3*y + 26 = 3*d + 5. Let x(w) = w**2 - 4 + 5*w**2 + w**3 - 3*w**2 - 5*w - w**2. Let t be x(y). Is 3 smaller than t?
False
Let t be (-2*1)/(0 - -2). Let q = 4 + -2. Suppose -1 + 5 = q*u, -2*y = -u + 2. Which is smaller: t or y?
t
Let r(d) = d**2 - 8*d - 5. Let q be r(9). Suppose -3*x = 2 + 7. Let w = -1 - x. Is w smaller than q?
True
Let z(m) be the first derivative of -m**3/3 + 4*m**2 + 3*m - 1. Let o be z(8). Suppose o*a = -2*a + 5. Which is bigger: a or 2/13?
a
Suppose 0 = -11*q + 10*q + 18. Let x(z) = -z**3 - 8*z**2 - 11*z - 9. Let k be x(-7). Is k greater than or equal to q?
True
Let y(m) = m**3 + 7*m**2 + 5*m - 5. Let q be y(-6). Let i be (q - 3)*(-4)/8. Is 1 greater than or equal to i?
True
Let q = 6.7 - -0.3. Let y = -7.1 + q. Let a = -11/15 + 2/5. Which is smaller: y or a?
a
Suppose 5*i - t - 14 = 2*t, -4*i - 3*t + 22 = 0. Suppose 42 = 6*n - i*n. Suppose -2*y = -2*x - 7 - 3, -5*y = -4*x - n. Is y smaller than 2?
True
Let c(i) = i**3 + 3*i**2 - 6*i - 5. Let z be c(-4). Suppose 0*x + z*x = 9, -2*v + 19 = 5*x. Is 2 at most v?
True
Let f = -12237/4 + 3013. Suppose 2*l - 13 + 105 = 0. Let g = f - l. Is g > 1?
False
Let k be -3*(3 + (-42)/9). Which is bigger: k or 16/3?
16/3
Let f be -1 + (-3)/(-6)*-4. Let n be f + ((-119)/(-6))/7. Are n and -1 equal?
False
Let v(n) = -2*n**3 - 3*n**2 + 3*n + 4. Let b(g) = g**3 + 3*g**2 - 2*g - 3. Let u(d) = 3*b(d) + 2*v(d). Let c be u(3). Is c at least as big as 0?
False
Let v be (18/(-7))/((-2)/48*-9). Which is greater: v or -8?
v
Let l be (25 - 1)*3/(-4). Let b be l/14 - 16/(-56). Which is smaller: b or -6?
-6
Suppose 7*g - 3*g + m - 9 = 0, -4*m = -4. Suppose g*b - 9 = 1. Which is bigger: b or 6?
6
Suppose i + 3 = 1. Let r = -10 - -9. Is r greater than or equal to i?
True
Let a(n) = 13*n + 34. Let c be a(-4). Which is smaller: -16 or c?
c
Let m = 23 + -16. Suppose -2*s = -m*s + 10. Suppose -s*c - c = 0. Which is bigger: c or -2?
c
Suppose 0 = -h - 4*g + 8, 10 = -0*h + 4*h + 5*g. Let n be (-14)/3 + 2 + 2. Which is smaller: n or h?
n
Let i = 6 - 4. Let k be 2 + (-2 + 0)/i. Which is smaller: k or 2?
k
Let h(c) = -c**3 + 2*c + 2. Let f be h(-2). Let g be (f + 0)*(-3)/(-3). Suppose 5*j - 28 = j. Which is smaller: j or g?
g
Let h = -3176/17 + 186. Is h at most as big as -1?
False
Let y = -6 - -5. Suppose -3*b + 0*r = -3*r - 15, 2*r + 10 = -b. Suppose 5 = -5*q + 10, 5*z - 4*q + 4 = b. Is y less than or equal to z?
True
Let v = -54/319 + 3/11. Which is greater: 1 or v?
1
Let r be (32 - 30)*((-318)/(-158) - 2). Which is smaller: r or -1?
-1
Let n = -59 + 42. Let c = 2 + n. Let f = -6 - c. Which is greater: 1 or f?
f
Let i = 6 + -1. Suppose -2*d - 3*f = -3, -i = 2*d - 4*f - 1. Suppose -4*g - 4 + d = 0. Which is smaller: g or 1?
g
Let x = -48 - -49. Is -26 bigger than x?
False
Let d(f) = f**2 - 2*f. Let q be d(2). Let b(v) be the third derivative of v**5/60 - 11*v**4/24 + 11*v**3/6 - v**2. Let l be b(10). Are l and q unequal?
True
Let k = 1/49 + -15/49. Let x be 363/204 - (4 - 2). Let c = x + -9/17. Is k bigger than c?
True
Let j = 1867/21206 + -1/922. Is j > 1?
False
Suppose -z - 3*z + 4 = 0. Is z at most as big as 2/31?
False
Let m = -80/17 + 851/170. Which is greater: m or 0?
m
Let w(q) = q**3 - 3*q**2 + q + 2. Let o be w(3). Are o and 7 unequal?
True
Suppose -t - 2*o = 1, 2*t - 5*o + 15 = 7*t. Is t > 12?
False
Suppose 6*n = 129 + 321. Is n < 75?
False
Let t(g) = g**3 + 13*g**2 - 8*g + 15. Let n be t(-14). Which is smaller: n or -70?
-70
Suppose 0 = 4*u + 2*c - 180, c - 209 = -3*u - 75. Let m be (-6)/(-10) + u/(-40). Let p(f) = f**3 + f**2 - f - 1. Let r be p(0). Is r equal to m?
False
Let q(j) = -8*j + 1. Let z be q(0). Which is smaller: -0.26 or z?
-0.26
Let x = -15 + 15. Suppose 2*g + 2 + x = 0. Let u = 20/3 + -7. Are g and u unequal?
True
Let v be (9/(189/(-56)))/(2/(-21)). Which is smaller: v or 26?
26
Let r = 8.8 - 9. Let g be -7 + (1 - 1) + 4. Is r at least as big as g?
True
Let l = 9 + -18. Let z = -16.5 + 16.5. Is z >= l?
True
Let a be (-2)/(-5) - (-14)/(-10). Is a less than or equal to -31?
False
Let l(w) = 3*w**2 - 4*w + 3. Suppose v + 4 = 5*b + 32, -b = 5*v - 36. Suppose 0 = h + 3*q - v, 3*h - 8 = 4*h - 5*q. Let g be l(h). Are g and 8 non-equal?
True
Let y be (-53)/(-4) + 2/(-8). Suppose y = r + k + 1, -k = 2. Suppose -2 = 2*t + j, -2*t - 3*j + 8*j = r. Which is bigger: -2/3 or t?
-2/3
Suppose 18 = -4*v + v - 3*s, -2*s - 30 = 4*v. Which is smaller: -8 or v?
v
Let c = 3 - 2. Let d = -0.14 + 0.14. Are c and d nonequal?
True
Let p = 16 + -15.7. Which is bigger: -4 or p?
p
Let i = 2 - -3. Let l = i + -6. Which is smaller: -2 or l?
-2
Let s be (-6)/5 - (7 - 6). Is s at least as big as -3?
True
Suppose 0 = -0*z + 2*z + 10. Let h be (8/2 - 3)/z. Which is greater: h or -1?
h
Let r = -0.24 - -0.24. Suppose 0 = -4*z + 3*z. Do z and r have the same value?
True
Let k = 13/18 + -283/342. Is -1 greater than k?
False
Let q = -311/4 + 77. Which is smaller: q or -0.1?
q
Let x = -22 - 32. Let n = -56.1 - x. Let k = -2 - n. Do -0.4 and k have the same value?
False
Let n = 22 + -12. Which is smaller: n or 9?
9
Let o = -8.6 - -10.6. Which is smaller: o or -0.1?
-0.1
Let t be 18/(-5)*10/3. Which is smaller: -14 or t?
-14
Let s = -1 + 2. Let w be (-175)/(-4) - 0/(-1). Let g = w - 44. Is s >= g?
True
Suppose 0 = 3*h - 2*h - 2. Suppose -4*l + 2*l = -12. Suppose -5*v - h*b = 1 - l, 0 = -3*v + b + 14. Do 3 and v have the same value?
True
Let s be (-7)/((-21)/(-4))*3. Let z(w) = 2*w + 7. Let h be z(s). Let u(n) = -n**2 + 1. Let t be u(-1). Which is smaller: t or h?
h
Let h = -5 + 12. Suppose -2*q + 276 = -3*c, 2*c + 4*q - 462 = h*c. Let d be 9/(-15) - 64/c. Are 0 and d nonequal?
True
Let b be (-1)/(-2 - (0 - 1)). Let z = 2 - -1. Let a be (-6 + 0)*z/12. Which is greater: a or b?
b
Let j = 0.05 - -0.01. Let v = j - 1.06. Is -4 less than v?
True
Let a = 3 + -5. Let t = -14 + 14.1. Is a at most as big as t?
True
Let f = 128 - 127. Which is greater: f or -13?
f
Let d(t) = t**3 - 4*t**2 - 7*t + 7. Let j be d(5). Which is bigger: 0 or j?
0
Let n = 0.36 + -0.3. Let j = n - -2.94. Let x = j - 3.2. Is x equal to -2/9?
False
Suppose 0 = 2*l + 2*l - 12. Is l > 3?
False
Let