 or -5/8?
-5/8
Let o(r) = -7*r + 260. Let y be o(37). Is y <= -1/350?
False
Suppose 5*u = u. Which is greater: u or -24/29?
u
Let u = 8/1089 + 81563/15246. Which is smaller: 6 or u?
u
Let d = -1/3 + 1/12. Let u = 131 + -130. Is d less than u?
True
Let b = -27.2 + 29.94. Let n = -0.26 - b. Let m = n - -2. Which is greater: 10 or m?
10
Suppose 16 = 5*s - 19. Let c = -685 - -691. Which is bigger: s or c?
s
Let x = -0.737 - -0.847. Are x and 3 unequal?
True
Let f be 10/24*3 - 1. Let y = 6.8 + -27.8. Is y > f?
False
Let k = 145 + -145. Let p = -85/308 + 1/4. Is k greater than or equal to p?
True
Suppose 4*u + 186 = 6*u. Let x = u - 40. Is x >= 53?
True
Suppose 20*x - 1666 = -78*x. Let a = -22 - -41. Which is smaller: a or x?
x
Let q = -0.1321 - 0.4709. Which is bigger: q or 1/4?
1/4
Suppose -82 = 4*n + t - 2*t, 2*n - t + 42 = 0. Let y be 0/(n/5 + 3). Let s be -1 + 10/4 + -2. Which is greater: s or y?
y
Let f(o) = o**3 + 14*o**2 + 13*o + 12. Let q be f(-13). Let i = -3 + q. Let x(k) = k**3 + k**2 - k. Let a be x(2). Which is bigger: i or a?
a
Let d = 0.15 + 124.85. Which is smaller: -1/4 or d?
-1/4
Let z(b) = -2*b + 1. Let t be z(-1). Let y = 13 - 9. Let w be ((-2)/y)/(3/(-6)). Is t smaller than w?
False
Suppose 3*f + 5*c + 6 + 2 = 0, -c = -3*f - 2. Is -11/12 less than f?
False
Let y be 4/(-3)*(-375)/10. Let a = 771 + -723. Is y <= a?
False
Let w(f) = -f**3 - 6*f**2 - 2*f**3 + 8*f + 7 + f**3 + f**3. Let j be w(-7). Is j less than -1/5?
False
Let n = -11 - -9. Let b(q) = -42*q - 3. Let a be b(n). Let p = -407/5 + a. Are p and 0 non-equal?
True
Let c = -20 + 21. Let f(d) = -12*d - 7. Let j be f(5). Let v = j + 206/3. Which is smaller: c or v?
c
Let j = -0.07 + 0.059. Which is smaller: 0 or j?
j
Let z = 27 - 22. Suppose -30 = -w + 6*w - z*k, 4*w + 5*k - 21 = 0. Does -2/121 = w?
False
Suppose -z - 22 = -4*o, 12 = 3*o + 3*z - 12. Let m be (-14)/o*4/7. Suppose 1517 = -6*k + 1505. Is m != k?
True
Suppose 3*u + u + 2*v = 0, u = -5*v. Let g(x) be the third derivative of x**4/12 + x**3/6 + 21*x**2. Let p be g(u). Which is bigger: -3/8 or p?
p
Let n = 36/43 - 223/215. Which is bigger: 0 or n?
0
Suppose 3*h + 516 + 141 = 0. Is h at least as big as -219?
True
Let k(c) = 6*c - 13. Let q be k(5). Let j = q - 9. Which is smaller: 31/4 or j?
31/4
Let p = -687 + 686. Are p and -20/117 unequal?
True
Let m(p) = p - 9. Let r be m(11). Let s be -2 + (-51)/(-12) - r. Let u = -151/21 + 22/3. Is s less than u?
False
Suppose k = -3*k + 40. Suppose 10 = -2*q + 4*q, 2*v + k = 2*q. Let g = -889 - -6225/7. Is v <= g?
True
Let p(x) = -x**3 + 8*x**2 - 7*x - 1. Let k be p(7). Let t(h) be the first derivative of 2*h**2 - 22*h + 13. Let s be t(5). Which is smaller: s or k?
s
Suppose -4 = m - 4*n, 0 = -83*m + 78*m + 5*n + 25. Which is bigger: 118/17 or m?
m
Let t be 1 + (-2)/((-4)/6) + 0. Suppose 2*i + 2*i - 83 = -3*h, t*i = -16. Is h at most 32?
False
Let g be ((-27)/12)/(6/(-8)). Let m be (8/(-5))/(-4) + g/5. Which is greater: m or 10?
10
Let t be -6 - (-5)/(-2 + 7). Let z be (-1)/t - 5/25. Is z less than -1/2?
False
Let r = 211 + -130. Suppose 7*z = 4*b + 2*z - r, -5*b = z - 65. Suppose -4*u + 12 = -48. Is u less than b?
False
Let o = -133/4 - -33. Let i = 0.233 - 0.123. Is i at least as big as o?
True
Suppose -2*p + 6 = -3*t + 18, -p - t - 11 = 0. Let m be (0 + 12/p)/((-4)/(-66)). Is -1 bigger than m?
True
Suppose 11 = 2*x + 3. Suppose 2*w = x*w. Which is bigger: w or -3/28?
w
Let n = 2 - 0. Let c = -14.07 - -14. Let r = 0.07 + c. Is n bigger than r?
True
Let p = 3 - 3.04. Let i = p + -0.96. Let j = -0.07 + -1.93. Which is smaller: j or i?
j
Let q(v) = v**3 + v**2 - 2*v + 6. Let b be q(0). Let a be -1 + 42/9*-1. Let g = a + b. Which is greater: 1 or g?
1
Let d = -161 + 1451/9. Let k = 136 + -135. Which is smaller: d or k?
d
Let r = -52 - -118. Do r and 67 have the same value?
False
Let p be 3 + -9 - (2 - (15 - 7)). Suppose 356 = 2*n + 2*n - 4*k, 3*n - 274 = -4*k. Let j be (-2)/(-4)*(-24)/n. Is p >= j?
True
Let r = 5.1 - -11.9. Let o = -21 - r. Which is bigger: o or -2/5?
-2/5
Suppose -11*x = -9*x + 20. Let l be (2 - 3) + -2 - 9. Is x at most as big as l?
False
Suppose 93 = -l + 4*l. Suppose -4*o + 5*o - 5*j = l, -o - 19 = 5*j. Let v be (-1)/o - (-5)/(-42). Is v < 1/3?
True
Suppose -45*x + 572 = -34*x. Are 52 and x equal?
True
Let a = -11727/13 + 848543/936. Let y = a + -46/9. Is 1/2 greater than y?
True
Let y = 0.5 + -0.5. Let m = y + -0.2. Let s = -4400/9 - -489. Is m not equal to s?
True
Let n = -195.61 + -0.39. Which is greater: 1/2 or n?
1/2
Let x be (-2)/8 + 11259/252. Let w = x - 44. Is w at least -1?
True
Let r = -8 - -16. Let j = 57 - 59. Let h(z) = -2*z**3 - 2*z**2 - 2*z - 3. Let a be h(j). Which is smaller: r or a?
r
Let i = -27953/5 - -5591. Let n = 0.631 - -0.179. Is i greater than n?
False
Suppose 5*w = -x + 255, -5*x = 5*w - 39 - 236. Let d = 2/1043 - -154358/3129. Which is smaller: w or d?
d
Let k = 1842 - 1842. Suppose 2*i = -21 + 3. Let q be 9/6*3/i. Which is greater: q or k?
k
Let n(r) = r**2 - 6*r + 3. Let f be n(4). Let h be 9 - 3 - 3 - f. Suppose -4*v - h + 12 = 0. Which is smaller: v or 2/45?
2/45
Let i be (1 + -2)/(6/54). Let o = i + 6. Let m be o/9 - (-26)/42. Which is smaller: m or 1?
m
Suppose -32 = -6*g - 8. Suppose -3*k + 0*k + 3 = 0, 2*a = g*k - 10. Which is smaller: a or 11?
a
Suppose 5*u + 0*w - 117 = 3*w, -w = 5*u - 121. Suppose u = -b + 7*b. Let f = 2 + -2.2. Is b at least f?
True
Let w = -3800 + 3799. Let i = -19659/29 - -678. Which is smaller: w or i?
w
Let a = -130.267 + 0.267. Let r = -129.9 - a. Is r >= 64/7?
False
Let y(v) = 3*v**2 - v. Let d be y(-1). Let z(b) = -5*b**2 - b + 1. Let k be z(1). Let j be k/(-30)*-4*-3. Which is smaller: d or j?
j
Let p = 0.068 - -0.932. Which is bigger: p or 2/127?
p
Let r = -478 + 476. Is r greater than or equal to -0.202?
False
Let q = 26273/19 - 1383. Let h(c) = -c**3 - 10*c**2 - 10*c - 8. Let k be h(-9). Which is smaller: k or q?
q
Let x = -50123/33 - -1519. Which is smaller: 2/5 or x?
x
Let s = 804 + -804.5. Is s bigger than -3/19?
False
Let h = -32.7 + 34.17. Let m = 1.5 - h. Let p = 8.2 + -8. Are m and p equal?
False
Let s = -4/73 + 352/1095. Let o(l) = -l**3 + 13*l**2 - l + 15. Let p be o(13). Let m be p + (2 - (-4)/(-1)). Is m < s?
True
Suppose 2*v - 22 = 9*j - 6*j, v - 2*j - 13 = 0. Is 39/7 > v?
True
Let u = -12.81 + -0.19. Let o = -46.95 + -0.05. Let r = 47.1 + o. Which is smaller: r or u?
u
Suppose -7*u = -u - 8*u. Suppose 43*k - 41*k - 14 = u. Which is smaller: k or 2?
2
Let k = -407/42 + 83/6. Are 3 and k non-equal?
True
Let q be (-1 - (3 - -36))*-4. Suppose 4*t + 184 = -0*t - v, 0 = -4*t + 5*v - q. Is -45 bigger than t?
False
Let d be (-15)/(-21)*(-12)/(-75). Suppose 3*m + 65*c - 70*c = 26, 2*m - 5*c = 24. Is d greater than m?
False
Let h be (660/56)/(-3) + (-15)/(-3). Is -5 at least h?
False
Suppose 0 = -5*x - 2*x + 399. Let r = -37 + x. Which is bigger: r or 0.1?
r
Let w(d) = 10*d - 555. Let c be w(59). Let o be (-1)/4 + 399/12. Which is bigger: o or c?
c
Let u = -311.8 + 312. Is u at least -32/3?
True
Suppose 0 = 9*j - 4*j - 5. Suppose j = -c + 2*c. Let s(o) = -3*o**3 + o**2 + o. Let i be s(c). Which is bigger: i or -0.4?
-0.4
Let k = -116 - -116.2. Which is smaller: -1.7 or k?
-1.7
Suppose -5*t - 118 = -3*g, -8 = t + 2*g + 26. Suppose c = -5*w - 32, 5*c - 5*w + 42 + 88 = 0. Do t and c have the same value?
False
Suppose w + 5*b = 20, 1 = w + b - 3. Let v be (-20 + 21)*(2 + w). Suppose -t + 2*t - 15 = -5*a, -2*t + 14 = v*a. Is a != 3?
True
Let l = -20 + 11. Let s(j) be the third derivative of j**6/120 + j**5/6 + 3*j**4/8 - 3*j**2. Let m be s(l). Which is smaller: m or 2/5?
m
Let b = 606 - 982. Is -377 greater than b?
False
Let y be 3*(-2 + -13) + 1. Which is greater: -43 or y?
-43
Let q(b) = 3*b**3 + 7*b**2 + 2*b - 11. Let h(j) = -2*j**3 - 6*j**2 - 3*j + 10. Let l(z) = 4*h(z) + 3*q(z). Let f be l(3). Which is smaller: f or -2?
f
Let s(g) = -1. Let b(d) = d + 6. Suppose -i - 12 = 2*i. Let p(j) = i*s(j) - b(j). Let l be p(-1). Which is smaller: l or 21?
l
Let t = -1 + 2. Let z = -1/872 - 3430429/16568. Let i = z - -207. Is i less than or equal to t?
True
Let x be (-4)/35*(-95)/38. Is -4/129 at most x?
True
Let n = 2.51 - -2.75. Let f = n + -0.26. Let j(b) = -b**3 + 7*b**2 - 6*b. Let z be j(