1 bigger than r?
False
Suppose -n + 3*n - 10 = b, b + 5*n + 31 = 0. Let l = b - -15. Is l equal to -3?
False
Let a be -9*(-2 + -1)*2/(-6). Let v be (8 - 1)/((-1)/(-3)). Let h be (a/v)/(2/7). Is h != -1?
True
Let a be 12/(-9) - (-3)/9. Is -2/15 at least a?
True
Let h = -63 - -55. Which is greater: -9 or h?
h
Let c be (-8)/(-20) - 134/10. Let y = c - -18. Suppose -3*g - y*z = -2*z - 9, z = 5. Are -1 and g unequal?
True
Let i = -189/4 - -46. Let k = -1 - 0. Which is smaller: i or k?
i
Let b be -1*(0 - 1) - 3. Let w(v) = -v + 2. Let p be w(5). Is b greater than p?
True
Let p = 35/9 + -113/36. Is 1 not equal to p?
True
Let q = -5 + 6. Suppose -10 = 5*f, -2*f - 5 - 7 = 4*g. Is q greater than g?
True
Let b = 64 - 45. Which is smaller: b or 2/3?
2/3
Let z = -97/36 - -22/9. Is 0.2 less than z?
False
Let a be 3/(4 + -5)*-1. Suppose 0 = -4*h + h + a. Which is smaller: h or 2/23?
2/23
Let j(q) = q - 10. Let h be j(7). Let p(l) = -3 + 5*l**2 + 0*l + l**3 - 3*l**2 - 4*l. Let v be p(h). Which is bigger: -1 or v?
v
Let y(o) = -o - 10. Let p be y(9). Are p and -20 equal?
False
Suppose -5*h - 1 = -4*h. Let o be (-2)/(-7) - 3844/(-168). Let y = -1541/66 + o. Which is smaller: y or h?
h
Let g = -0.5 - -3.5. Let w = -27 - -25. Which is bigger: w or g?
g
Let d = -135 + 943/7. Is d greater than or equal to -1/11?
False
Let c = -0.5 + 0. Let a = c - -0.4. Which is greater: a or 1?
1
Let n = 0.3 - -4.7. Which is greater: -1/2 or n?
n
Suppose 0 = -o + 3*o. Suppose -3*a + a = o. Suppose a = 2*m - 3*m. Which is smaller: m or 1?
m
Suppose 0 = 3*g - 3 + 9. Let p = -2.05 + 0.05. Do p and g have different values?
False
Suppose 0 + 5 = 5*s. Let f = 13 - 38/3. Is f >= s?
False
Let l = -0.26 - -0.6. Let i = l - 0.3. Is 1 at least as big as i?
True
Let w be 2 + (2 - (-33)/(-9)). Is 0 at least w?
False
Let d = 2.94 - -0.06. Let p = -2.9 + d. Let g = -0.4 - -0.2. Which is greater: p or g?
p
Let b = -8.2 + -3.8. Which is smaller: b or 0.3?
b
Let a = 2.4 - 2. Which is smaller: 2 or a?
a
Let t = -0.98 - 0.02. Let i = -1.5 - 0.5. Which is smaller: t or i?
i
Suppose 0 = -5*b + 298 + 27. Do b and 65 have the same value?
True
Let q(w) = -2*w - 2. Let v be q(2). Let j = -3 - v. Suppose 10 = -2*u - y - j, 3*u + 2*y + 20 = 0. Which is smaller: -5 or u?
u
Let h be -8 + 9 - (-11)/(-9). Is 1 at most as big as h?
False
Suppose 0*d - 21 = 3*d. Is -7 at least as big as d?
True
Let h = -10 + 13. Is -4/7 < h?
True
Suppose -6*w = -w + 30. Let t = 4 - 7. Let m be (-1)/(2/w*t). Is 0.3 equal to m?
False
Let j = 55/27 + -829/513. Is -1 at most as big as j?
True
Let k = 3 + -2. Let s(q) = 5*q - 1. Let u be s(k). Suppose -w + 3 = u. Is w smaller than -1?
False
Let g = -2.1 - -1.8. Are -3 and g equal?
False
Let q = -5 + 9. Suppose -b - b - 12 = 2*a, -b = -q*a - 19. Let f be a/(-3)*9/(-6). Is -4 >= f?
False
Suppose 0 = -5*x - 2297 + 7957. Let n = -5692/5 + x. Let j = n + 106/15. Which is smaller: 1 or j?
j
Let o(r) = -r**3 - 6*r**2 - 6*r - 2. Let k be o(-5). Suppose 2*g = -3*l + 2, 2*l = -4*g - 3*l + 6. Suppose -u - g = k*u. Are -2 and u non-equal?
True
Let a = 157 - 2985/19. Which is bigger: a or 1?
1
Let o = 45.3 + 4.7. Let p = -44.1 + o. Let w = 6 - p. Is w != -4?
True
Let q be ((2 - 2)*1)/(-1). Let n(z) = z**3 + 4*z**2 - z - 1. Let t be n(-4). Suppose 2*r + v - t*v - 2 = 0, 0 = 5*v + 5. Is r not equal to q?
False
Let l(h) = -h**3 - 2*h**2 + 3*h - 2. Let u be l(-3). Let z be (0 + 0)/(u + 1). Which is smaller: 1/2 or z?
z
Suppose 4*c = 5*b + 12, 0 = -4*c + 2*b + 12. Let y(m) = -3*m - 1. Let k be y(-1). Suppose -2 = -k*f + f. Do c and f have the same value?
False
Suppose 0*j = -j. Let s = -6/17 - 27/68. Do s and j have different values?
True
Let i be (-130)/(-20) + 1/2. Suppose 4*u + 3 = i*u. Is 2/29 greater than u?
False
Suppose -4*n + 23 = 3. Which is smaller: n or -1/3?
-1/3
Let y = -52 + 45. Is y less than -7?
False
Let n = -46 - -48. Is 11 >= n?
True
Suppose -1 = -3*f - 4*y + 7, -5*f - 2 = -y. Suppose h - 4*h = f. Is h at most as big as -2/13?
False
Let m(l) = l**3 + 5*l**2 - 3*l + 2. Let o be m(-6). Let u = o - -15. Let j(a) = 2*a**3 - 2*a**2 + a. Let v be j(1). Is u equal to v?
False
Let m = 0.01 + 0.09. Let p = 0.2 - m. Is p not equal to -1/12?
True
Suppose -19 = -3*w - j, -5*w + 22 = -2*w + 4*j. Let n = -7 + 14. Which is greater: n or w?
n
Let c be (97/(-9))/(22/6). Let u = 36/11 + c. Let x = -86/91 + 16/13. Is u at least as big as x?
True
Let w(b) = b + 15. Let g be w(-12). Suppose 15 = g*s + 2*s. Suppose -4*n = 2*r + 2, 3*r - 8 = -r - 2*n. Is r greater than or equal to s?
True
Suppose 0 = 4*f - 5*h + 18, f + 0*h + 5 = h. Let b = 6 + -13. Is f >= b?
True
Let p = 13.8 + -15. Let z = 0.09 - 1.09. Which is bigger: p or z?
z
Let j be 6*1*13/2. Suppose 2*s + c = -j, 4*c - 4 + 0 = 0. Let t be (-6)/s*(-24)/(-18). Which is bigger: 0 or t?
t
Suppose 0 = -4*r + 5*v + 5, 3*r - 7*r - 3*v = 35. Are r and -5 unequal?
False
Let v = -0.1 - -0.1. Let x = 7 - 12. Let f = 6 + x. Is v equal to f?
False
Let m = 418894059/665 + -629916. Let b = 2/95 - m. Which is smaller: 0 or b?
0
Let u be (2/(-20))/(20/125). Which is greater: 0 or u?
0
Let b(r) = 3*r**3 - 4*r**2 + 2*r - 2. Let t(i) = 10*i**3 - 13*i**2 + 7*i - 7. Let a(w) = 7*b(w) - 2*t(w). Let h be a(3). Is h at most as big as 9?
True
Let o(p) = p**3 - 6*p**2 - 4*p - 5. Let j be o(7). Let w = 27 - j. Suppose 2*u + 2*f = 3*f - 3, 3*u + w = -5*f. Which is smaller: u or 0?
u
Let y = -6 + 5. Let c(z) = z**2 + 2*z - 3. Let v(t) = -2*t**2 - 5*t + 7. Let u(m) = 5*c(m) + 2*v(m). Let s be u(y). Is s equal to -0.1?
False
Let i be 125/12 + (-8)/12. Let u = i - 10. Let z = 37 + -109/3. Is u at most as big as z?
True
Let r = -10 + 6. Let m = r - -4. Which is greater: m or 1?
1
Suppose 3*a = -4 + 10. Which is greater: 5/3 or a?
a
Let t be (-3)/(-18) - 4/24*5. Which is bigger: t or -1.9?
t
Let m(s) = s + 4. Let h be m(-6). Let v be -2 - (-1)/(1 + h). Suppose 2*b + t + 2 = -0*b, 4*b + 5*t = 8. Is v <= b?
True
Let n = -1/3 + -1/15. Let v(d) = d**3 - 4*d**2 + 3*d + 3. Let w be v(3). Suppose 5*i - 28 = -w*h + 6*h, 3*i = 15. Which is greater: n or h?
n
Let o be (4/8)/((-6)/4). Which is greater: o or 0.2?
0.2
Suppose -j = -3*j - 8. Let s be 4*(-2)/4*1. Which is smaller: j or s?
j
Let q = 22 - 17. Suppose -q*a = 2*g + 3*g + 15, -2*g - 18 = 5*a. Which is smaller: g or -10/9?
-10/9
Let a = 0.97 + -0.71. Which is bigger: -0.1 or a?
a
Let u = -14 + 11. Let x be 1/(u/(-6) - 1). Is -3 at most x?
True
Suppose -5*r - h = -38, 0*h + 5*h = r - 18. Let p(x) = 2*x - 3. Let s be p(6). Is s < r?
False
Let s = -0.2 + 0.4. Let l = 81/292 - 2/73. Which is greater: s or l?
l
Let b = -9 + 10. Let j be (-48)/70 - 6/(-15). Which is smaller: j or b?
j
Suppose -2*u + 72 = -10*u. Which is smaller: -11 or u?
-11
Let l be 68/18 + (-4)/(-18). Suppose -2*h - t + 7 = 0, -l*h + 0*t + 13 = t. Suppose -q - h*q = 20. Does -4 = q?
False
Let b = -0.84 - -0.34. Which is greater: b or -4/5?
b
Let c = -3 - -4. Which is bigger: -2/5 or c?
c
Let n = -15 - -13. Let b = n - -1. Are -4/9 and b equal?
False
Let t be 28/(-175)*(-5)/(-2). Are t and 0 unequal?
True
Let c = -13 - -10. Let n = 6 - c. Is n at most 1?
False
Let n(b) = -b**2 - 4*b - 5. Let u be n(-2). Are u and -4/45 unequal?
True
Let x be 78/18 - (-4)/6. Let c = 8 - x. Which is smaller: 2 or c?
2
Let q be 21/24*(-1 - -3). Which is bigger: q or 3?
3
Suppose -3*j + m = -2*m - 33, 3*m + 45 = 5*j. Suppose 0 = -5*s - a + 27, 12 = 4*s - 5*a + 2. Which is smaller: j or s?
s
Let z be (-14)/7 - 3/(45/(-24)). Suppose -3*i = -15, 4*i - 22 = 3*n - n. Is n smaller than z?
True
Suppose -3*k - 5*b + 1 = -22, -5*b = -2*k - 18. Let v = -27/77 - -7/11. Is k equal to v?
False
Let g = 0.09 + -0.16. Let k = g + -0.93. Are -1/4 and k unequal?
True
Let x = -4.8 - -5. Which is smaller: -1 or x?
-1
Suppose 0 = 3*u + 33. Let x(r) = -2*r - 15. Let v be x(u). Is v != 6?
True
Let q be (-550)/20*(-8)/10. Let h be q - (2 - (0 + -1)). Which is smaller: h or 20?
h
Suppose -5 = -2*o - 3*o + 4*k, -3*o + 4*k - 5 = 0. Suppose -5*b + 3*j = 41, o*b + j + 37 = 4. Which is bigger: 2/5 or b?
2/5
Suppose 0 = 2*f + 3*n - 88, -f + 3*n = -39 - 14. Which is greater: f or 46?
f
Let b be (0/5)/(-1 - 0). Suppose 0 = 7*d - 2*d - 5*w - 220, -4*w = -3*d + 130. Let a = d - 137/3. Which is greater: a or b?
a
Let t = 142