 r?
r
Suppose 0 = -4*l + 6 + 2. Suppose -l*b = -0*b + 5*y + 367, 0 = 2*y - 2. Let w = b + 1305/7. Which is smaller: -1 or w?
-1
Let i be 1*4*(-5 + 6). Suppose 2*b - 4 = i. Let t = b - -2. Is t less than or equal to 7?
True
Suppose 5*y = -3 + 8. Which is smaller: 2 or y?
y
Suppose 0 = n - 0*n - q - 1, 0 = 4*q - 16. Let u = 8 - n. Suppose 13 = -4*g - g - l, 7 = g - u*l. Is -2 smaller than g?
False
Let o(p) = 4*p**2 + 2*p + 1. Let j be o(-1). Suppose -j = -2*s - 1. Which is smaller: 3/5 or s?
3/5
Let q = 2.78 + -0.48. Let n = 2 - q. Let g = 2/5 + -4/35. Is g less than n?
False
Let v = 6 - -8. Let u(m) = -9*m - 59. Let x be u(-8). Which is smaller: v or x?
x
Suppose g - 15 = -4*g. Let i be 6/(-2) - (-20 + 15). Which is smaller: i or g?
i
Let h = -529/3 + 176. Is -4 less than h?
True
Suppose -14*r + 18*r = 0. Which is bigger: -0.8 or r?
r
Let v = -2 - -8. Suppose v*d - 4*d = -6. Let x be 11/4 + d*1. Which is smaller: x or 1?
x
Let z = -919/9 - -102. Is -0.1 < z?
False
Let k = 33 - 32.8. Which is smaller: 0.8 or k?
k
Let o = 5 + -9. Let l be 52/(-8) - -3 - 0/2. Which is smaller: l or o?
o
Let a be (-75)/(-10)*4/3. Is 2 >= a?
False
Suppose -l = 36 - 38. Which is greater: l or 6/5?
l
Let p(l) = l**3 - 11*l**2 + 10*l + 2. Let v be p(10). Let c be (v/(-6))/(2/3). Let z = 2.5 - 3. Is z less than or equal to c?
True
Let f = 3 - 3.3. Let q = 5.8 - 6. Let a = f - q. Which is smaller: a or 1?
a
Let f(m) = -m**3 - 2*m**2 + 2*m + 1. Let b be f(-3). Suppose -b = -3*d - 0*a - a, 2*d = -a + 4. Is d at least 1/3?
False
Let h(a) = -a**3 - 6*a**2 + 7*a - 1. Let f be h(-7). Are -1/14 and f equal?
False
Let x = -45 - -31. Is -0.1 at most as big as x?
False
Let n be -3 - ((-10)/(-15))/((-4)/222). Does n = 35?
False
Let n = 2/4367 - -82943/65505. Is n at least as big as 2?
False
Let m = 5/29 - 155/58. Let h(a) = 3*a + 3. Let s(b) = b**3 + 7*b**2 - 8*b - 2. Let d be s(-8). Let y be h(d). Which is smaller: y or m?
y
Let w = 0.16 - 5.16. Let j = w - 0. Let n be ((-1)/3)/(1/(-2)). Which is bigger: n or j?
n
Let m be ((-2)/2*-1)/1. Let f = -0.59 + -0.41. Is f <= m?
True
Let k = -22 + 23. Which is smaller: k or -3/8?
-3/8
Let m be -2*(-3 - 22/(-4)). Is m equal to -5?
True
Let b = 11 + -11. Is b at least 1.1?
False
Let z = 2.01 + -2.1. Let f = z + 0.09. Is -2 equal to f?
False
Let m be -8*((-8)/(-96))/(13/(-2)). Is 0 less than or equal to m?
True
Let z = -30 + 29. Is z at least as big as 3/20?
False
Suppose 25 = 4*t - 5*m + 2*m, 4*m + 28 = 4*t. Let k be 6/t*(1 + 1). Suppose k*s - 5*w - 21 = 0, 4*w = -5*s + 4*s - 10. Which is smaller: 3 or s?
s
Let x = 0.04 + -7.04. Let t = 5 + x. Does 0 = t?
False
Suppose -2*k + w = 6, -4 - 16 = 5*w. Let s(h) be the first derivative of -h**3/3 + 7*h**2/2 + 13*h + 3. Let q be s(9). Is q at most as big as k?
True
Suppose r - 69 = 2*w + w, -5*w - r - 107 = 0. Is -23 bigger than w?
False
Let o be (6/(-4))/((-3)/(-4)). Let m be 0/(2*1/o). Let w = 315 - 4093/13. Are m and w equal?
False
Suppose -5 = -a + 4*h, 2*a + 3*h - 10 = 8*h. Suppose -3*z + 11 = -a*m, 4*m = -0*z - 2*z - 22. Let q be -1 - (2 - 1)/1. Do z and q have the same value?
False
Let p(m) = m**3 + m**2 + 347. Let r be p(0). Let v = r + -2087/6. Let s(x) = -x - 6. Let i be s(-4). Is i equal to v?
False
Let n be 0 + 3 + (-1)/((-4)/352). Is 91 bigger than n?
False
Let x = -32046 - -2916052/91. Let p = -8/13 - x. Which is greater: 2 or p?
2
Let g be ((-5)/405*6)/(2/3). Suppose 0 = -4*j - 5*y + 16, -2*j + 3*y = -j + 13. Is j greater than g?
False
Let d be 0 - (-4 - (-1)/(4/16)). Is d <= -1/149?
False
Suppose v - 9 = -8*v. Are 1/68 and v unequal?
True
Let k be (-3)/(-4) - (-90)/(-24). Let p be (-12)/(5 + k) + 3. Is p not equal to -3?
False
Let u be 0 - 0 - -2 - 1. Let k(p) = -3*p**2 + 11*p - 8. Let s(b) = -7*b**2 + 23*b - 16. Let g(f) = -9*k(f) + 4*s(f). Let t be g(-8). Does u = t?
False
Let b = -80 - -132. Is b < 51?
False
Let m be 2/4 + (-5)/(-2). Let h(a) = -a**3 + 2*a**2 + 3*a + 1. Let t be h(m). Let r = 0.03 - 0.08. Which is bigger: r or t?
t
Let u be (0/(-2) - -2) + 2. Let t(c) = -c + 2. Let s be t(-4). Suppose 0 = -5*q + s + 9. Which is smaller: q or u?
q
Let x(u) be the second derivative of u**5/20 + u**4/4 - u**3/2 + 2*u**2 - 5*u. Let w be x(-4). Is 0 at most w?
True
Let w = -12 + 11.86. Let p = 0.86 - w. Which is smaller: p or -2?
-2
Let f be ((-20)/(-50))/(12/10). Is f != 1?
True
Let y(h) be the first derivative of -h**3/3 + h**2/2 - 2*h - 1. Suppose 3*n = 8*n. Let t be y(n). Which is smaller: -1 or t?
t
Let b = -39 - -38.8. Which is smaller: 0.2 or b?
b
Let s = -59 + 61. Is s greater than or equal to 9/16?
True
Let a = 0.25 - -0.75. Is a <= -0.3?
False
Let o be ((-12)/(-8))/(7/2). Suppose 0 = -3*p + 5*p - 4. Suppose p*w = -3*w. Is w less than or equal to o?
True
Let t be (1 - (3 + -1))/1. Let w = -123/295 + 1/59. Is w less than or equal to t?
False
Suppose -m - c + 1 = 0, -4*m - 3*c = -8*c - 4. Which is greater: 2/271 or m?
m
Suppose s - 3*a - 36 = -1, 2*s + 2*a = 70. Let y be 1/(((-3)/s)/(-3)). Suppose -d + 0*h = 4*h - 18, 0 = 5*d - 5*h + y. Is -1 smaller than d?
False
Let x = -31 + 32. Are x and -2/15 nonequal?
True
Let r = -2 - -3. Let v be (0 + 4/10)*r. Is -3/14 greater than v?
False
Suppose -3 = -9*q + 6. Which is greater: q or 1/63?
q
Let n(r) = r**3 - 6*r**2 + 7*r + 5. Let o be n(4). Let q = -1 + 1. Which is greater: q or o?
o
Suppose -2*g - 4*u - 21 = -3*g, -1 = 4*g + u. Suppose 3 = 2*c - g. Does 6/7 = c?
False
Let v = -9/5 + 89/55. Which is smaller: v or 1?
v
Let c = 4 + -3. Let p = 13/9 + -109/63. Is c not equal to p?
True
Let q(o) = 8 - 4*o + 3*o + 0*o. Let n be q(9). Is n equal to 1/6?
False
Suppose -2*u + 0*u = -m - 3, -4*u - 5*m = 29. Is u <= -2/3?
True
Let l be (-2 - -1)*0 - -10. Let a be l/(-10)*6/7. Let u = -3 + 3. Which is smaller: u or a?
a
Let j = -18 + 57. Which is greater: 38 or j?
j
Suppose 8 = 2*z - 0*z + 4*s, -5*z + 20 = -5*s. Let o = z - 5. Let l be o*-3*2/(-14). Is 1/2 greater than l?
True
Let d be (-4 + 0)/((-2)/(-3)). Let r be (-15)/d*12/(-10). Let i be (4/(-3))/(46/r). Which is greater: 1 or i?
1
Let h be (-2)/3 - 80/24. Let t be (-4)/(-56) + (-2)/h. Suppose -1 + 3 = q. Which is smaller: t or q?
t
Let d be ((-4)/6)/(2/(-9)). Let m = -4 + d. Let o be 4*m*6/16. Is o <= -1?
True
Suppose y + 14 = -5*r, 7*y - 4*y - 12 = 3*r. Let p = -1336610/9 - -148722. Let o = p + -210. Is y > o?
True
Let d be 11/9 + (-2)/9. Let c = -3 - d. Let r be ((-1)/c)/((-6)/(-16)). Do 2/5 and r have the same value?
False
Let m = 5 + -1. Suppose 2*v = 4*q - 4 + 26, -5*q + m*v - 26 = 0. Which is smaller: q or -4?
q
Let k = -0.3 + 0. Let o = 17 - 7. Let f = o + -9.9. Is f at most k?
False
Let z = -437/364 + 3/52. Suppose 2*v - 2*p - 3 = -9, 0 = v - 5*p + 11. Is z <= v?
True
Let x(b) be the third derivative of b**4/24 - 3*b**3/2 + b**2. Let m be x(8). Let s be -1 - ((m - 1) + 1). Is 0 != s?
False
Suppose 2*v = 4*t - 896, 5*t - 3*v = -0*t + 1122. Let z be (24/16)/(t/(-8)). Is z at least as big as -1?
True
Let i(p) = p**2 - 6*p - 6. Let h be i(8). Let j(v) = v**2 - 9*v - 5. Let o be j(h). Does 4 = o?
False
Let x = 18 + -26. Let u be x/(-2 - 0/(-2)). Is 3 > u?
False
Let j be ((-12)/340)/(3/(-2)). Let a = j - -112/2465. Which is bigger: a or -1?
a
Let d(q) = -q**3 - q**2. Let g(k) = 7*k**3 + 2*k**2 - 5*k - 2. Let h(i) = -6*d(i) - g(i). Let r be h(5). Which is smaller: 3 or r?
r
Let p be -1*(-2 - (-6)/(-2)). Suppose -2*x - i + 12 = -0*x, 5*i = p*x - 45. Which is smaller: 6 or x?
6
Let u = 0 - 0.06. Let b = 2.94 - u. Which is smaller: -2/5 or b?
-2/5
Let n be 2 + (0/(-3))/2. Suppose -n*l + 7 = 5*f, 0*l + l + 13 = 3*f. Which is smaller: 1 or l?
l
Let b(h) = -h - 4. Let u be b(-5). Suppose -6*o + 3 = -9*o. Which is greater: o or u?
u
Let n = 3 + 0. Which is smaller: n or 1?
1
Suppose 2*h = 2*w - w - 4, -4*w + 4*h + 20 = 0. Is 0 not equal to w?
True
Suppose c - 71 = -4*w - 0*c, -c = w - 17. Let d = w + -160/9. Let k = 2 - 1. Are k and d equal?
False
Let o(f) = -36034*f. Let n be o(1). Let t = 3351128/93 + n. Let l = t - -1/31. Is l <= -2?
False
Suppose 15 = -7*w + 2*w, 0 = -3*t - 5*w + 15. Let s = -11 + t. Let b = 11 - 97/9. Is s != b?
True
Let d(z) = -z**2 + 28*z + 64. Let j be d(28). Is 63 bigger than j?
False
Let v = -9696/1643 + 282/53. Is v at most as big as 0?
True
Let v = 907 + -7265