
r
Let l(j) = -6*j**3 - 1. Let a be l(-1). Let v = -14 + 18. Does v = a?
False
Let h = -4 + 4.4. Let v = h + -0.4. Let f = 0.1 + v. Which is smaller: 2/7 or f?
f
Let s(d) = d - 3. Let h be s(6). Let q be (0/2)/(h - 5). Is -2/9 smaller than q?
True
Suppose 3*n - 2*n - 8 = 0. Which is smaller: 6 or n?
6
Suppose -3*q + 0*x = -4*x - 98, -q = -3*x - 31. Is q at least as big as 34?
True
Let y = -2513/11 - -225. Is -4 equal to y?
False
Suppose 16 = 4*o - 3*n, -2*o - 3*o = 3*n - 20. Suppose 0 = 4*w + 8*g - 4*g - 32, o*g - 35 = -5*w. Let r be 3 - (-1 + -2)/w. Do r and 3 have the same value?
False
Suppose f + 3 = -2*q, 0 = -3*q - 1 + 10. Suppose -2*u - 9 = -u. Is u <= f?
True
Suppose 3*y + 7 = -n, -5*n + 5*y = -10 - 15. Suppose 1 + 3 = 2*s. Does s = n?
True
Let y = -8 + -7. Let a = y + 21. Is a at least as big as 0?
True
Let w = -54 - -13. Do -40 and w have the same value?
False
Let i be (-1)/20 - 2/(-8). Let v(d) = -1 + 5*d**2 - 6*d - 4*d**2 + 2*d - 3*d. Let s be v(7). Is i <= s?
False
Let n be 0 - (72/(-68) - -1). Which is smaller: n or 1?
n
Let s(j) = 4*j**2 + 0*j - 1 - 5*j**2 + 4*j. Let y be s(4). Let n be (0 + (2 - 3))/y. Which is smaller: 3 or n?
n
Suppose -3 = 2*y + 1. Let u be 3/(1/y + 2). Suppose i = 3*i + u. Is -2/5 not equal to i?
True
Suppose -2*h + 7*h + 50 = -2*k, 5*h + 50 = -3*k. Let s = 15 + h. Suppose -5 = s*t - 20. Is 5 >= t?
True
Suppose -q - 4*j + 1 = -0*j, 2*j = 4*q - 4. Suppose -2*o + 3*w = q, -3*w - 3 = -4*o + 4. Which is greater: o or 3?
o
Suppose -z + 20 + 19 = -5*j, 2*z = 3*j + 22. Let n = j - -13. Is n > 5?
False
Let w = -34 - -33. Does w = -3/16?
False
Let q be (-102)/(-5) + (-3)/(-5). Which is bigger: q or 20?
q
Suppose m - 532 = 8*m. Are -75 and m equal?
False
Let z be (-1)/4 + (-340)/(-1232). Is 0 equal to z?
False
Let k = 41 - 37. Let n = 0.3 - -0.7. Is n < k?
True
Let i be 2 + -2 + 0/1. Suppose -5*v - 3 + 13 = i. Suppose v*j - 2*m + 6 = 0, -4*j - 6*m + 23 = -3*m. Which is bigger: j or 0.1?
j
Let j be 6/9*-3 + 86/41. Is j greater than or equal to -0.1?
True
Let g = 15 - 15. Suppose g*v = -v + 6. Are 7 and v equal?
False
Let z = -3 - -5. Suppose z*y = 4*y + 4. Let q be (-18)/(-12)*y/(-39). Is 0 bigger than q?
False
Let f = -3.5 + 0.5. Suppose -m + 0 - 2 = 0. Let b be 1/2*m - -2. Is f >= b?
False
Let h = 0 + -9. Let n be 2/h + 676/72. Let j = -9 + n. Is 0 bigger than j?
False
Let x be (-54)/660 - (-4)/22. Is 0 at least as big as x?
False
Let j = -127 + 126.7. Is -24 at least as big as j?
False
Let t = -1/11 - 28/55. Is t at least as big as 0?
False
Let j = 68 + -206/3. Which is smaller: j or 9?
j
Let l be (-2)/6 - 2/(-6). Let y be (-20)/12*1/(-5). Is l not equal to y?
True
Let y(i) = 5*i + 1. Let z(h) = -h - 1. Let t be z(5). Let v(j) = 14*j + 3. Let d(n) = t*v(n) + 17*y(n). Let o be d(1). Which is greater: 2/9 or o?
2/9
Let z(m) = -m + 31. Let t be z(0). Let p = -157/5 + t. Suppose -c = -2*c. Which is smaller: c or p?
p
Let g be (-76)/(-18) + 10/(-45). Suppose -2*u + 12 = -g*u. Which is bigger: -5 or u?
-5
Let z = 0.17 - 0.37. Let v = z + 1.2. Is v bigger than 0.1?
True
Let w = 339 - 45. Suppose -2*x + w = x. Let o = x + -201/2. Which is smaller: o or -4?
-4
Let g = 76/819 + -1/63. Which is smaller: g or -1?
-1
Let b be -2*(-21)/(-12)*2. Let g = -12 - b. Let h = g - -4. Which is greater: 0 or h?
0
Suppose -3*g = -5*o, -3*g - o = -0*g. Suppose -x - 1 + g = 0. Let d be (-1 - -1)/(0 + 1). Does d = x?
False
Let d(j) = -3*j + 36. Let t be d(12). Suppose 3*c - 4*m + 17 = 0, 2*m - 6 = 2*c + 2. Which is smaller: t or c?
t
Let s be 2 + 87813/18681 + -3. Let a = -4/479 + s. Let v = a - 659/182. Which is smaller: -1 or v?
-1
Let n = 2757/112022 + 1/1418. Are n and -1 nonequal?
True
Suppose -y = -4*r - 16, 2*y = -0*r - r + 23. Let o(p) = p**3 + 14*p**2 + 11*p - 13. Let c be o(-13). Which is smaller: c or y?
y
Let w(r) = r - 7. Let i(l) = -1. Let o(x) = 6*i(x) - w(x). Let d be o(2). Which is smaller: d or -3/4?
d
Let z(l) = -l**2 + 7*l - 2. Let n be z(6). Suppose -5*a + 25 = -n*r + 5, -5*a + 2*r = -10. Is 0.2 bigger than a?
True
Let r = -39 - -40. Let d = 0.05 + -0.08. Is d != r?
True
Let m = 0.8 - 0.5. Let i = -1.3 + m. Let u be 6/(-2) - (2 + -5). Is u > i?
True
Suppose -33 = 4*o + 3*s + 13, 0 = -2*o - 5*s - 30. Is o >= -9?
False
Let g(k) = k**2 + 5*k + 1. Let z be g(-5). Suppose 0 = -2*w - z - 1. Let q = -31 - -30.8. Which is bigger: q or w?
q
Let v(r) = -7*r - 10. Let g(b) = b + 1. Let y(d) = 5*g(d) + v(d). Let f be y(0). Which is smaller: -3 or f?
f
Let h = -0.21 + 2.61. Let o = 0.4 - h. Let k = -197/4 - -49. Is k greater than or equal to o?
True
Let m = 2.28 + -0.08. Let k = m + -2. Is 0.1 >= k?
False
Let a(f) be the second derivative of -f**3/6 + f**2/2 - 6*f. Let o be a(0). Which is smaller: 2 or o?
o
Suppose 2*k - 5 = -5*d, -3*d - d + 4 = 4*k. Are -2/13 and d non-equal?
True
Suppose 5*j + 5 - 25 = 0, -5*j + 25 = 5*s. Which is bigger: s or 5/7?
s
Let g = 64 - 53. Is 11 greater than g?
False
Let x be (29/2 - 0)/((-2)/8). Is x greater than -59?
True
Suppose k + 1 = -3*v + 16, 0 = 3*k + v - 5. Which is smaller: k or -1?
-1
Suppose 3*j - 70 = -25. Suppose -6*r + r = -j. Let v = -9 + 14. Are v and r equal?
False
Suppose 0*r = -3*k - 4*r, r = 0. Which is smaller: 2/265 or k?
k
Let u be ((-5)/10)/(3/6). Let x = -0.7 + 0.3. Which is smaller: u or x?
u
Let f = 142 + -140. Is 7 equal to f?
False
Let m be 1 + (-3 - -1) - 9/3. Do 2/23 and m have the same value?
False
Let p = 0.8 + -0.9. Let m = -4 + 5.7. Let d = m - 0.7. Which is smaller: p or d?
p
Let g = -6 + 7. Let u(y) = -y**3 - 7*y**2 - 5*y + 4. Let p be u(-6). Which is smaller: g or p?
p
Let k be 12/(-9)*6/(-4). Suppose -2*m = -2*a, -2*a - 2*m + 18 = 2*m. Which is smaller: k or a?
k
Let s = -32 - -32. Is s smaller than -4/9?
False
Let g be (-143)/(-2) - (-2 - 1). Let h = g - 72. Which is smaller: 2 or h?
2
Let j = 0.85 + 3.15. Let w = -2 + 3. Let p = w + -0.8. Which is smaller: p or j?
p
Let k = 18 + -29. Let b = -11 - k. Is b equal to -0.2?
False
Let g be ((-6)/(-15))/((-1)/15). Let c(z) = -2*z + 6. Let v be c(6). Is g smaller than v?
False
Suppose 3*c + q = 2*q - 33, c + 4*q = -11. Which is smaller: -8 or c?
c
Let x be 11/12 - (-20)/(-30). Is -29 at most x?
True
Let n(g) = -g**3 + 3*g**2 - 4. Let m be n(3). Let r be 4/(-1) + (15 - 7). Suppose -2 = -3*x + r*p - 20, 3*x + 21 = 5*p. Is m less than x?
True
Let r = -7 - -6.5. Is r <= -2?
False
Let s(r) = -3*r**3 + 8*r**2 - 8*r + 5. Let f(g) = -g**3 - 1. Let d(c) = 4*f(c) - s(c). Let a be d(-9). Let x = 1 + -1. Is a equal to x?
True
Let g = -1.039 - -0.039. Is 2/15 > g?
True
Let g = 34 - 28.8. Let b = 5 - g. Let i(w) = -w**2 + 4*w + 2. Let y be i(5). Which is bigger: y or b?
b
Suppose 0*t + t - 5*n = 7, 6 = 5*t + 4*n. Suppose -s + t*h + 3 = 2, 0 = -5*s + h - 31. Let p = s - -33/5. Is p > 0?
False
Let q(k) = 10*k**2. Let p(l) = l**3 + 5*l**2 - l - 4. Let j be p(-5). Let o be q(j). Suppose 0 = -4*g - 3*d + o, -2*g - g - 4*d = -11. Which is smaller: 0 or g?
0
Suppose -2*b = 4*n - 18, -2*n - b = -5*n + 16. Which is smaller: n or 3?
3
Let f be -1*0*(-2 - -1). Let m be (-4)/21*14/(-12). Is m less than f?
False
Let r be (-2)/(-7) - 4/14. Suppose -5*p + 21 = 3*m, 2*p + r*m - 14 = -4*m. Let i be ((-4)/6)/((-3)/9). Is i > p?
False
Let r be (9/582)/((-3)/(-4)). Let j = 394/291 - r. Let g = j + -2/3. Is -0.1 equal to g?
False
Let w be 6*(2 + 3/6). Let y be 12/w*(-50)/4. Do y and -11 have different values?
True
Let q = 66295979/7280 + -145701/16. Let u = -347/32435 - -3/998. Let l = q - u. Is l != 2/5?
True
Let k be (-4)/72*3*-2. Which is bigger: k or 2?
2
Let h = 0.05 + -0.65. Let m = -2.6 - h. Which is bigger: m or -6?
m
Let p(v) = -v**3 + 8*v**2 - v - 1. Let r be p(8). Let n = r - -7. Is -2 at most as big as n?
True
Let a = -29 - -32. Are 3/2 and a unequal?
True
Let p = -4 - -3. Let z = -1 + p. Let g be (-2 + z)*3/4. Is g less than -3?
False
Let o = -8 - -7. Is o at least 1/24?
False
Let t be (-4)/6*42/(-4). Suppose 0*c - 4 = -c. Suppose 5*r - c = -5*q + 6, 2*r - 3*q = 29. Is r < t?
False
Let v = -0.076 - 0.024. Which is smaller: v or 15?
v
Suppose -4*x = -6*x + 8. Suppose 0 = 7*i - 2*i + x*s - 21, 12 = 3*s. Is -2/13 >= i?
False
Let f be 26/(-10) + 1/(-5). Which is greater: -2 or f?
-2
Let n(t) = -6 + 8 + 8*t + t**2 - 1. Let f be n(-7). Which 