 than m?
True
Suppose 0 = 5*a, h - 4*a = -9*a + 15. Which is smaller: h or 123/8?
h
Suppose 5*b = -3*k - 2*k + 15, 3*b - 4 = 2*k. Suppose -4*q + k + 11 = 0. Suppose q*t - 4*t = -1. Is t bigger than 1?
False
Let t be 369498/540 - (-1)/(-2). Let r = 679 - t. Let w = r - -21/5. Which is greater: -1 or w?
w
Let f = 0.102 + -0.302. Which is smaller: f or 117?
f
Let u be -3 + (-1)/((-3)/(-126)). Let g be ((-3)/u)/((-3)/(-36)). Suppose -t + 0*t = -2. Which is smaller: g or t?
g
Suppose -3*v + 18 = -6*a + 9*a, 2*a - 4*v - 6 = 0. Suppose h - 9 = 2*m, -2*h - 24 = -3*h + a*m. Is h less than 1/98?
True
Let h(q) be the second derivative of -q**3/6 - q**2 - 3*q. Let a be h(-12). Let c = a - 5. Is 6 greater than or equal to c?
True
Let l be 4/3*((-21852)/2424 - -9). Is l < 0?
True
Let b = -2591 + 12908/5. Which is greater: -8 or b?
-8
Let s = 2/4013 - -240742/76247. Is s <= 4?
True
Let n(f) = -3*f - 9. Let s be (-4)/8*14*1. Let d be n(s). Suppose -4*p = -4*i - d, 2*i + 7 - 17 = -2*p. Which is bigger: -1 or i?
i
Let f be (-3194)/5490 - 192/(-320). Is -1 <= f?
True
Let h = 19 - 16. Suppose -h = -2*r - 19. Let m be (4 + r)*1/1. Are -4 and m unequal?
False
Let w(o) be the third derivative of o**6/30 - o**5/20 - o**4/24 + o**3/3 + 2*o**2. Let z be w(2). Let u be z*(4 + 68/(-20)). Which is bigger: 11 or u?
u
Let c = 5952/185 + 1370/37. Which is smaller: 68 or c?
68
Suppose 3*w = -10*w + 3*w. Which is bigger: w or -1/1371?
w
Let w = -23 - -25. Suppose 0 = 4*r - 2*b - 16, 4*r - 5*b + w - 18 = 0. Suppose -g - 6 - 5 = 5*a, -8 = r*a. Is g smaller than 4/11?
True
Let j be 5/(4 + -9) + -5 - 771. Which is smaller: j or -776?
j
Let a(f) = 9*f - 16. Let o be a(10). Is 76 bigger than o?
True
Let f(r) = -1. Let t(i) = 4*i + 52. Let u(j) = -2*f(j) + t(j). Let l be u(-6). Is l less than or equal to 28?
False
Let c be 36/14 - (-9)/21. Suppose 0 = -c*h - s - 12, -s - 4*s - 9 = -2*h. Let d be 3/(7*h/4). Which is greater: d or -1?
d
Let o = 33 - 29. Let c(n) = -4*n + 6. Let m be c(o). Let u = m + 8. Is u greater than 0?
False
Let l = -5092 + 1043854/205. Is l != -1?
True
Suppose -2*w - 43 = -45. Which is greater: w or 8?
8
Let j be (0 - -1)*((-4 - -9) + -2). Suppose 3*t - t + j*w - 39 = 0, -3*w = t - 27. Is 12 greater than t?
False
Let n = 0 - -1. Let r = n - 2.5. Let q = r - -0.5. Which is smaller: 3/2 or q?
q
Let m = -167 - -166.82. Let v = 0.01 - 0.29. Let g = v - m. Which is smaller: g or 21?
g
Let f = -4702/3 + 1571. Is f less than 9?
True
Let y(d) = -d**2 + 18*d - 16. Let j be y(16). Suppose 4*f = -0*f - j, -3*c + 17 = -5*f. Is -2 > c?
False
Let q be 402/(-8)*112/84. Are -58 and q equal?
False
Let c be -202*(-3)/82 + -7. Which is bigger: c or -1?
c
Let p(v) = -2*v**2 + 26*v - 42. Let u be p(16). Is -686/5 < u?
False
Let u be ((-360)/(-230))/(-3)*(-10)/8. Is 2 > u?
True
Let y = 12/1183 - 3288/1183. Is y greater than -4?
True
Suppose -2*w + 15 = 3. Let a(p) be the second derivative of -p**5/20 + 5*p**4/12 + 7*p**3/6 - 3*p**2 + 11*p. Let r be a(w). Which is smaller: r or 6/23?
r
Suppose -4*c = 4*a, -4 = -5*c - a - 3*a. Suppose -5*s + 2 = -3*d, 5*s - 4 = c*d - 3*d. Suppose 2 = -k + d. Which is smaller: -4/7 or k?
k
Let i be (-14638)/(-39)*(-6)/(-4). Suppose 0 = -6*y - i + 59. Let q be (-2)/(-8) - (-23)/y. Which is smaller: -1 or q?
-1
Let f(d) = -2*d**2 - 20*d - 9. Let c be f(-9). Let n = -4 - -15. Which is bigger: n or c?
n
Let m = -121 + 122.01. Let o = 0.25 - m. Let c = 0.16 + o. Is c less than 2?
True
Let l = -3.6 - 11.4. Let z = l + 15.9. Let i = 0.1 + z. Which is smaller: -1 or i?
-1
Let s = 0.3 - 0.2. Let o be (-285)/(-75) - (2 - 4 - -2). Which is smaller: s or o?
s
Let k = -0.24 - -0.01. Is -1/3 <= k?
True
Suppose -670 = -f + 3*k, -3*f + 3398 = 2*f - 3*k. Let l = f + -10226/15. Is l > 1?
False
Suppose 3*c = 22 - 22. Which is smaller: 15/13 or c?
c
Let u be 2/8 + 421/(-156)*3. Which is greater: u or -7?
-7
Let x = 1/9216 + 27341/2829312. Is 0 at most x?
True
Let q be (-5)/(-2)*12/15. Suppose q*l + l + 12 = 0. Is l < -7?
False
Suppose 4*h - o + 72 = 0, 0 = h - 3*o - o + 3. Let w = h - 26. Is w less than or equal to 0?
True
Suppose -2*v - 5*o = 36 - 10, v + 23 = -5*o. Let d be 625/(-3) + (-1)/(-1). Let x = 205 + d. Which is smaller: x or v?
v
Suppose 0 = -4*a + 2 + 2. Let r be (-3185)/9464 - 6/(-16). Which is smaller: r or a?
r
Let m(g) = 2*g - 8. Let c be m(6). Suppose h + c = 6. Is 2 >= h?
True
Suppose 4*n - 32 = 3*n. Suppose 0 = 69*j - 62*j - 42. Suppose -5*z - 90 = -g + j*g, n = -2*g + 2*z. Are -17 and g non-equal?
False
Suppose 0 = -0*h + h + 1. Let i = 2728023 - 79123863/29. Let b = i - -386. Which is bigger: b or h?
b
Suppose -12 = -5*o + 3*o. Suppose -2*d - 26 = -2*s - 4*d, o = 2*d. Is s at least as big as 8?
True
Let i = 42 + -121. Are -77 and i equal?
False
Suppose 2*k - 22 = -4*y, -4*y = 4*k - 8 - 20. Suppose -t = -k*t - 5*h, -t + 5 = 5*h. Let b = 0.032 + 0.168. Is t at least b?
False
Let l be (-1012)/(-165) - (-2)/(-15). Let o(x) = -x**2 + 13*x + 1. Let j be o(13). Do l and j have the same value?
False
Let m(x) = 65*x + 38. Let g be m(-16). Let w = 4988/5 + g. Let u = 10 + -15. Which is greater: u or w?
w
Suppose 0 = -4398*y + 4397*y + 61. Which is greater: 73 or y?
73
Let s = -2/143 + 300/1001. Which is bigger: 1.14 or s?
1.14
Let k be (-2)/3 - 8*(-2)/(-12). Which is bigger: k or -16/5?
k
Let i be (5/(-10))/(1/(-8)). Suppose o + 3*o = i*t + 8, 4*t = o - 8. Let f be 24/42 + (-195)/84 + 2490/1400. Which is greater: o or f?
f
Let l = 11.93 + -12. Let u be 2/(-3)*(-30)/20 + (4 - 4). Are u and l equal?
False
Suppose 2*c - 46 = -40. Is c equal to 2?
False
Let z = 11 - 31/3. Let q = -1.19 + 1.88. Let b = q - 0.49. Is z greater than or equal to b?
True
Let p = 279739/333684 - 5/3627. Let c be 128/414 - (-26)/(-117). Let v = c - p. Which is bigger: -1 or v?
v
Let m = -8844 - -53179/6. Which is smaller: 20 or m?
m
Let s be (-12)/(-3) + -10 + 3 + 13. Suppose 3 - s = -7*u. Is 2/3 != u?
True
Let v(d) = d**2 + 8*d - 12. Let h be v(-9). Let q = -338 - -336. Is h greater than q?
False
Let n be 2/(-7) - 388/14. Let l be 3/n*(-12)/18. Let g(b) = b**2 - 10*b + 10. Let m be g(9). Is m greater than l?
True
Let c(u) = u + 1. Let a(q) = 7*q + 21. Let f(g) = -a(g) + 6*c(g). Let b be f(-8). Let w(x) = x**2 + 6*x + 3. Let n be w(b). Which is greater: 11 or n?
11
Let h = 105 + -113. Let j be 2/h + (-435)/(-108). Is 1 at least as big as j?
False
Let b = 4/901 + -5522/26129. Is 1 > b?
True
Let h be -1*-4*(-1)/(-116). Let f = 10 + -5. Suppose f*v - 5*l - 6 = 4, 2*l + 6 = 0. Which is greater: h or v?
h
Suppose 890 = -70*p + 80*p. Is p >= 626/7?
False
Let q(w) = w + 20. Let p be q(-10). Let l be (-45)/18*(-12)/p. Suppose 0 = -2*d - 4*s + l*s - 2, 2*d = -5*s - 18. Which is bigger: d or 2/95?
d
Let a be -5*(-2 - (-16)/10). Suppose 0*m + 12 = 4*k - m, 0 = 4*k + 3*m - 28. Suppose -35 = -3*c - k*c. Which is greater: c or a?
c
Suppose -7*x + 2*x = 2*i + 5, 5*x + 20 = -5*i. Does x = -337?
False
Let v(p) = p**3 - 13*p**2 + 13*p - 6. Let y be v(12). Do -12 and y have the same value?
False
Let o(t) = -t**3 - 5*t**2 + 4*t + 7. Let q be o(-5). Let k = 25 + q. Let c be (28/k)/(2/(-3)). Which is smaller: c or -5?
-5
Let n(d) = -2*d - 14. Let a be n(0). Let s = 19 + a. Suppose s = -4*t - 7. Is t smaller than -3?
False
Let j be (-4)/(16/52)*1. Let r = 11 + j. Let u be (-140)/(-30)*r/7. Which is smaller: 0 or u?
u
Let u = 26.1 - 25. Let a = 0.099 + 0.001. Let m = a - u. Which is smaller: m or 2?
m
Suppose -4*d - 5*m = -37, -3*d - 2*m + 8 = -11. Suppose 15 = -3*u + 5*b, -u - u - b + d = 0. Let p be -2 - (u - (-19)/(-9)). Is 0 smaller than p?
True
Suppose 12*u - 54*u + 546 = 0. Suppose 3*t + 3 = 36. Is t less than u?
True
Suppose 7 + 14 = 7*m. Suppose -m*j = j. Which is bigger: j or 2/35?
2/35
Suppose 5*p + d - 16 = 0, 0 = -2*p + 3*d - 1 + 4. Suppose -f - 4 + p = s, 7 = s + 5*f. Let u(a) = 2*a**2 - 9*a + 2. Let g be u(4). Which is smaller: g or s?
s
Let p = 3127 - 2492. Is p smaller than 1907/3?
True
Suppose -4*t + 5*c - 7 = 0, -2*t - c + 11 = 4. Suppose 0 = 3*l + 3*l. Suppose -3*u + d - 2 = -u, l = u - 5*d + 10. Which is bigger: u or t?
t
Let a = -4 + 6. Suppose -3*i - 34 = -a*j, 5*j = 3*j + i + 26. Let h = 30 - 18. Is j at most h?
True
Let v = -94307/1258320 - -1/8560. Do v and 1 have different values?
Tr