 bigger: r or m?
r
Suppose -3*t + 5*v = -2, 2*t + 2*v - 11 = 1. Suppose 4 = t*m - 4. Let h be (0/(-6))/(3 - 1). Which is greater: m or h?
m
Let i be 5/(-3 - (-30)/9). Let z = i - 12. Is 1 not equal to z?
True
Let s = -1 - -3. Suppose -2*l + b = -s, 0 = -l - 2*l - 2*b + 3. Let c be (1/2)/((-3)/(-12)). Which is greater: l or c?
c
Suppose 4*j - 12 = o - 6*o, 0 = -3*o - 4*j + 4. Suppose 0 = -5*h - 5*u + 5, o*u = 3*h + 8 + 3. Do h and 2/5 have different values?
True
Let b(p) = -2*p - 10. Let j be b(-7). Suppose -q + j*x + 17 = -2*q, -5*x - 25 = 0. Suppose 0 = -2*w - r + 1, 5*w - 3 - 4 = -r. Which is smaller: w or q?
w
Suppose 174 = 6*l - 30. Which is smaller: 36 or l?
l
Let o = 135 - 253. Let n = o - -116.94. Let c = -0.06 - n. Are 1/2 and c equal?
False
Let j(m) = -m**3 + m**2 - m + 2. Let x be j(2). Suppose 4*w + 4 = 2*n, 4 = -2*n - 4. Which is smaller: x or w?
x
Let u = 15 - 16. Let p = -8 + 4. Is p >= u?
False
Suppose 5*d - m - 18 = 4, -m - 2 = -d. Suppose l + 3*z = -6 - 0, 0 = -5*l - d*z. Suppose -2*p = l*p. Which is smaller: -1 or p?
-1
Suppose 8 = -2*f, 0*b - 3 = -b - f. Is b >= 7?
True
Suppose 12 = 3*a + 3*x, -a + 3*x + 19 = -x. Suppose a*w = 12*w. Is w greater than -2?
True
Let v be ((-1)/3)/(4/(-18)). Let b be 2 + (-4 - 10/(-2)). Which is bigger: v or b?
b
Suppose -34 + 0 = 4*p - 2*c, -2*c + 4 = p. Are p and -8 non-equal?
True
Suppose 4*l = 6 + 2. Suppose 3*u = -3*j, -5*u + 12 = 2*j + 3. Which is smaller: l or u?
l
Let x = 47 - 47.1. Let f = -5 + 5.3. Let o = f - 0.1. Which is smaller: o or x?
x
Let g = -2024/35 - -58. Is 1 at most g?
False
Suppose -3*r = 5*t - 11, -4*t + 0 = -4. Which is smaller: -2/9 or r?
-2/9
Suppose -4*c = -3*i - 50, 3*i - 2*c + 38 = -4*c. Let f be (-4)/i - (-33)/7. Let u = f - 3. Is 1 > u?
False
Let i = -1 + 0. Let l = 1.1 + i. Is l >= -0.3?
True
Suppose m = -2*m + 2*c + 11, 5*m - c - 30 = 0. Is 1/3 bigger than m?
False
Let v = 0.02 - 0.02. Let x = v + 0.2. Is x equal to -2?
False
Let o be (32/48)/((-4)/6). Let w be 1 + o - (-20)/(-4). Is -5 > w?
False
Let i = 2 - 0. Let l be 0/(4*(-1)/i). Are l and 7 nonequal?
True
Let c(b) = 12*b**2 - 1. Let m be c(1). Let k = 5 + m. Suppose 7 = 3*r + k. Which is smaller: r or -2?
r
Suppose 0 = -z + 4*z - 9. Let m be 0 + ((-11)/z)/1. Is m greater than or equal to -5?
True
Let y(s) = -6*s + 21. Let f be y(6). Is -15 less than or equal to f?
True
Let b = -5 + 24. Which is greater: 18 or b?
b
Let w = 15.9 - 16. Is w bigger than -11?
True
Suppose -2*p + 37 = -13. Is 24 greater than p?
False
Let j = 18/79 - -233/711. Let z be (-3)/(-9) + (-10)/(-6). Is z greater than or equal to j?
True
Suppose 0 = -4*b + 33 + 119. Suppose h - b = 2. Suppose -x + c + 9 = 2*c, -5*c + h = 4*x. Are x and 4 equal?
False
Let p = -239/7245 + -5/207. Which is bigger: p or -1?
p
Suppose 0 = 4*c + 2*j, c - j = 5*c + 2. Does -1/23 = c?
False
Let f(y) = -y - 7. Let t be f(-9). Suppose -x = t*x. Which is smaller: x or -2/21?
-2/21
Suppose -5*p = -3 - 2. Let j = 4.5 - 5. Let l = 0.4 + j. Do p and l have the same value?
False
Let p(w) = -w**3 - w - 1. Let v be p(-1). Let r = v + 0. Let m be ((16/6)/2)/6. Is r smaller than m?
False
Let y(t) = -t - 1. Let r be y(-5). Suppose 2*p - r = -2. Suppose -2*i - 3*i + 15 = 0. Which is bigger: p or i?
i
Suppose 3*y = -0*y - 84. Which is smaller: y or -0.2?
y
Let t = 15 - 15.36. Let s = -0.06 - t. Is s smaller than 0?
False
Let m = 10.7 + -1.7. Let r = 8.6 - m. Which is bigger: -1 or r?
r
Let b = 4 - -4. Let v = b + -8.4. Is v < 2?
True
Let l(m) = -m**3 - 12*m**2 + 15*m + 10. Let f be l(-13). Which is greater: -18 or f?
f
Let m = -26.87 + 11.96. Let j = -15 - m. Which is greater: j or -0.1?
j
Suppose 5*y + 3*a = 47, 4*y = -y + 3*a + 53. Are y and 11 nonequal?
True
Suppose -3*h + 0*h = -3. Is h greater than or equal to 1/9?
True
Let s be 82/(-6)*(-30)/40. Which is greater: s or 9?
s
Suppose 3*g + 0 = -9. Suppose -4*m = 2*u + 10, m = 2*u + 3 + 2. Let l = u - g. Which is bigger: 4/7 or l?
4/7
Suppose 2*u - 7*u = 0. Which is greater: u or -2/171?
u
Let a = -3 + -16. Are -18 and a unequal?
True
Let h(n) be the second derivative of n**4/12 + 5*n**3/3 + n**2 + n. Let x be h(-9). Let w(m) = m**3 + m + 2. Let c be w(-2). Is x less than or equal to c?
False
Suppose 0 = -5*k - 5*r, 5*r + 8 + 12 = 5*k. Which is smaller: k or -3?
-3
Let j be 2*((-190)/(-4))/5. Is j at most 37/2?
False
Let f(v) = 4*v + 1. Let a be f(0). Let b = -14 - -3. Which is smaller: b or a?
b
Let h = -4 - -5. Which is bigger: h or 4/15?
h
Let c = -3 - -2. Let n be (((-3)/3)/1)/c. Suppose n = -2*l - 1. Which is smaller: l or 0?
l
Let q = 26/5 - 192/35. Suppose -7*o = -2*o. Is o > q?
True
Let d be (-1 - 0) + 14/20. Let r = -34 + 35. Which is greater: r or d?
r
Let z = -47 - -42. Which is greater: 3/2 or z?
3/2
Let z = 175/2 - 86. Let n = 3 + -2. Is z != n?
True
Let j be (-1)/5 + 231/605. Let d be (-2)/4*(-2)/4. Which is smaller: j or d?
j
Let b = -157/3 + 52. Is 18 less than or equal to b?
False
Let b = 0.22 - 0.43. Let j = -1.41 - b. Which is smaller: j or -2/7?
j
Suppose -2*k = k + 21. Let u(m) = -m - 4. Let y be u(-2). Let j be (-5 - y) + 1 - 5. Is k less than j?
False
Let t = -4 + 3. Let z = t - -2. Is z <= 1?
True
Suppose 3*w - 22 = 2*k, 0 = -2*w + w - 5*k - 4. Let i be 9/w*(0 + 4). Which is bigger: i or 5?
i
Suppose 2*z + 4*q + 10 = -3*z, 13 = 4*z - q. Suppose -g + 5 = z. Is g at least 3?
True
Let h = 21 - 34. Let t(z) = z + 15. Let q be t(h). Is 3 >= q?
True
Let g = 1 - 1. Suppose -3*o = -6*o + 18. Suppose -x - 2*x + o = g. Which is smaller: 2/3 or x?
2/3
Suppose -5*x = 3*m + 65, -x + 1 - 2 = 0. Let g be 7/(42/m)*3. Is g smaller than -10?
False
Let n(f) = 7*f - 87. Let p be n(7). Is p at least as big as -38?
True
Let g be 2/2 + 0 - -2. Let j = -19/7 + g. Let u = 0.13 + 0.17. Which is smaller: u or j?
j
Let t = 6 - 6. Is -0.3 < t?
True
Let c = -13/110 - -4/55. Is c at most as big as 1?
True
Let y(t) = t**3 - 8*t**2 + 9*t - 9. Let r be y(7). Let j(x) = 2*x + 9 - r*x + 4*x. Let g be j(-8). Is g equal to 1?
True
Suppose -i - n + 0 = -3, -5*n + 15 = -3*i. Is 2/99 < i?
False
Let q = 1 - 4. Let n = -3 - q. Let g be (2/6)/(5/(-10)). Is g greater than n?
False
Let u = -0.9 - -4.9. Let n = -12 + 6. Let c = u + n. Is c > -0.1?
False
Let u(v) = v**3 + 2*v**2 - 2*v + 3. Let q be u(-3). Let s be 2/1*1/(-2). Does s = q?
False
Let b be (-3)/(-4) + (-22)/8. Let i be -1 + (1 - (-2 - b)). Which is smaller: i or -10/7?
-10/7
Let a be (-3)/(-6) + (-14)/20. Let b = 7 - 5. Suppose 2*y - 13 = 5*q, 0*q + 3*q = -b*y - 11. Do a and y have the same value?
False
Let t be 0 - ((-13)/(-12) - 1). Let r(v) = -22*v + 21. Let f be r(1). Is t smaller than f?
False
Let x(d) = -2*d**3 - d - 1. Let q be x(-1). Do 0 and q have the same value?
False
Suppose m + m = -6. Let s be (m + 0)/(-3 + 1). Do s and 3 have the same value?
False
Let y be (-12)/8*(2/(-1) + 0). Which is smaller: -3 or y?
-3
Let s = -48 + 65. Is -0.1 < s?
True
Let i = -4 - -3. Suppose -3*w = w + 4. Do w and i have different values?
False
Let b = -21 + 29. Is 8 < b?
False
Suppose 4*b + 0 + 4 = 0. Let p = 28 + b. Let t be 1 + (6/p - 1). Are 0 and t equal?
False
Suppose 144 = 7*z + 4. Is z smaller than 41/2?
True
Suppose 5*t - 5*f = 25, -16 = -3*t + f - 1. Suppose 0 = -5*z - t*k - 5, -z + 2*z - 5*k = 5. Which is bigger: -1/3 or z?
z
Let l = -4 - -3.8. Let y = 19.8 - 18. Let q = y + -2. Do l and q have different values?
False
Suppose 3*r - 1 = 2. Let d = r + -2. Let q = -17 - -16. Is q smaller than d?
False
Let b = -155/4 + 39. Let m = 0.5 + -0.2. Let j = 0.2 - m. Which is greater: j or b?
b
Let y = 5596/3 - 1846. Let v = y + -19. Let b = -2 - -2.2. Which is greater: v or b?
v
Let w = 10 - 5. Let s(q) = -q - 1. Let a be s(-1). Which is smaller: w or a?
a
Let n(y) = y. Let j be n(-6). Is -4 < j?
False
Let b = -6 - -6. Let f = 2 + b. Is f greater than -1/3?
True
Let i be 384/54 - 1/9. Are 3 and i nonequal?
True
Suppose 2 - 3 = -i. Which is smaller: i or -1/10?
-1/10
Suppose 4*i = -w + 5, w + i = 2*w. Let p be (6 + -4)*w/2. Suppose 0 = 4*m + m. Which is bigger: m or p?
p
Let a = -0.3 - -0.41. Let j = a + -0.01. Is j less than -2/5?
False
Let d = -3.07 - -0.07. Let l = d - -3. Let p = 0.1 + l. Are -3 and p equal?
False
Let g = -75 + 56. Which is smaller: -22 or g?
-22
Let c = 77 + -76. Is -