 as r?
True
Let g be (248/16)/(-16*2). Let v = 1/64 - g. Is 2 < v?
False
Suppose -r + 4 = 2. Suppose f = 2*z - 4*f + 9, -4*f + 3 = -3*z. Suppose z*u + 14 = -4*v, 4*v = 3*u + 2*u - 30. Is r at least u?
True
Let x be (-4)/(2*2/(-4)). Let c(r) = -4*r - 5*r**2 + 5*r - 2 + 0*r + r**3. Let z be c(5). Is x greater than z?
True
Let f = 49 + -51. Let s(m) = -m**2 - 4*m - 1. Let r be s(-4). Which is greater: r or f?
r
Let i = 5 - 2. Let r = 45 - 27. Suppose i*y = y - n, -y + 4*n = -r. Is 0.1 <= y?
True
Let r = 0.091 - 0.091. Which is bigger: r or -65?
r
Let p be (12/16*-1)/(-3). Let t = 0.06 + 0.54. Is p <= t?
True
Suppose -4*v + 7*v = 84. Let c be v/6 + -1 + -1. Which is smaller: 2 or c?
2
Let j = -3.34 + 3. Let y = -0.06 + j. Is -2/7 bigger than y?
True
Suppose -8 + 52 = 2*p. Is p equal to 24?
False
Let l(y) = y - 1. Let d(k) = 5*k - 10. Let g(w) = d(w) - 6*l(w). Let p be g(-7). Suppose 0*u + p*u - 8 = -b, -5*u = -3*b - 18. Is 2/7 less than b?
False
Let w = -0.06 + 11.06. Which is greater: w or -0.1?
w
Let x = 1013 + -1005.01. Let i = -0.01 - x. Which is smaller: 0.2 or i?
i
Suppose -4*q + 3 + 5 = 0. Let m be 0/(q*(-3)/3). Let g be (0 - m)*(-4)/(-4). Are 0 and g non-equal?
False
Let u = -0.28 - -2.28. Which is bigger: u or -0.04?
u
Let b be 1 + 1 + 330/(-11). Let a = b + 27. Are -4 and a unequal?
True
Let a(t) = -t**3 + 4*t**2 + 4*t + 7. Let n be a(5). Let p be 3/4 - (n + -1). Let i = -47 + 47. Which is smaller: i or p?
p
Let o(p) = -p. Let l be o(-1). Let r = 0.8 + -0.85. Which is greater: l or r?
l
Let h = 127544/87 + -1466. Is h bigger than -1?
True
Let b = -19 + 26. Let k be 40/9 + (3 - b). Is k at most as big as 1?
True
Let u(d) = -3*d**3 + 2*d**2 + 2*d - 2. Let f be u(2). Is f not equal to -14?
False
Let f = -26 + 51. Suppose -5*o - f = 5*q, -4*q = 3*o - 0*o + 20. Suppose 5*j - 11 = -4*d, -j - 5*d + 4 = -15. Is o bigger than j?
True
Let l be -4 - 3*1/(-3). Let w = -0.4 + 0.2. Is l at least as big as w?
False
Let f = -4 + 5. Suppose -k - 2*a = 3, 0 = -3*a - 5 - f. Is k bigger than 1?
False
Suppose 2*m = m - 18. Let c be 2/6 + 42/m. Is -1 >= c?
True
Suppose 3*l + 4 = -2. Let a be 17/7 - (1 - l). Which is greater: a or -2?
a
Suppose 0 = -5*z + 5*c - 15, -5*c - 31 = -3*z - 10*c. Suppose 0 = 2*o + 4*q - 12, -o - z*o = 3*q - 15. Let w be 0/o*2/4. Which is bigger: -2 or w?
w
Let i = -62310/7 + 9073. Suppose 3*y - y + 344 = 0. Let o = y + i. Which is greater: o or -1?
o
Let f = 34 - 27. Which is smaller: f or 8?
f
Let d be 4/7*(-70)/150. Let f = 44/15 - d. Which is greater: f or 4?
4
Let g(w) = -w**2 - 2*w. Let t be g(-1). Let f be (-4)/14 - (110/(-336))/1. Which is greater: f or t?
t
Let p = -118/35 - -34/35. Which is smaller: p or -1?
p
Let o = 91 - 88. Which is smaller: o or -2?
-2
Suppose 5*y + 10 = 0, 2*y - 2 = -4*k - 10. Let f(u) = 19*u + 2. Let v be f(-1). Let o = v - -15. Is o bigger than k?
False
Let z be (45/(-285))/((-3)/2). Does 0 = z?
False
Let h(p) = p**2 - 4*p - 5. Let s be h(6). Let k = -8 + s. Do -2 and k have the same value?
False
Let j = -3.8 + 0.8. Let g = -3.1 - j. Let k = 2.98 + 0.02. Which is smaller: k or g?
g
Let l be -1 - (-3 - 2/(-2)). Let w = -283/105 - -13/5. Is l not equal to w?
True
Let k(w) = -w**2 - 6*w - 3. Let m be k(-7). Is -9 less than or equal to m?
False
Let b(q) be the second derivative of 0 + 3/2*q**2 - 1/3*q**3 - 3*q. Let z be b(2). Which is smaller: -1/2 or z?
z
Let q = 7 - 15. Let w be ((-4)/q)/((-1)/(-2)). Do 2 and w have the same value?
False
Suppose 2*f - 4 - 8 = 0. Suppose 2 = m + f. Is -3 equal to m?
False
Suppose 3*g = 2*g - 15. Is -15 > g?
False
Let u(h) = 14*h - 1. Let j be u(1). Suppose 4*y = 4*o + 8 - 24, -o + 4*y = -j. Which is smaller: 2/7 or o?
2/7
Let o = -40 - -121/3. Which is bigger: o or -1?
o
Let r = 3 - 2.9. Let t = r - 0.2. Let k = -1.97 + -0.03. Is t < k?
False
Let m = 2 - 0. Suppose 2*d = 6 - 2. Let t be 5/d - (4 + -2). Is t greater than or equal to m?
False
Let x = -41 - -40. Are 1/3 and x equal?
False
Suppose 0 = -h - 2*x - 1 + 3, 3*h + 3*x - 3 = 0. Is h < -1?
False
Let o be 3/9 - ((-8)/3 - -3). Is 1/64 != o?
True
Let l = -9 - -12. Does 1 = l?
False
Let o = 4 - 1. Which is bigger: o or -1?
o
Let g be 12/(-90) + 176/(-30). Which is bigger: g or -4?
-4
Suppose 4*z + 5*t = 44, -z - 3*z + 28 = t. Let x = -6 + z. Do -2 and x have the same value?
False
Let j(b) = -b**2 - 23*b - 41. Let r be j(-18). Is r at most 50?
True
Let j(p) = -p + 7. Let o be j(6). Let m = 13 + -12. Does m = o?
True
Let i = 0.72 - -0.32. Let l = -0.04 + i. Is 4 at most l?
False
Let n = 3 + -2. Let w(m) be the third derivative of -m**4/24 + 3*m**3/2 + 2*m**2. Let k be w(7). Which is bigger: k or n?
k
Let z(t) = t - 6. Let j be z(5). Let i = 4 + -4.1. Let w = 0.1 + i. Is w greater than or equal to j?
True
Let u be 3/(-2)*44/18*-3. Is 10 != u?
True
Let i = 317/35 + -46/5. Is 7 > i?
True
Let d = -68 + 57. Is d at least -12?
True
Suppose -20 = -6*m + 10*m. Let o = -12 + 8. Which is greater: m or o?
o
Suppose 3*o - 1 - 11 = 0. Let d be (-2 + o + -5)/(-1). Is 5/3 not equal to d?
True
Let k(y) = y**3 - y**2 + 2*y - 1. Let r be k(2). Let t(m) = -3*m**2 - 6*m - 2 - 2 + 4*m**2. Let x be t(r). Which is smaller: 2 or x?
2
Suppose 0 = 5*z + x - 4*x - 19, -z - 3*x = -11. Let d(l) = -l**2 - 6*l. Let i be d(-5). Let w = i - z. Is w at least -1?
True
Let r be (2 - 1) + 30/(-26). Suppose 0 = 4*q - 3*i - 45, -3*q - i + 12 = 4*i. Suppose 3*z + 2*a = q, -2*z - 4 = -2*a - 0*a. Is z less than or equal to r?
False
Let a be (1 + -1)/((-3)/(-1)). Suppose -n + 3*u - 7 = a, 0*n + 4*n = 2*u - 8. Is 1/3 not equal to n?
True
Let i = -10.3 - -1.3. Let s = 1 - i. Which is greater: 1 or s?
s
Suppose 2*b - 12 = -4*r, 20 = 4*r - 2*b - 0*b. Let o = 8 - r. Suppose -5*d = 3*u - 34, o*d + 1 = 3*d + 2*u. Is 3 at most d?
True
Let m(f) = f**3 - 6*f**2 - f + 16. Let i be m(6). Is i at least as big as 12?
False
Let v = 3/22 + -5/22. Is 0 greater than v?
True
Suppose 3*z - 4*b = -2 - 6, 0 = -z - 4*b + 8. Let h = 3 + z. Suppose 3*s + i = -2*i + h, -5*s - 19 = -3*i. Is -2 greater than s?
False
Let c = -0.6 + -0.4. Which is bigger: c or 4?
4
Suppose 3*s - s + 70 = 0. Let z be (2/5)/((-7)/s). Suppose -2*d - 12 = d - r, 5*r + 5 = z*d. Is -6 greater than d?
False
Let u(r) = -r**2 - 2*r. Let d be u(-5). Let o = -10 - d. Which is greater: o or 6?
6
Let u be (-9)/27 - 8/(-6). Are u and 7/3 equal?
False
Suppose -r = -3, 467 - 173 = 3*q + 2*r. Suppose -12 = -2*c - q. Let h be 3/(c/(-29)) - 2. Which is bigger: 1 or h?
1
Let q = 59/3 - 19. Let z = 2.7 + -2.8. Is q bigger than z?
True
Let m(q) = q**3 + 7*q**2 + q + 8. Let y be m(-7). Let b be (-54)/30 - y/5. Which is smaller: -1 or b?
b
Let a be 4 + -2 - 232/6. Let r = a + 37. Let l = 31 + -31. Which is smaller: l or r?
l
Suppose 0 = -2*a - 3*m - 42, m = 3*a - m + 37. Let b be (-4)/(-10)*a/(-18). Is b equal to 1?
False
Let w(l) = -l**3 + 15*l**2 - 15*l + 30. Let m be w(14). Is 16 not equal to m?
False
Suppose -2 = 3*j - q - 5, -3*j + 5*q = -3. Let z = 37 - 37.1. Is j less than z?
False
Suppose -16 = -j - 4*b, 4*j + 3 = -3*b + 15. Let s = -28 + 111/4. Is s at least j?
False
Let u be 3/(27/(-12)) - 244/(-180). Is -1 >= u?
False
Let x(y) = y**2 - 9*y + 7. Let w be x(8). Is -1 smaller than w?
False
Let t = -355/4 - -88. Let z be 12/7*(-7)/(-2). Let q = z + -7. Is q greater than t?
False
Let h(u) = u**3 + 19*u**2 + 19*u + 18. Let v be h(-18). Are -26/11 and v nonequal?
True
Suppose 64 - 20 = 5*g + 3*l, 0 = g + 2*l - 6. Let t = -6 + g. Suppose -t*j = -j. Is j equal to 2/7?
False
Let n = -0.1 - -0.1. Let i = -49 + 52.1. Let g = i + -3. Which is smaller: n or g?
n
Let v = -6.67 - -3.67. Let j = -209/707 + 1/101. Which is smaller: v or j?
v
Let j = -139 - -693/5. Let v = -0.1 + 0.2. Let w = v - 0.1. Which is greater: j or w?
w
Let p be (2 + 16/(-12))/((-174)/(-9)). Which is bigger: 0 or p?
p
Let a(g) be the second derivative of g**4/6 + 2*g**3/3 + g**2 + 4*g. Let j be a(-2). Suppose 2*p + 3 = -c + 8, -5*c + 25 = j*p. Which is smaller: p or -8/7?
-8/7
Let c = -1057/9 - -117. Is -1 at most as big as c?
True
Suppose 5*t + 2*q - 6 = -4, 0 = -2*t - 5*q + 5. Let a be 3/9*1/1. Is t at most as big as a?
True
Let l(a) be the third derivative of a**5/60 + a**4/12 - 2*a**3/3 - 2*a**2. Let o be l(-3). Let b be 2/7 + (-11)/14. Which is greater: o 