2. Is o at least 13?
False
Let t = -34 + 116. Let r be -7 + 2 - t/(-18). Is r less than 0.03?
True
Suppose -a - 2*t = 1163, -3*a - 3*t - 3474 = -0*a. Which is smaller: -1154 or a?
-1154
Suppose t + 3*t = a - 6, 4*a = 3*t + 11. Is t greater than -501?
True
Let t(x) = 7*x**2 + x - 1. Suppose -2*c - 30 = -32. Let v be t(c). Is 31/4 != v?
True
Let u = -6.54 + -0.46. Which is smaller: 4 or u?
u
Let z be ((-16)/(-6))/(23/(-69)). Which is smaller: z or -10?
-10
Let o(t) be the second derivative of 0*t**2 + 7*t - 1/6*t**3 + 0. Let a be o(0). Are a and 1/7 nonequal?
True
Let z be (-3)/12 + 1684/(-48). Let t = z - -35. Which is smaller: t or 0?
t
Let d(q) = -q**2 + 21*q - 32. Let t be d(6). Is 57 <= t?
True
Suppose -27 = s + 2*s. Let x be (-44)/(-10) - (-36)/s. Which is smaller: x or -6?
-6
Let k = -525.8 + 151.8. Is 1/4 equal to k?
False
Let z be 2/2*77/7. Suppose z + 4 = 5*x. Suppose -4*c = -c - 3*s - 3, 0 = -x*s - 3. Which is smaller: 1/23 or c?
c
Let u(q) = -q**2 - 2*q - 2. Let w be u(-2). Let t(r) = -8*r**2. Let b be t(w). Are b and -32 unequal?
False
Let g be ((-14)/10)/((-18)/(-15)). Suppose 3*o - 14 = -2. Let p be (4 - 2)*(-2)/o. Is p >= g?
True
Let t(g) = -g**2 - g - 9. Let h be t(-4). Let p = h - -29. Which is smaller: 1/2 or p?
1/2
Let q = -29 - -29.1. Which is smaller: 43.7 or q?
q
Let q be (-1)/2*(6 + -10 - -26). Let c(s) = s + 4. Let o be c(6). Let m = q + o. Which is smaller: 0.3 or m?
m
Suppose -3*o - 1 = -7. Suppose 2*x = -o*x. Let q be 1 + 23/(-24) - 51/(-153). Do x and q have the same value?
False
Let i = -179 - -120. Which is smaller: -56 or i?
i
Let g = -0.18 + 0.14. Let j = 269/3 - 89. Which is bigger: j or g?
j
Suppose 3*z + 6*r + 44 = 8*r, 4*r - 70 = 5*z. Is z less than -13?
True
Let n = -5.152 + 0.152. Is -2 less than or equal to n?
False
Let z = 3 + -6. Let f = -313/40 + 45/8. Is f greater than z?
True
Let o(q) = -q**3 - 4*q**2 - 5*q - 6. Let a be o(-4). Suppose -k - a = k. Let g = 0.166 + -0.266. Is g greater than or equal to k?
True
Let f be (-637)/(-2) + (-15)/(-30). Let o be f/(-99) + 1 + 2. Let a = -1 + 2. Which is smaller: a or o?
o
Let h(k) = -13*k**2 - 26*k - 68. Let q(n) = 7*n**2 + 13*n + 34. Let l(g) = 6*h(g) + 11*q(g). Let a be l(-6). Are a and 7 nonequal?
True
Let g = 184 - 93. Let x be (-2)/13 + (-77)/g. Which is greater: x or -1/2?
-1/2
Suppose -105*b = -118*b - 9958. Which is bigger: b or -765?
-765
Let l = 80 + -81. Let h = 17876/11 + -1624. Which is greater: h or l?
h
Let r = -3 + -5. Let m = 5 - 5. Let w = 0.1 - m. Which is smaller: r or w?
r
Let a be (5 - 34)*1/4. Suppose 1850 = -13*m + 1759. Which is greater: m or a?
m
Let w be -2 + (2 - 4) + (-4 - -73). Do w and 63 have the same value?
False
Let q = 0.5 - 1.44. Let k = q - -0.9. Let f be (-3 - (-10)/4)/(-2). Which is bigger: k or f?
f
Suppose 0 = g, -q - 5*g = -0*g + 3. Let o be (q/20)/((-12)/(-20) - 3). Which is smaller: o or 0?
0
Let y be 147/3660*11 - 15/20. Let m = y + 1/122. Let d = 26 + -79/3. Which is greater: d or m?
m
Let q(r) be the first derivative of -r**2/2 - 17*r + 10. Let i be q(-4). Which is bigger: 0 or i?
0
Suppose 2*b - 58 = -10. Let z = b - 24. Which is smaller: z or -1?
-1
Let c = -36 - -52. Let a = c - 15. Is 14 at least a?
True
Let o = 303 + -203. Let i = -71 + o. Let p be -1 + 0*2/6. Which is smaller: i or p?
p
Let f = -147 + 312. Let u be 1 - (f/102 - (-2)/(-4)). Which is smaller: u or 0?
u
Let c = 697/7 - 100. Let m = 91 - 87. Suppose -2*i + m = -6*i. Which is bigger: i or c?
c
Let u = -3411 + 64794/19. Are u and -2 equal?
False
Suppose -6*f - 2 = h, 3*h - 13 = 2*h - f. Which is greater: 18 or h?
18
Let r = 82 + -412/5. Suppose 118 = -n + 12. Let q = n + 743/7. Do r and q have the same value?
False
Let o be -4 + (-24)/(-100) + 4. Which is smaller: 0 or o?
0
Let r = -0.1 + 7. Let l = -0.17 + -6.83. Let o = l + r. Is -1 > o?
False
Let j = 31 - -23. Let h = -55 + j. Is -13 smaller than h?
True
Let k = 51946937/3359 - 15465. Is 1 greater than or equal to k?
True
Suppose d + 8 - 13 = 0. Suppose d*x - 52 + 22 = 0. Let n be (-4)/x*(-84)/(-8). Which is bigger: -6 or n?
-6
Let z = -6 - -9. Let d be (3 - (-33)/(-9))*z. Let g be 2/(-9) - (-19)/(-36). Do g and d have different values?
True
Let c = -64.89 - 0.11. Let w = c + 125. Which is greater: 0 or w?
w
Suppose 9*o = 23*o - 434. Is o less than 23?
False
Let q be -4*(0 - 4)/2. Suppose q*u - 15 = 3*u. Suppose -4*p - 14 = -u*p. Which is greater: -13 or p?
-13
Let l be (11/4)/((-4)/32). Let v = -23 - l. Is 2/17 smaller than v?
False
Let j be 0/2 - (-15 - -15). Suppose 0 = -5*m - 4 + 24. Suppose 5*c - 21 = -m*x + 2*c, -x - c + 6 = j. Are 2 and x equal?
False
Let u(d) = 2*d - 25. Let p(l) = -l**2 + 12*l - 27. Let b be p(5). Let t be u(b). Which is smaller: -4 or t?
t
Let z = -140893/155 + 909. Is z <= -1?
False
Suppose i - b = -4, 5*b = i - 7 + 27. Suppose i = -3*z + 26 - 26. Is -1.3 < z?
True
Let w = 53.6 - -24.3. Let r = -78 + w. Let s = 25.4 - 4.4. Is r at least s?
False
Suppose -3*h - 2 = -4*h. Suppose 2*v + 3*w - 4 - 3 = 0, h = -v + 4*w. Let i = -1 - 3. Which is smaller: i or v?
i
Let m(h) = h**2 + 12*h + 15. Let n be m(-9). Let x be 1*((7 - 3) + -13). Which is smaller: n or x?
n
Let n = -31.6 - -31.87. Let q = 1.1 - 1.03. Let k = q - n. Is k > 0?
False
Suppose -7*k + 49 = -3*k + 3*h, -57 = -2*k + 5*h. Suppose -15 = 5*a, -5*n + 0*n + 2*a + k = 0. Suppose -n*m = m + 6. Is m equal to -0.3?
False
Suppose -7*p - 345 = 978. Which is smaller: -187 or p?
p
Suppose -2*p + 26 = 496. Let j = p + 6579/28. Which is smaller: 1 or j?
j
Let f be (24/(-16))/(3/(-8)). Suppose -2*x + f*w = -4, x - w = 4*w - 10. Is x >= 10?
True
Let d(u) = -u + 17. Let s(v) = -v**3 + 7*v**2 - 5*v + 2. Let n be s(6). Let c be d(n). Let a be ((-8)/(-156))/((-12)/c). Is 1 greater than or equal to a?
True
Let j be 2 - (4 + 5403/(-2244)). Let i = 3/68 - j. Do 2/7 and i have the same value?
False
Let r = -94 + 93. Let b = r + 1. Which is greater: -0.037 or b?
b
Let k(w) = -4*w + 8. Let d be k(6). Let v = -11 - d. Let y be (-3)/(-5) + -2 + 12/5. Which is smaller: y or v?
y
Suppose 4*p + 3*t + 28 = 0, -4 = 4*p + 4*t - 7*t. Let x be -12*(0 - 3 - p). Is -9 smaller than x?
False
Let a = -234783/13 + 18051. Do a and -10 have different values?
True
Let f(i) = -41*i**2 - 26*i - 67. Let n be f(-3). Which is greater: -357 or n?
-357
Let b = 3 + -2. Let w be (-207)/390 + 23/46. Which is bigger: b or w?
b
Let x = 8 - 13. Let b be (x + 1 - -2) + 3. Let s be (-4)/60 - b/3. Is -8/5 less than or equal to s?
True
Let z = -78 - -644. Is 566 at most as big as z?
True
Let f be 1 - (-53 + 6 + -7). Is f at most as big as 54?
False
Suppose -4*o - 61 = -7*x + 2*x, 2*o + x + 27 = 0. Which is greater: -136/9 or o?
o
Let q(a) = a**3 - 3*a**2 - 4*a + 10. Let c be q(4). Suppose -5*t = c - 5. Which is smaller: 4/11 or t?
t
Let l(w) = 2*w - 17. Let p be l(11). Let k be p + -7 + (4 - 0). Suppose -13 - 7 = -5*r, k*b = 2*r - 14. Which is greater: -4 or b?
b
Let j(y) = -2*y**3 + y. Suppose 2*s - 7*s + 5*m - 20 = 0, 5*s - 1 = -2*m. Let l be j(s). Let b be ((-2)/10)/((-45)/18). Which is bigger: b or l?
l
Let a be (-3)/9 - 74/(-6). Let k be (2/3)/(a/18). Let s = 125 - 118. Is k less than s?
True
Let v(d) = -6*d + 2. Let x be v(6). Let g(t) = -t**2 - 49. Let n be g(0). Let z be (-15)/(-10) - n/x. Which is smaller: z or 0?
0
Let i = -3 - -7. Suppose 9*d = i*d - 10. Let h be 2/12*-1*(-3 + 6). Which is greater: d or h?
h
Let f = -0.88 - -0.61. Let d = -22.73 + f. Is d greater than 2/7?
False
Let v = -11.06 - -0.06. Let y = v - -61. Which is greater: y or 0?
y
Let r = 8 - 6. Let n = 191721/7 - 27323. Let z = 66 - n. Which is smaller: z or r?
z
Let o be 6/9*(-9)/3. Let s be (-72)/1080 - 148/30. Which is smaller: o or s?
s
Let i = 405 - -1087. Is 1492 >= i?
True
Suppose u = -4*c - 20, 0 = 4*u - 0*u + 4*c + 44. Let i be (-1)/((-4 + (-35)/u)*4). Suppose 0 = -2*o - 3*q - 0*q, 0 = -5*o - 3*q. Is o at least i?
True
Let u = -52.23 + 53. Let q = 1.77 - u. Which is smaller: q or 9?
q
Let w = 86/16113 - -816251/3045357. Let z be 5 - (3 - 1467/(-729)). Let x = z - w. Is x smaller than 1?
True
Let q = -96 + 1065/11. Is 1 greater than q?
True
Let i(d) = d - 4. Let w be i(-2). Let k be w/81*(-63)/6. Which is smaller: k or 1?
k
Let q be 1*(-5 + (-1132)/(-226)). Let i = -109/452 - q. Wh