r: 9 or u?
9
Suppose 3*v = 5*v - 86. Is 43 bigger than v?
False
Suppose -20 = -p - 4*p. Suppose -3*x + 1 = p. Which is smaller: x or 2/5?
x
Let k(g) = g**3 + 2*g**2 - 4. Let x be k(-2). Let f be 1/4*(-20)/x. Which is smaller: 2 or f?
f
Suppose -5 = 5*j - 10*j. Suppose 0*s + s = 6. Which is smaller: s or j?
j
Let l = 272 - 271.7. Let h be (299/(-84) - -2) + 2. Let j = -4/21 + h. Which is smaller: l or j?
j
Suppose 99 = -5*a - 116. Which is greater: a or -45?
a
Let p be (-1)/(((-4)/(-10))/2). Let u = 6 + p. Let t = 2 - 1. Is u < t?
False
Let g = -8 - -5. Let l be (1 - 2)*2/g. Let v = 34 + -69/2. Which is bigger: v or l?
l
Let z = -116.1 - -131. Let p = z - 15. Is 3 greater than p?
True
Let o be (-1 + 1*-2)/2. Suppose -2*x = 2*k - 0*k - 6, -5*x = 4*k - 16. Is o at most as big as k?
True
Let q = -5 + 8. Let b(v) = v**3 - v**2 - 3*v - 4. Let a be b(q). Which is smaller: a or 6?
a
Let h = 66 - 53. Which is greater: 0 or h?
h
Suppose -5*n = 3*t + 38, -4*t - 2*n - 15 = 17. Which is bigger: -4 or t?
-4
Let c be (-3)/(-1)*5/15. Let u be (0 + c)/(36/8). Let i be (-2)/(-10) + 18/(-15). Is i > u?
False
Let f = -8423/58804 - -39/244. Let m be (-6530)/15906 + (-2)/(-3). Let z = f + m. Is z at least as big as -1?
True
Let m = 0 + 0.3. Let b = 0.5 - m. Let j be 36/(-40) - (-2)/4. Is b less than j?
False
Let s(t) = t**3 + t**2. Let m(q) = -5*q**3 - 11*q**2 - 6*q + 9. Let v(u) = -m(u) - 6*s(u). Let r be v(6). Let x be 2 - (0 - 30/r). Is x bigger than -2?
True
Let v = -35/2 - -17. Which is bigger: -4 or v?
v
Let v = -1 - -2. Let s = -0.3 + -0.7. Let x = s - v. Is x bigger than 0?
False
Let u be -2*(-3)/(-18)*3. Does u = -7/11?
False
Let c(v) = -v**3 - 3*v**2 + 2. Let t be c(-2). Which is bigger: -3 or t?
t
Let n(k) = k**2 - 4*k + 4. Let u be n(3). Let b be (-1)/(-1) - 2 - u. Suppose 0 = 3*v - 7*v. Which is bigger: b or v?
v
Let i = 0 - -1. Let u(y) = 8*y + 3. Let j(w) = -9*w - 4. Let k(l) = 6*j(l) + 7*u(l). Let o be k(2). Is o at least as big as i?
True
Let l(i) = i - 24. Let d be l(12). Does d = -12?
True
Let h be (8/(-5))/(6/(-45)). Suppose -5 - h = -l + 3*w, -5*w = l + 15. Is 5 less than l?
False
Let t = -8/61 - 204/305. Is t greater than -2?
True
Let n(h) = -h**3 - 8*h**2 - 9*h - 10. Let y be n(-7). Suppose 5*l - y = 1. Let p be (l - 2) + 1/3. Is 1/4 at most as big as p?
False
Suppose 0 = 3*d - 0*d - 24. Suppose 4*t - t = 5*v - 20, 5*t = 2*v - d. Is -1 > t?
False
Let f = -1 + 3. Suppose -5 = 3*i - f. Is -5 != i?
True
Suppose 20*m + 7 = 13*m. Is -1 not equal to m?
False
Suppose -5*c + 12 = 27. Suppose -2*v = 3*l - 12, 0*v + 2*l = -4*v + 16. Suppose v*f = 7*f + 12. Is f smaller than c?
False
Let r = 24.1 - 26. Let k = r + 2. Let f = -3 + 2.8. Are f and k equal?
False
Let p = -60 - 5. Is -65 at most p?
True
Suppose -2*i + 4*r + 14 = 0, -4*r + 7*r = 5*i. Let k be (-1)/(1/i) - 2. Is -1/4 less than or equal to k?
True
Suppose 16 + 20 = 6*d. Is d at least as big as 6?
True
Let p = -23/76 - -1/19. Let o = 29 + -18. Suppose -a - 2*a + o = 5*m, 3*a - 2 = 4*m. Which is greater: p or m?
m
Let m(d) = d**2 - 3*d. Let o be m(0). Is -12 greater than o?
False
Let w = 6 + -9. Let d = -1 - -4. Let y be 3 + w - d/(-11). Do 1 and y have the same value?
False
Let m = 6 - 7. Which is bigger: 2 or m?
2
Let m = -669/92 + 35/23. Let c = 6 + m. Which is bigger: c or -1?
c
Suppose -2*q = -2*h - 9 - 19, -52 = -4*q + 2*h. Is 10 not equal to q?
True
Let j be (-38)/209 - 750/(-11). Which is smaller: j or 66?
66
Let o be 8/(-320)*(0 - 6). Is -1 equal to o?
False
Suppose 0*c + 10 = 5*q - 5*c, -2*c = -3*q + 9. Suppose 6 - 61 = q*a. Let d be (-2)/(-8) - a/(-12). Are -1 and d nonequal?
True
Let d(b) = b + 6. Let x(k) = -k + 3. Let o be x(0). Suppose 16 = 3*t - 5*t + o*l, -5*t + l = 27. Let n be d(t). Is 1 greater than or equal to n?
True
Let o = -11744/5 - -2275. Let g = o + 75. Is 0 smaller than g?
True
Let m be (-1)/3 + 1/3. Let b(o) = -2*o - 13. Let i be (-13)/39 - 20/3. Let c be b(i). Which is bigger: c or m?
c
Suppose -o + 6 = 1. Let k be 6/1*(-2)/(-4). Is o >= k?
True
Let r be 0 + 4/(-30)*-5. Which is smaller: r or -5?
-5
Let r = 5.07 + -0.07. Let l = r + -7. Let b = 41/180 + 1/45. Which is bigger: b or l?
b
Let o = 1628 - 11378/7. Which is bigger: 3 or o?
3
Let r be ((-1)/2)/((-4)/8). Do r and 1/3 have the same value?
False
Suppose 2*d + 9 = 35. Let h = -38/3 + d. Let x = 3.6 - 0.6. Which is smaller: x or h?
h
Suppose 0 = 2*r + 1 + 3. Let i = 4 + r. Which is greater: i or 1?
i
Let x = -21/5 + 183/40. Does x = 1?
False
Let d be (-1 + 1/3)*42/(-12). Let i = 2 + -1.9. Is i smaller than d?
True
Suppose -2*o + 44 + 14 = 0. Which is greater: 28 or o?
o
Let r(p) be the third derivative of p**6/120 + p**5/60 + p**4/24 + 2*p**3/3 - 4*p**2. Let o be r(0). Which is greater: 3 or o?
o
Let b be 280/42*(-6)/(-5). Suppose p + 24 = 4*p. Is b equal to p?
True
Let s = -3 - -1. Let i = -2.95 - -1.95. Is i smaller than s?
False
Let t be -18*(-4)/((-16)/(-18)). Let o = t + -889/11. Suppose 0*h - 3*w + 3 = 2*h, -w = h - 1. Which is greater: o or h?
o
Let q(f) = f**3 - 8*f**2 + 8*f + 4. Let u be q(7). Let n = u - 10. Let h be 2/3 - 0/1. Which is smaller: n or h?
h
Suppose 0*z + 3*z = 36. Let w = 16 - z. Which is smaller: w or 6?
w
Let c(a) = -2*a. Let r = 0 + -2. Let p be c(r). Let w be (-1 + 0 - 0)*0. Which is smaller: p or w?
w
Let v(i) = -2*i + 24. Let l be v(16). Is l greater than or equal to -9?
True
Let m be (-3)/(1/(-6) - (-50)/120). Are -11 and m nonequal?
True
Suppose -f + 0*k + 4*k + 7 = 0, -10 = -5*f - 5*k. Suppose 4*u + 29 = -f*o, o = u - o + 10. Let p = u + 8. Which is smaller: p or -2/23?
-2/23
Let a = -2/55 - 92/495. Is a != -2/19?
True
Suppose 0*u + i = -4*u + 10, i = -2*u + 4. Which is bigger: u or 14?
14
Let o(h) = -h - 2. Let p be o(-6). Let l be 9/3*(-10)/(-6). Suppose -18 = -3*m + 2*j, -l*j + 10*j = -15. Is m at most p?
True
Let t = 0 + 2. Let l = t + -1.9. Is l at least -1?
True
Let k(g) = -g**2 + 9*g - 9. Let f be k(8). Which is bigger: 0 or f?
0
Suppose q = -u - 2*q + 9, 3*u - q + 3 = 0. Let n = -6 - -11. Let o = n + -5. Is o != u?
False
Let k(s) = -s**3 + 13*s**2 - 14*s + 18. Let h be k(12). Is -2 > h?
True
Let w = 108641 + -3041517/28. Let y = 63/4 - w. Let b = y + -6/7. Which is smaller: 0 or b?
b
Let f = 86793/5 - 17299. Let a = -59 + f. Which is smaller: 2 or a?
a
Suppose -i = -6*o + 2*o + 40, 0 = -2*o + 5*i + 20. Let p = o - 21/2. Which is greater: 0 or p?
0
Suppose 0 = -0*i + 5*i - 30. Let d(a) = 3*a + 1. Let c be d(3). Suppose -i*p = -p - c. Which is smaller: p or 5/2?
p
Let q = -1 - 1. Are q and -4 unequal?
True
Suppose -2*s - 2*v = 2*s + 16, 2*v = 3*s + 19. Let d = s + -11. Let u be (-2)/(-3)*(-6)/d. Which is greater: u or 0?
u
Let c be -1 + (-4)/(-24)*3. Which is smaller: c or 1/4?
c
Let a = 112/177 - -2/59. Let w = 1 + 0. Let l be (2 - 2) + 0 + w. Which is bigger: a or l?
l
Let j = -8036/15 - -536. Which is bigger: j or 0?
j
Suppose -6*v = -2*v + 4. Which is smaller: 2/33 or v?
v
Let r = 2 + -3. Suppose -4*j = -2*j. Which is smaller: j or r?
r
Let o = -11.8 + 13. Let t = 1.5 - o. Is t at least 3/5?
False
Suppose 4*f = s + 6, -4*f + f + 4 = -s. Let n = -3 + 6. Suppose n*p = -3 + 12. Which is greater: p or f?
p
Let z be (-4)/(-6)*39/(-1). Let w be ((-4)/(-6))/(z/6). Let n be 9/6*(-4)/(-6). Which is greater: n or w?
n
Let d be (-3 + 26/8)*1. Is d < -6/5?
False
Suppose 5*f + 139 = 4*w - 2, 2*f - 32 = -w. Is 35 smaller than w?
False
Suppose -3*u = 2*c - 0*c - 20, 0 = -5*c + 2*u + 12. Suppose -c*x + 4 - 16 = 0. Which is bigger: x or -2?
-2
Suppose 3*n = 3*p - n + 13, -4*n = 8. Let g(t) = -t - 9. Let m be g(p). Suppose 0 = 3*h - 2*j + j + 4, 3*h + 3*j = -24. Which is greater: h or m?
m
Let f(i) = i + 8. Let z be f(-7). Let v be (-4)/(-14) - 276/378. Which is smaller: v or z?
v
Let q(m) = m**2 - 7*m + 10. Let i be q(7). Let s be (i/(-16))/((-2)/(-4)). Which is greater: s or 0?
0
Let a = 1/6 - 5/6. Suppose 6*r - r = 0. Is a equal to r?
False
Suppose -6*o + 6 + 84 = 0. Which is greater: 14 or o?
o
Let t(x) = -x**3 + 5*x**2 + x - 5. Let j be t(4). Suppose -2*l + a - 3 = -0*l, 5*a = 5*l + j. Which is bigger: 2/7 or l?
2/7
Let t = 82 - 78.1. Let s = t - -0.1. Is s greater than or equal to 2/3?
True
Let l = -26.3 + 30. Let k = -1.7 + l. Let n = -0.5 - -0.3. Which is smaller: n or k?
n