b + i. Let w be b/(-21) - 1/7. Is -5 bigger than w?
False
Let u = -10.3 - -10.4. Which is bigger: u or 35?
35
Suppose 21*n + 216 = 20*n. Is -214 greater than n?
True
Let z(m) = -m**3 - 5*m**2 + 19*m + 36. Let r be z(-7). Let f be (-1*4)/(-1 - 0). Let x be 26/(-28) + 2/f. Which is smaller: r or x?
x
Let z = 26 + -3. Let f = z - 22. Which is greater: 0.4 or f?
f
Let p = -19 + 10. Let b = -5 - p. Suppose 0*o + 3*o + b*h - 10 = 0, -5*h + 18 = o. Are 2 and o non-equal?
True
Let q(n) = -n**3 + 3*n**2 + 2*n - 1. Let v be q(3). Let z(d) = 16*d + 176. Let y be z(-11). Are y and v nonequal?
True
Suppose 8*g - 137 + 129 = 0. Which is greater: g or -1/322?
g
Let x = 8 + -12. Let q = x + 3.8. Suppose -2*b - 2*u + 6*u = 18, -2*b = -3*u + 14. Which is smaller: q or b?
b
Let r be (-90)/20*4*1. Let a = 0.3 + 4.7. Let l = -4 + a. Which is greater: l or r?
l
Let d be 2 + -4 - (-3 + 6). Let a be (-20)/(-8)*4/d. Which is smaller: -7/5 or a?
a
Let f be (-2)/3 - 274/(-6). Let y = 29 - f. Suppose 15*r - 583 = -838. Is y != r?
True
Suppose 0 = -n + h - 2 - 9, -2*h + 4 = 0. Do n and -1.5 have different values?
True
Let n = 0.18 - -0.1. Let x = n + 18.72. Let r = x - 20. Does -1 = r?
True
Let l = 93.26 - 86.2. Let q = l + -7. Let s = q - 0.46. Which is bigger: s or 0.1?
0.1
Let j(f) = -f**3 - 9*f**2 + 9*f - 9. Let l be j(-10). Let i be -5 - -5 - (25/2 - l). Is i > -12?
True
Let z be 164/123*(3 - 15). Let y be 31/(-2) + (-1)/(-2). Are y and z nonequal?
True
Let a = 23 + -23. Let d(t) = 4*t - 1. Let q be d(a). Is q < 6/35?
True
Let j = 8 + -11. Let i be j/6 + 2/4. Let x(m) = -m**3 + 5*m**2 + 5*m + 8. Let o be x(6). Which is bigger: o or i?
o
Let r be (-8)/20*10/4. Which is smaller: r or 2/315?
r
Let o be ((-2)/(-6))/(3/33912*12). Does o = 315?
False
Let o be -1 + (-5 + 327)/(-7). Is o greater than or equal to -0.3?
False
Let j be 268065/(-1050) + -1 + (-1)/(-2). Do -255 and j have the same value?
False
Suppose 3*h = -5*k - 0*k + 15, -5*k + h + 15 = 0. Suppose 3*g - 2*g = k*w - 31, -5*w = -3*g - 81. Is -22 greater than g?
False
Let q be 5/(-1 + 0)*-1. Let y be ((80/(-36))/q)/(-2). Is -1 greater than or equal to y?
False
Suppose -9 = -q + 2*q. Let g be ((-6)/q)/((-77)/(-84)). Which is bigger: 0 or g?
g
Suppose -4*p + 3*x - 4*x + 7 = 0, -5*p + 3*x = 4. Which is smaller: p or 2/47?
2/47
Let v = -86 + 93. Let b be (-3 - (-332)/108)*(1 - v). Which is smaller: b or 6/11?
b
Let u be (6 - 1)*(-3584)/480. Which is greater: -37 or u?
-37
Let g be ((-8)/6)/((-2)/(-24)). Let f = 67 - 63. Suppose -3*b = f*y + 64, b + 0*b + 4*y = -32. Is b at most as big as g?
True
Let c(j) = j**3 + 3*j**2 + j. Let x be c(-3). Let r be (-2 - -6) + 1 + x. Suppose r*n + 18 = -0*n. Is -9 > n?
False
Let k(w) = -2*w. Suppose -y + 5 = h + 2*y, 5*h - 4*y + 13 = 0. Let b be k(h). Let g be b*(0 + -3 - -2). Are -6/11 and g equal?
False
Let n be ((-2)/4)/(12/(-264)). Let a = -9 + n. Let x be (-14)/(-10) + 6/10. Do a and x have the same value?
True
Let g = 14 - 13.2. Let m = g - 8.8. Let s = 5 + m. Which is bigger: 0.2 or s?
0.2
Let p = 255 - 248. Is p not equal to -25?
True
Let c be 12*8/(-16)*(-4)/(-3). Is 4 smaller than c?
False
Let h be -3 + 10/(-2) - -95. Does h = 89?
False
Suppose -3*t - 122 = 2*j, 5*j = 2 + 8. Which is greater: -44 or t?
t
Let b = 2 + -3. Let y = -3/241 - 193/3856. Is y >= b?
True
Suppose 0 = -5*w - 4*l + 1 + 2, 3 = 3*w + 3*l. Let t = 4.4 - -1.6. Let g = t - 15. Which is smaller: w or g?
g
Suppose 27*t - 37*t - 10 = 0. Let o be (-2)/8 - (-6)/(-8). Let b be 4/7 + 1/o. Is b greater than t?
True
Suppose 25*r - 4347 = 48*r. Which is greater: -3 or r?
-3
Let y(l) = -l**3 - l**2 + 1. Suppose 4*v + 3 = 15. Suppose -2*k - k = -v. Let b be y(k). Which is smaller: b or 0?
b
Let d(h) = 2*h + 21. Suppose 0*l + l + 10 = -2*p, 4*p = 0. Let v be d(l). Are -2/117 and v non-equal?
True
Suppose 2*c = -4*f + 1136, -2*f + 6*f = 3*c - 1704. Is c bigger than 568?
False
Let b be 100/75*(2 + (-45)/24). Is 2 greater than b?
True
Suppose -n = -5*c - 25, -3*n + 15 = -3*c - 4*n. Let y(s) = -2*s - 9. Let h be y(c). Let k be (h/2)/((-1)/(-6)). Is k less than or equal to 3/2?
False
Suppose 0 = -2*y + 6, w + 2 = y + 4*y. Let j = w - 13. Suppose j*b = -b. Which is bigger: -1 or b?
b
Let b = 90 + -631/7. Let u = -15 + 10. Is u smaller than b?
True
Let l(q) = 25*q**2 + 51*q + 50. Let v be l(-1). Which is greater: 48 or v?
48
Let z(r) = r**3 - 6*r**2 + 2*r + 2. Let b be z(4). Suppose 0 = -9*n + 221 + 301. Suppose -3*m - 1 = -5*d + n, m = 4*d - 15. Is b != m?
True
Suppose -h + 5*o - 18 = 0, -6 - 4 = -h - 2*o. Suppose -h*j + 4*j = -52. Let x(k) = -5*k + 14. Let z be x(8). Is j not equal to z?
False
Let b(z) = 2*z**2 - 5*z. Let a be b(-4). Is 52 smaller than a?
False
Suppose z = b + 2*z + 4, 3*b - z = 8. Is b at least as big as -62?
True
Let z = -1222 + 1221.827. Does z = -1/3?
False
Let s(q) = q**2 - 10*q + 6. Let x be s(10). Let a be (12/(-7))/(x/(-21)). Let y be (4 - a) + (1 - 0). Is y at most as big as 2/37?
True
Suppose o + 3*n + 4 = 21, 4*n + 66 = 5*o. Let x(f) = 6*f - 20. Let j be x(6). Is j at least o?
True
Let x = -34 + 11. Let v = -27 - x. Which is greater: -13/4 or v?
-13/4
Let a = 0.5 - 0.2. Which is smaller: a or 1?
a
Let c be (6/16)/(1020/27472) + 4. Is 15 smaller than c?
False
Let m be (33/66)/(-2 - (-5)/2). Which is smaller: -3/23 or m?
-3/23
Let l be ((-27)/360)/(18/(-4)). Let b = l + 11/60. Which is greater: b or -1?
b
Let l = -13 + 8. Let q = l - -5.1. Let v = 0.8 + -0.7. Are v and q equal?
True
Let c be 10/60 + (-2)/12. Let y = 9/2 + -95/22. Which is smaller: y or c?
c
Let w(m) = m**3 + 9*m**2 - 12*m - 18. Let k be w(-10). Suppose 5*s = -4*v + 17, -v - k*v + 6 = -3*s. Which is bigger: v or 7?
7
Let h be (3 - -1)/((-226)/(-3)). Let p = h - 532/5763. Let u = 2062 - 2061. Which is smaller: p or u?
p
Let t be (-219)/(-146)*((-2)/(-12) + 0). Are -48 and t equal?
False
Let s = -5 - -5. Suppose -x + s*x + 2 = 0. Let f be 1/x + (-42)/12. Which is greater: -5 or f?
f
Let c be ((-8)/5268)/(4/6). Let j = c - -889/4829. Let f be 2/(-3) - (-5)/3. Which is greater: f or j?
f
Let f = 602.0681 + -0.0681. Which is greater: -0.2 or f?
f
Let p = 113 + -240. Let u = -125 - p. Is 0 not equal to u?
True
Let v = -38 - -20. Which is bigger: v or -145/8?
v
Let j be (-35)/105*(1 + -2 + -11). Suppose 2*x = 3*z + 19, -3*z + 8*x - 17 = j*x. Which is bigger: z or -4?
-4
Let a(s) = -s**2 - 10*s - 7. Let w be a(-6). Suppose -3*i + 0*i - 2*u = -14, -3*u = 4*i - w. Let t = 37 + -31. Which is greater: t or i?
i
Let j(t) = -t**2 + t + 2. Let s be j(2). Let m = 5 + -4.97. Let v = 0.14 - m. Are v and s equal?
False
Let n be 1/(-4) - 19/4. Let i(l) be the first derivative of l**2/2 + 2*l + 6. Let j be i(-7). Is n >= j?
True
Let m = 2749370 + -68723611/25. Let j = m - 851/2. Which is smaller: 1 or j?
j
Let m = 238/3 + -3331/42. Let j = m + 97/42. Let x = 11/6 - j. Which is bigger: x or 1?
1
Suppose -2*p + 0*w - w + 8 = 0, -3*p + 13 = 2*w. Suppose 8*g = 9*g - 2*v + 9, -10 = -2*g - p*v. Which is greater: 1/88 or g?
1/88
Let j be (2 + 1)/((-24)/16). Let h = 15 + -9. Which is bigger: h or j?
h
Let v(t) = -t + 39. Suppose -l - 3*i = -4, -5*l - i + 64 = 3*i. Let m be v(l). Which is greater: m or 25?
25
Suppose 5*u - j - 2*j - 252 = 0, 0 = 4*j + 16. Let b = u - 59. Is -10 bigger than b?
True
Let r(i) = -i**2 + 14*i - 48. Let h be r(5). Which is smaller: 0.035 or h?
h
Suppose -5*p - 3*t = -t, -16 = 3*p - 2*t. Let v = 9 + p. Suppose -5*j - 2*z - 5 = -24, 2*z + 31 = 5*j. Do j and v have the same value?
False
Suppose -19 = -2*j - 21. Is 2/251 equal to j?
False
Let q = -144 + 143. Which is smaller: 1/225 or q?
q
Suppose 0 = 3*b - 0*b - 24. Suppose -3*l - b = 31. Let o = l - -11. Is o > -3?
True
Let k = 180 - 181. Which is greater: k or -65?
k
Let p be 528/18 + 3 + 1. Which is greater: p or 32?
p
Suppose 3*a + 2*m - 9 = -1, -4*a - 4*m + 8 = 0. Suppose a*h + 80 = 3*z, 2*h - 4*h = 5*z - 142. Is z less than 28?
False
Let k = 15 - 13. Suppose u = 3*h + 4 - 10, k*h + 17 = 3*u. Suppose 4*z = u + 7. Which is greater: 2 or z?
z
Let m(s) = 83*s + 258. Let f be m(-3). Is 77/9 < f?
True
Let z = -58.7 - -41.4. Let o = z + 15.3. Let n = 0.2 + -0.3. Is o at least as big as n?
False
Let z(u) = u**3 + 7*u**2 + 4. Suppose 0 = -2*b - 9 - 5. Let h be z(b). Let w be (h/10)/(24