 Is k > 104?
False
Let v = 273 - 339. Let o be 40/9 + -2 + v/132. Which is smaller: o or 2?
o
Let n = 1533 - 1409. Which is smaller: 125 or n?
n
Let c(d) = 11*d - 32. Let p be c(3). Which is greater: -8/509 or p?
p
Suppose 4*b + 4*y = -44, 7*y + 13 = -b + 8*y. Let q be 2524/b - (-11)/33. Which is bigger: q or -211?
q
Let f(k) = -11*k**3 - 2*k**2 + 6*k - 15. Let i be f(-6). Let d = i - 326681/145. Are d and -1/3 nonequal?
True
Suppose -5*c + 332 = -571*l + 573*l, 0 = 4*l + c - 664. Let y(z) = 9*z**2 - 4*z + 5. Let r be y(-4). Which is smaller: r or l?
r
Suppose 2*z = -2*z - 5*w - 187, 148 = -3*z + 4*w. Let y be (-8)/1110*((-520)/z)/13. Which is smaller: 0 or y?
y
Let d(j) = -2*j**2 - 126*j - 1841. Let w be d(-25). Which is smaller: w or 77?
w
Suppose -85*x = 277 + 233. Which is smaller: x or 33?
x
Suppose -i + 4*a - 10 = 0, 4*i - 5*a - 20 = -9*a. Suppose -6*j + 40 = i*j. Suppose -4*v = -2*o + 78, j*o - o + 3*v - 112 = 0. Which is smaller: 33 or o?
o
Let m = 0.483 + 0.317. Let x = m - 1.2. Is x greater than or equal to 8.9?
False
Let h be 0 + (-11)/(242/(-88)). Do h and 904 have the same value?
False
Let u be (324/(-144))/(6/(-1184)). Let t = u + -512. Let q = -75 + 6. Do t and q have different values?
True
Suppose 3*h + 19 + 20 = 0. Let m be h - -9 - 2*-59. Let v be (m/(4 + -7))/(-2). Is v smaller than 18?
False
Suppose -2655 = -5*b + j, -8*j = 4*b - 10*j - 2118. Let q = -130 + b. Does q = 402?
True
Let n be (-9538)/(-19) + 0 + 1. Let m = -677 + n. Which is smaller: m or -175?
-175
Let q = 222223/105885 - 94/8145. Let f = q - 28/13. Is -2/7 smaller than f?
True
Let i = -0.02302 - 16.18698. Is i > -6?
False
Let q = -5.8 - -6. Let y = -25078/7 - -3590. Is y >= q?
True
Let z = 5437 + -5349. Suppose 16*l - 340 = 12*l. Is z less than or equal to l?
False
Suppose 0 = l - 1, 0 = 2*t - 3*l - 1 + 4. Let z = -588/53 - -304102/27401. Is t bigger than z?
False
Let a be (-10)/8 + (-451)/(-44). Let h = 1273 + -1266. Is h less than or equal to a?
True
Suppose 35162 - 37802 = 5*u. Is u equal to -534?
False
Let m be 1*(-14)/(-35) + 8/5. Suppose -m*h = -5*h + 297. Suppose g + h = -10*g. Is g > -10?
True
Let v(t) = t**3 + 10*t**2 - 8*t + 19. Let y be v(-11). Let c be ((12/35)/(-3))/(y/35). Which is smaller: -0.124 or c?
-0.124
Let o = 0.04 - 0.13. Let l = -48253 - -48251.7. Is o >= l?
True
Suppose 39*x - 26*x + 400 = 33*x. Does 524/25 = x?
False
Let i = 8788/198235 - 24/967. Suppose 0*s = 4*s + d, -3*s + 11 = -2*d. Is i equal to s?
False
Let w = 168 - 164. Suppose -3*p = -5*p - 4, 0 = 4*k - w*p + 856. Is k less than or equal to -216?
True
Let s = -220 + 235. Suppose s*a - 8*a - 35 = 0. Which is greater: 3 or a?
a
Let w be ((-12)/(-40)*-2)/(30/140). Is -4 equal to w?
False
Let z be ((12987/(-18))/(-37))/((-222)/(-20)). Which is smaller: z or 1?
1
Let n be 151 + (18 - -9)/9. Let h be 14/(-100)*(-11)/n*8. Let j = -6 + 25/4. Which is smaller: j or h?
h
Let p = 7 + -6.89. Let f = p + 5.89. Let i be ((-4)/(-4) - 1/(-1)) + -1. Is f at most as big as i?
False
Let h be 6/(-164)*((-4)/(-9))/((-4)/(-186)). Which is greater: 0 or h?
0
Suppose -4*k + 3*v - 353 = 0, -2*v + 368 - 14 = -4*k. Let s = k + 95. Suppose -s*u - 24 = -54. Are u and 3 nonequal?
True
Let t(p) = p**3 - 3*p**2 + p - 2. Let n be t(3). Let w = -85/817 - -9/43. Is n <= w?
False
Let q = -112 + 200. Let j = 11893.036 + -11981. Let t = j + q. Is t smaller than -0.2?
False
Suppose 3*y - v - 327 = 0, -32*y + 4*v + 1968 = -14*y. Let q be (-2 - (-108 + -3))/1. Which is smaller: q or y?
q
Let i = 244 + -74. Let r be (i/(-25))/(3/60). Is r > -135?
False
Suppose -2*j + 5*l = -3, 3*j - 7*l = -6*l - 15. Let m be (-3 - 70/(-21))/((-2)/j). Is m >= -2/2635?
True
Suppose 3*k + 4*m = 6*k - 8, 0 = -5*k - m + 21. Let a be 1584/297 - (-1 + 8/6). Suppose -n = -4*n + a*o - 20, -k*o = -5*n - 16. Is n equal to 20/17?
False
Let t = -6501 + 6785. Is t at most 284?
True
Let h = -2644/241 - -11. Are h and 0 nonequal?
True
Suppose 7121*m - 2478 = 7079*m. Suppose -333 + 48 = -5*q. Which is bigger: m or q?
m
Let o = -346 + 346. Let z be (-181)/(-5) - o/5. Which is greater: z or 1?
z
Let o = 3.6597 - -0.0853. Let v = o - -0.255. Which is bigger: v or -2/33?
v
Suppose -68*d + 20222 - 76552 = -199*d. Do d and 431 have the same value?
False
Let k = 0.0738 + -0.0186. Is k <= 1/2?
True
Suppose -8*d - 195 = -3*w - 20925, -3*w = 2*d + 20700. Is -6903 bigger than w?
False
Suppose 3*j - 7*b = -6*b + 4, 2*j + 4*b - 26 = 0. Suppose -3*w - 37 = z, j*w = 2*w + 5*z - 23. Which is smaller: w or -14?
-14
Let x = 108 - 57. Suppose -35*o - 17 = -39*o + 5*k, 4*k = -2*o + 2. Suppose -4*a - a + 30 = n, -o*n - 2*a + 142 = 0. Which is smaller: n or x?
n
Let k(v) = 2*v**2 + 3*v + 3. Let n be k(-2). Suppose 4*i - 22*p + 8 = -18*p, 4*i = p + 7. Which is greater: i or n?
n
Let m = -103080877/1697 + 60743. Do m and 1 have different values?
True
Let m = 138191/421138 + -4/7261. Which is smaller: 1 or m?
m
Let b(g) be the third derivative of 11*g**6/40 - g**4/24 + g**3/6 - 9*g**2. Let l be b(1). Suppose 14*k = 40 + 436. Is l at least k?
False
Suppose 4*o + 70 = -3*d, 5*d + 315 = -3*o + 202. Suppose 3*v - 4*v + 4*s = 8, 2*v - s = -44. Which is greater: v or d?
d
Suppose 2*w = -2*j - w + 22, 50 = 4*j + 3*w. Let r(x) = 3*x**2 + 4*x - 5. Let n be r(1). Suppose -4*c + u + 2*u + 72 = 0, 0 = n*c + 3*u - 18. Is c <= j?
False
Let p = -80 - -76. Let u be 0/((2/6)/(p/24)). Suppose u = 56*x - 61*x + 55. Which is greater: x or 1?
x
Let b = 54 - 51. Let x(a) = 3*a - 9. Let y be x(b). Which is smaller: y or -9/22?
-9/22
Let o = 118 - 107. Suppose 10*r = 11*r - o. Suppose -4*a + r = -5, 0 = 4*u + 3*a. Is u < -5?
False
Let y(o) be the first derivative of -3*o**2/2 - 31*o - 11. Let b be y(-13). Let p be (2/b)/(36/(-96)). Which is greater: 3 or p?
3
Let b(v) = v**2 + 14*v - 64. Let t be b(-13). Let l = t + 31. Is -46 greater than l?
False
Suppose 0 = -2*g + 2. Let t be 2/(-84)*(-14)/24. Is g != t?
True
Let x = -5.893 - -25.393. Is x at most 17?
False
Let p = -223399/6 + 37224. Let l(g) = -2*g**2 + 4*g - 2. Let h be l(3). Which is smaller: h or p?
p
Let f(q) = 55*q - 187. Let a be f(3). Let u = -43 - -65. Let z be 3*-2*u/6. Is a <= z?
True
Let b = 355 - 4612/13. Let x = 7692/5 + -99942/65. Let a = x - b. Which is greater: a or 6?
6
Let n be 15/((-105)/(-28)) - (-1 + 415/80). Which is smaller: n or -0.035?
n
Let b = -598262/65 - -9204. Is b > -34?
True
Suppose -u = 1 - 6. Suppose x + 9 = -u. Suppose 1268*w - 1245*w = -299. Are w and x non-equal?
True
Let o = 15034 + -706626/47. Let b = 5357/9071 + o. Which is smaller: 0 or b?
b
Let q = 13648 - 13636. Let s = 0.4 + -0.4. Let c = s + 0.2. Are c and q equal?
False
Let p be 4/((-64)/38)*(57 + -69)*-4. Let w be -32*(-1 + (-9)/(-2)). Which is smaller: p or w?
p
Let c(t) = -t**2 - 2*t - 22. Let n be c(0). Let z = 43 + -65. Is z >= n?
True
Let j = 164/69 - 24/23. Let d = -627 + 263. Let f = d - -364. Is j at most as big as f?
False
Let f = 2256289/51804 - -7/5756. Let r = -3427/45 + f. Which is bigger: r or -32?
-32
Suppose -64 + 54 = -5*q. Suppose 0 = i + q*i + 5*z + 21, z = 3. Is -10 > i?
True
Let k = 168.485 + -169. Let p = 0.55 + k. Let w = p - -0.065. Which is smaller: 9 or w?
w
Suppose 20*u = 8107 + 3073. Let k = -558 + u. Do k and 217 have the same value?
False
Let m = -16.382 - -16.7. Let s = -0.377 + m. Is s equal to 1/2?
False
Let h = -1301 - -894. Let c = -376 - h. Is c greater than -0.2?
True
Let q be (-11)/((-440)/192) + (-2)/(-10). Suppose -q*o - 586 + 221 = 0. Which is smaller: -69 or o?
o
Let t be (-9)/((-54)/10)*-3. Let a be 5*(3 + 24/t). Is a at least as big as -14?
True
Let r(z) = z**3 + 14*z**2 - 22*z - 338. Let j be r(-13). Is 114 >= j?
False
Let v = 477 + -2043. Which is smaller: v or -1567?
-1567
Let j(w) = 252*w + 1504. Let v be j(-6). Let m be (-6)/20*38226/(-36). Let d = 1554/5 - m. Does v = d?
False
Let u = 19383 + -19382. Is -6/101 bigger than u?
False
Let w = 26/1249 - -1121/126149. Which is greater: w or 5/4?
5/4
Let z = -0.167 - 165.833. Let w = 167 + z. Let p be (-2*(-1)/(-12))/(1/3). Which is smaller: w or p?
p
Let x be 10/12 - -18*19/(-228). Which is smaller: -8 or x?
-8
Let g be 0/(3 + 8) - -2. Is 84/37 bigger than g?
True
Let u = 30598 + -32574. Which is smaller: u or -1?
u
Suppose -2*k = 2*t + 6, -2*k + 5 +