28 + 28. Does 1/36 = r?
False
Let h = 19 - 19. Which is smaller: 1.1 or h?
h
Let v = -14 - -14.27. Is 0 greater than v?
False
Let s = -29 + 33. Suppose 0*g + 4*g = 0. Suppose g = s*i + 2*p - 8, 1 = 5*i + 2*p - 8. Is i <= 2/9?
False
Suppose 0*x = -2*a + 2*x + 10, 5*a - 25 = 3*x. Suppose a = 5*p, 6*h - 26 = h + 4*p. Which is smaller: 7 or h?
h
Let n = -82/77 + 18/11. Which is bigger: n or -1/3?
n
Let d = 0.54 + -0.6. Let b = d - -0.07. Let f = b - 3.01. Which is greater: -1 or f?
-1
Let v(u) = u**3 + u**2 - 8*u - 6. Let b be v(-3). Is 16 >= b?
True
Suppose -4*v - 12 = -3*w, 4*v = 2*w + 3*v - 3. Suppose w = -5*m + 2*m + 6. Is m <= 3?
True
Suppose n - 1 = 2. Suppose -4*h + 3*h - n = 0. Which is bigger: h or -1?
-1
Let y = 18 - 8. Let o be y*1/(8/(-12)). Which is greater: -14 or o?
-14
Let v be (-3)/(-10)*(2 - 4). Which is greater: 2 or v?
2
Let r be -4 + (-33)/(-30) - -3. Which is greater: 1 or r?
1
Let p = 2 - 2. Let n = 6 + -5. Do n and p have the same value?
False
Suppose -4*r - 8 = -6*r. Suppose r*p = -j + 16, 2*p - 18 = -3*j - 0. Suppose -5*n - j = -n. Is n smaller than 2/11?
True
Suppose 6 = 3*d + 3*z, 0*d - 2*z + 12 = 4*d. Let m(b) = b**3 + 8*b**2 + 6*b - 5. Let c = 0 + -7. Let f be m(c). Is f less than d?
True
Let f = 3 - -2. Is 5 at most f?
True
Suppose -5*o - 3*q = 10, -o - 6 = 3*o + 2*q. Is o smaller than 2?
True
Let j(k) = 2*k**3 + 31*k**2 - 17*k - 16. Let q be j(-16). Is q less than 4?
True
Let d = -22 - -37. Let b = d - 12. Let q = -0.2 + 0.3. Which is greater: b or q?
b
Suppose 0*s = 2*s - 6. Suppose -12*g + 9*g + s = 0. Which is bigger: g or 9/4?
9/4
Let j(h) be the third derivative of -h**4/24 - 3*h**3/2 + 2*h**2. Let r be j(-10). Let m be (r*-1)/(3/(-12)). Is 3 != m?
True
Let j = -124 + 368/3. Are -2 and j non-equal?
True
Let m = 3 - 3. Suppose m*i - 12 = -4*i. Let z = i - 2. Is z smaller than -3?
False
Let t be (-4)/3*9/(-6). Let v be t/11 - (-32)/(-418). Is v less than or equal to -1?
False
Suppose -4*i = -4*s + 12, -2*s + i = -3*s + 9. Let r be (-3 - (-1 + 1))/1. Let d = 2 - r. Which is bigger: d or s?
s
Suppose 0 = 2*f + 36. Let o be 4/f + 76/18. Suppose -u = o*u. Which is greater: u or -4/7?
u
Let i be 6/(-14)*2/(-3). Suppose 0*k - 4 = 4*k. Which is bigger: i or k?
i
Let d = -2/39 + -23/312. Let b(u) = -2*u - 17. Let s be b(-8). Is s less than d?
True
Let l = -32 + 30. Which is smaller: l or -0.2?
l
Let b be (1/(-3))/((-4)/3). Let x(q) = q**3 - 5*q**2 + 5*q - 5. Suppose -4*m + 28 = 5*s, 4*s - 5*m - 9 + 3 = 0. Let r be x(s). Are b and r equal?
False
Suppose v = 2*v. Let r(y) = y**3. Let z be r(v). Let a be (-1)/2*(-1 - 0). Are a and z non-equal?
True
Let i = -1.25 + 0.05. Let h = 1.1 + i. Is -0.3 at most h?
True
Let h be (-99)/15 + (-8)/20. Is -6 > h?
True
Suppose -5*f - 9 = -2*f. Which is bigger: f or -8/3?
-8/3
Let j be (-2 + -6)*(-1)/2. Suppose 4*y = 5*q - 16, 4*y - j = -2*q + 5*y. Which is smaller: 1 or q?
q
Let d = -3.2 - -3. Suppose 7*q - q = 0. Which is smaller: q or d?
d
Let m = 0 + 0. Let b = m + -2. Let x(n) = -n**3 + 3*n**2 - 2*n - 1. Let d be x(2). Which is greater: d or b?
d
Let c(w) = -w**2 + w. Let i be c(1). Let l be (0 - 0) + (i - 0). Let r be 2/(-30)*(-8)/(-20)*5. Are r and l equal?
False
Let z be -2*(-3 - -1)/(-2). Which is greater: 3 or z?
3
Let f = -16.8 + 17. Which is bigger: f or -6/7?
f
Let i = -3 + 4. Suppose -7*b + 2*b = 0. Suppose -4 = 2*y - b. Which is bigger: y or i?
i
Let s = -3 + -1. Let q = s + 4.04. Let w = q - 0.04. Which is bigger: 2 or w?
2
Suppose 17 = -4*p - 35. Let d = p - -7. Let x be 8/(-3) + (-4)/d. Is x at least -1?
False
Let w = 1245 + -21171/17. Let o(r) = r**3 - 5*r**2 + 3*r. Let t be o(1). Which is greater: t or w?
w
Let q be 3/9 - (-2)/(-6). Let s(a) = a**3 + a - 7. Let v be s(q). Suppose l - b + 14 = 7, -2*b + 26 = -4*l. Is l at least v?
True
Suppose 0 = 3*c, -4*o + 3*o + 4*c - 2 = 0. Let t be o/4*(-2 - -2). Is t at most -7?
False
Suppose 6*o = o + 20. Suppose 7*v - 3*v - 16 = 0. Is o < v?
False
Let g = 115 + -93. Which is greater: g or -2/13?
g
Let r(x) = -x**3 + 4*x**2 + 2. Let t be r(4). Is t smaller than 2?
False
Suppose 3*j - 4*y = 10, -3*j + 2*j = 4*y - 30. Suppose -5*r + 3*r = -3*z - 21, z = r - 10. Are r and j equal?
False
Let r be (-4)/20 - (-279)/(-30). Which is smaller: r or -9?
r
Let p(i) = 249*i**2 - 3*i - 2. Let v be p(-2). Let w be v/(-16) - (-2)/(-4). Let j be (-120)/w + (-1 - 1). Is j >= 1?
False
Let g(a) = -a**3 + 4*a**2 - 3*a + 1. Let u be g(2). Suppose 2*t - 22 = -2*x, 0*x + 4*t - 51 = -5*x. Suppose 0 = 4*b - u + x. Is b less than -3/8?
True
Let j = 49 + -41. Which is smaller: j or 0.3?
0.3
Let u = -0.04 + -0.96. Let x = -0.5 + u. Let q = x + -0.5. Which is bigger: q or 0?
0
Let j = 1 + 0. Let l = 45750/43 + -1064. Which is smaller: l or j?
l
Let h(i) = -i + 1. Let t be h(-3). Suppose -2*b - 2*s = 12, t*b - s + 13 = -16. Which is smaller: b or -9?
-9
Let a(j) = j. Let k(f) = 3*f - 6. Let i(w) = 4*a(w) - k(w). Let x be i(-4). Let o = -2 + 2. Is x >= o?
True
Let y = -0.5 + -1.5. Let h = 3 - 0. Let u = 1 - h. Is u greater than or equal to y?
True
Let k be (2/(-18))/((-1)/3). Let u = -3680 + 11179/3. Let y = u - 46. Is k at least y?
True
Let h = -55 - -58. Which is smaller: -5 or h?
-5
Let t be (0 - 36/(-3))/2. Is 7 less than or equal to t?
False
Let y be 9/(-12)*2*-2. Let v be (8/(-6))/(16/(-24)). Is v at most y?
True
Let c = -4 + 7. Let g = -10 + c. Does g = -7?
True
Let o = 4 + -3. Let r = -1.6 - 0.4. Let u = r - -1.9. Which is smaller: o or u?
u
Let n = 58 - 61. Do -3 and n have the same value?
True
Suppose 4*m + 4 = -4*o, -2*o - 5*m - 21 = -o. Suppose o*c - 55 = -c. Suppose -z - 2*n = -c, -3 = -5*z - 5*n + 27. Do z and 2/7 have the same value?
False
Let x be 3 - (0 + 3 + 11). Is -9 bigger than x?
True
Let l = -23 + 23. Which is greater: -9/7 or l?
l
Let q(k) = 12*k + 21. Let m be q(-5). Which is smaller: m or -38?
m
Let m = -2 - -7. Suppose -1 - m = o. Let p be (-4)/(-6) - 2/o. Is p >= 2/15?
True
Let f be 8*1/(6/15). Suppose 0*p = -4*p + f. Suppose d + p = 2. Is d equal to -4?
False
Let u be 1/(-4) + 347/(-8932). Let d = 1/319 + u. Is d at least as big as 0.1?
False
Let u = 1.5 + -0.4. Let r = -0.1 + u. Does r = 2/15?
False
Let s(c) = -c**2 + c - 1. Let v be s(-3). Let i = v - -38/3. Which is bigger: -2/7 or i?
-2/7
Let l = -179 + 174. Is l > -9?
True
Let d be 2*(-8 - 5) + 1/1. Is d at least 2/7?
False
Let u = 34 + -33.86. Which is greater: -1/2 or u?
u
Let l = -2 + 3. Let w = -4 + -4. Let d(x) = -x**2 - 7*x + 10. Let t be d(w). Which is bigger: t or l?
t
Let a be 4/(-4) + 1/1. Suppose -r + 4 + 1 = a. Suppose c = -r*t - 13, -2*t - t + 4*c = -6. Is -1 <= t?
False
Let v = 103 - 92.4. Let w = 10 - v. Let p = w - -0.7. Which is bigger: 0.8 or p?
0.8
Suppose a - 26 = 3*a - 2*g, -a + 4*g = 22. Let n be (-4)/a + (-13)/(-5). Suppose 4*b = 2*l + 1 - 25, -25 = -5*l + 3*b. Which is bigger: l or n?
n
Suppose 2*f + 2*f = 0, 0 = 2*m + 5*f + 18. Let y(p) = p**2 + 8*p - 10. Let r be y(m). Let a be r/(-6) - 2/(-4). Is 1 bigger than a?
True
Let w(m) = -m + 8. Let q = 16 - 12. Let k be w(q). Which is bigger: k or 2/5?
k
Let n be 0 + 26/14 + 14/98. Which is greater: n or 4?
4
Let d = 27.41 - 0.41. Let j = -19 + d. Is 0 equal to j?
False
Suppose 0 = -g - 3*x - x + 10, 0 = 5*g - 2*x - 28. Suppose h + g = -h. Let s be (1/h)/((-3)/45). Which is greater: 3 or s?
s
Let a = -0.37 + -0.03. Let i = a - 1.6. Do -2 and i have the same value?
True
Suppose 0 = 4*y + 20, 3*y - 70 = -5*s + 7*y. Suppose 0 = -2*d + 8, 5*l + 0*d + d = 24. Suppose -m = l*m - s. Is -1/4 greater than m?
False
Let t = -0.052 - -0.382. Is t < 0?
False
Let a(v) be the second derivative of v**3/3 - v. Let b be a(3). Let o be -2*(b/(-3))/4. Is o < 1?
False
Let m be (19 - 16) + 4 + -1. Suppose 3*h - 17 = 4. Is h > m?
True
Let z be ((-9)/12)/(15/(-36) + 0). Which is smaller: z or 1?
1
Let t = -4981/50180 + 3/965. Let z = t - 2/13. Suppose -1 + 3 = 2*v. Which is smaller: v or z?
z
Let q = 6 + -6. Let o = -1 - -1. Let n = o - q. Which is smaller: n or -0.5?
-0.5
Let s be (1/8)/((-8)/(-12)). Is 1 not equal to s?
True
Let o be (-10)/40 - (-22)/(-8). Is o != -3?
False
Let f = -22 - -26. Suppose -2*v - 3*h + 9 = 0, 0 = f*v - 0*h - 2*h + 6. Is v less than or equal to -5/8?
False
Let o be (-8)/(1 - 1/3). Let x be (o/(-33))/