be (-28)/(-26) + 1 + p. Which is greater: -1 or j?
j
Let j = 16 - 14. Suppose -5*v = -j*v - g - 37, 0 = v - 2*g - 14. Suppose v - 13 = -u. Which is smaller: 4/3 or u?
u
Suppose 5*k + 30 = 5*r + 2*k, 5*r + 2*k = 30. Suppose -3 = -m, -3*q = -r*m + 9*m - 36. Let p = -3 + 13. Which is smaller: q or p?
q
Let r = -0.21 + 3.77. Let a = r + -0.56. Is a equal to 4?
False
Let f be (-52)/(-39) - (-8)/(-6). Is f != -0.56?
True
Let g = 235283/173 + -1360. Let b = 829/2076 + g. Are b and 0 equal?
False
Let m = 1839287 + -31315616/17. Let s = -2809 - m. Is s at most 0?
True
Let u = -69 + 70. Which is greater: -2/97 or u?
u
Let v(k) = k**3 - 11*k**2 + 17*k + 9. Let j be v(9). Let q be (-1 + 1)*(-1)/(-1). Is q >= j?
True
Let o be -16 + 13 - 1*-3. Which is smaller: o or -3/305?
-3/305
Let d be (1/(-5))/(2/14). Let y be (-1 + 3 - 3)*1. Is d less than or equal to y?
True
Suppose 4*v = -z - 50 + 130, -5*v = -3*z - 83. Which is greater: 23 or v?
23
Suppose -9*h + h = -136. Let z(q) = -q + 21. Let v be z(h). Do v and 5 have the same value?
False
Let q = 47 - 22. Let n be (14/(-10))/((-144)/2520). Which is bigger: n or q?
q
Suppose -6 + 0 = 2*m. Let n be m/((-15)/(-2)) - (-36)/340. Which is smaller: 0 or n?
n
Suppose 2*l + 2*l - 8 = 0. Let s = -114 - -118. Suppose -5*c = -0*c - 4*y + 7, -16 = s*c + l*y. Which is smaller: c or -1?
c
Let v(c) = c**2 - 12*c + 11. Let g be v(11). Let p = -644281/153 + 4211. Which is smaller: g or p?
g
Let f = 2453/3 - 4074/5. Let o = f - 11/5. Is o equal to -0.64?
False
Let l = -468 + 467.92. Which is bigger: -0.5 or l?
l
Let o = -1071072 - -70694729/66. Let k = o - 121/2. Which is greater: k or -1?
k
Let i be (175/25 + (-2 - 6))/85. Is i bigger than 0?
False
Let v = -0.4 + 0.6. Suppose 0*l - a = 4*l + 4, 0 = -l + 5*a + 20. Suppose -2*x + 2*n = -14, -5*x + l*n - 3*n = -11. Which is bigger: v or x?
x
Let t(b) = 2*b**2 - 2*b - 2. Let s be t(-1). Suppose 2*k - s*w - 50 = 0, 4*k + 0*k + 2*w - 130 = 0. Are k and -1/3 equal?
False
Suppose 2*d + 24*d + 598 = 0. Is d at most as big as -24?
False
Let s(t) = -3*t + 4. Suppose n - 1 = -h, n - 2*h + 7*h = -11. Let g be s(n). Is g <= -1?
True
Let o = -707 - -696. Which is smaller: o or -2?
o
Let c(x) = -2*x**3 + 7*x**2 - 1 + 6*x + 4*x**2 + x**3 - 6*x**2. Let l be c(6). Is 2/31 >= l?
True
Let w = 2708/21 + -748/21. Is 94 greater than or equal to w?
True
Let m(f) = -f - 25. Let t be m(-12). Is -18 <= t?
True
Suppose 4*y - 2978 = 926. Let k = y - 28307/29. Which is smaller: k or -1?
-1
Let y be (-5)/52 - (-6)/(-39). Let v be (2/3)/((-7)/(-21)). Let s be (-1)/(3/(-6)*v). Which is smaller: s or y?
y
Suppose y = 2*t - 3, -3*t - 1 = -4*y + 2. Let c = 10 - 11. Which is greater: c or t?
t
Let j(s) = -s**3 + s**2 + 4*s. Let n be j(2). Let k(h) = 7 - 8 - n - h. Let q be k(-6). Is q equal to -2/13?
False
Suppose -p = 2*l, 5*p - 2*l - 28 = 2*l. Suppose 4*n = 5*n + 1, p = k - n. Which is smaller: -13 or k?
-13
Suppose 3*w + 0*v = -2*v, -9 = 3*v. Suppose 2*a + w*a + 60 = 0. Are -15 and a non-equal?
False
Let o = 27 - 45. Let c = 27 + o. Let w = 12 - c. Is w at least as big as 5?
False
Let h be ((-1)/(-2))/(5/50). Let p = -5 + h. Suppose 3*m + 5 = -5*o - 6, p = -m + o + 7. Is m at least as big as 3?
True
Let q = 558 - 482. Is q smaller than -4?
False
Let q = -312 - -312.1. Are 11/2 and q equal?
False
Let n = 11 - -7. Suppose 0 = -3*a, 0 = -f + 4*f + 5*a + n. Is f > -1/11?
False
Suppose 0 = 3*z + r - 2*r + 296, -4*z + 5*r - 402 = 0. Is z equal to -2?
False
Let q = 0.28 - -17.22. Let k = -0.5 + q. Is k smaller than -1/3?
False
Let m = -81.6 - -89.6. Is 0.37 at most as big as m?
True
Let h(z) be the third derivative of -z**6/120 - z**5/60 + z**4/24 + 2*z**3 + 2*z**2. Let i be h(0). Let j be ((-4)/(-2) - -9)*1. Which is bigger: j or i?
i
Suppose 5*j + 40 = -2*d, 0*d - 3*d + 25 = -j. Let l = -55.003 - -0.003. Let v = l - -57. Which is smaller: v or j?
j
Let k = -0.6 + -1.8. Let f = 1.794 - -1.606. Let b = f + k. Is 24 less than b?
False
Suppose -5*n = -2*z - 71, 2*z + 3*z = 4*n - 50. Let d be 0/2 - (16 - n). Let q be d/((30/8)/3). Is -2 at least as big as q?
False
Suppose 5*n = -3 - 2. Let h = -132715/83 + 1599. Which is bigger: n or h?
h
Let p be (-1)/((-7290)/(-3650) + 0 + -2). Is p >= 365?
True
Let c = -32/75 + -6/25. Let i = -11504/39 - -295. Which is greater: i or c?
i
Let d be (8/(-20))/(6/(-10)). Let q = 454 - 418. Which is smaller: d or q?
d
Let m = -15 - -26. Let q = -11 + m. Let s = 49 - 52. Which is smaller: q or s?
s
Let h = -31682765/1802 - -17582. Which is greater: -1 or h?
h
Let f = -3 + 3. Suppose -8*a = -10*a + 80. Let c be 20/(-50) + 31/a. Which is bigger: c or f?
c
Suppose 4*v = 3*h + 63, -6*v - 5*h = -v - 35. Which is greater: v or 6?
v
Suppose 38*r - 42*r + 488 = 0. Let o be 34/(-153) - r/18. Which is bigger: o or -33/5?
-33/5
Suppose -6*a + 4*a - 3*m = 4, -6 = 3*a - 3*m. Let u be a + -1 - 14/5. Which is smaller: -7 or u?
-7
Let n = 85 + -76. Suppose -4*m + n*m = 2*f - 2, 3*m + 5*f = 5. Which is greater: -12/13 or m?
m
Let y = 74.6 - 92.7. Which is smaller: y or 2?
y
Suppose -z = -v - 1, -9 + 4 = z. Let l be 2/4*-1*4. Let q be (-9)/l - v/12. Is q at most as big as 5?
True
Suppose 5*c + 3 = -2*i, i - 2 = 4*c + 3*i. Let h(v) = -v**3 + 8*v**2 + 9*v + 12. Let k be h(9). Let o be (2/18)/((-18)/k). Is c at most as big as o?
True
Let i = -12 + 16. Suppose -i*f - m = 37, 3*f + 4*m + 0*m = -44. Let d be 6/5*20/f. Do d and -5 have the same value?
False
Let t be (-525)/252 - -2 - (-7993)/12. Is t at most 667?
True
Let b(i) = -3*i + 2*i - 22 - 17 + 36. Let d be b(-2). Let h = -0.98 + 1. Does h = d?
False
Suppose -12*m + 96 = -24*m. Is -8 >= m?
True
Let o = -0.091 - 0.649. Let m = o + -6.26. Let l = 0.3 + -0.1. Are l and m non-equal?
True
Suppose 5*p - 418 = 3*v, v - 31 + 166 = 6*p. Do 0 and v have different values?
True
Suppose 0 = 11*j - 6*j + 15. Let c(i) = 2*i**2 + 5*i + 2. Let o be c(j). Which is smaller: o or 4?
4
Let t = -217 + 72. Do -144 and t have the same value?
False
Let o = -2 + 1. Let n = 260 + -14041/54. Is n < o?
False
Let u = 0.5 - -1.5. Let p = 350/51 + 21254/153. Let i = -146 + p. Is i bigger than u?
False
Suppose h + 10 = 6*h. Let t be -9 - -2*(h + -3). Let k = t + 10. Is -9/5 <= k?
True
Let o = -202629 + 1416026/7. Let d = o + 339. Is -1 <= d?
True
Suppose 3*c = -2*c. Let b(t) = -4*t + 8 - 3*t + 0*t - 7*t**2 + 6*t**2. Let u be b(-8). Is c not equal to u?
False
Suppose i - s + 14 = 0, -2*i + 2*s - 37 = -3*s. Let l = i - -80/7. Which is greater: l or 1?
1
Let s = -492/7 - -70. Let z be (-4)/(-20)*0 - (-121 - 1). Let o = z - 371/3. Is o greater than s?
False
Suppose -4*q = 4*p + 28, 4*q + 23 = 3. Let t = p + 1. Let o be 14/3*1/(-2). Which is smaller: o or t?
o
Let x = 0.3 + -0.2. Suppose 5*a - 2 = 4*t + 4*a, 2*t + a = -4. Let o be 75/65 + -2 - t. Are o and x unequal?
True
Let x(o) = -3*o - 5. Let f be x(-5). Suppose -45*n = -46*n - 179*n + 1980. Is f at most as big as n?
True
Suppose 0 = -0*w + w - 2. Let p = 44 - 29. Let a = -16 + p. Are w and a non-equal?
True
Let g = -116/3 + 217/6. Which is smaller: -1/4 or g?
g
Suppose -4*y - 4*r - 4 = -2*y, y = -4*r - 2. Let k(a) = 12*a**2 + 2*a + 4. Let x be k(-1). Let c be 5*((-24)/42 + 1/x). Is c less than or equal to y?
True
Let o(y) = y**2 + 4*y - 7. Let v be (-5 + 20)*1/(-3). Let l be o(v). Let m = -1.6 + 2. Which is greater: l or m?
m
Let u be 1 + 3 - -10*(-33)/110. Which is bigger: 5/29 or u?
u
Let a = 622.4 - 622.3. Let s be (-4)/(-10) - (0 + 0). Is s > a?
True
Let l = 2193 + -2162. Which is smaller: 211/7 or l?
211/7
Let f be -3*(-16)/(-12) + 35. Suppose -4*g - 15 = h, -h = 2*h + 5*g + f. Is -7 less than h?
False
Suppose 2*v = -2*z, -7 = 2*z + 5*v + 5. Let m be 34/14 + (-8)/(0 + z). Let j be (0 - -2)*(-2)/(-4). Which is bigger: m or j?
j
Let w be (-24)/(-14)*(-14 - -21). Suppose -262 = -5*j + 4*c, 5*j - j + 2*c - 194 = 0. Suppose 5*n + k - 63 + 0 = 0, 4*n - j = -k. Which is smaller: w or n?
w
Let n = 6.1 + -6.1. Let o = 0.4 - n. Which is smaller: 3/7 or o?
o
Let l(x) = -53*x**3 + 2*x**2 + 8*x + 6. Let i be l(-1). Suppose -152 = -5*r + 118. Which is greater: i or r?
r
Let x = -13 - -10. Let t = -0.5 - -0.46. Which is smaller: x or t?
x
Let l be -58 - -58 - (-1 - -11). Suppose -u = -0 - 4. Suppose -u*w - 26 = 10. Which is bigger: w or l?
w
Let