+ u/24). Let j(v) = -2*v**2 + 12*v + 9. Let y be j(7). Is y greater than o?
True
Let m = -1570/11 - -306128/2145. Is m greater than or equal to -2/17?
True
Suppose -3*q - 126*d + 3283 = -130*d, 3*q - 5*d - 3281 = 0. Which is bigger: q or 1098?
1098
Let i be -1 - 2 - 114*(-15)/630. Which is smaller: -0.6145 or i?
-0.6145
Let r = -25 - -33. Let m be 154/(-8) + (-38)/r + 5. Let k be 1*(-1)/(-10)*(-21 - m). Which is bigger: k or 1/5?
1/5
Suppose -39 = -3*c - 3*r, -3*c = -0*r + 4*r - 42. Suppose -5*u + 2*f - 4 + c = 0, 4*f = -3*u - 12. Let t be (1/2)/(225/(-900)). Which is smaller: u or t?
t
Let f = -0.002655 - -885.092655. Let t = f - 885. Let b = 0.07 + -0.37. Which is greater: t or b?
t
Let f = -17 + 5. Let w be (-2)/(-6) - 584/f. Let q = 342/7 - w. Which is bigger: 0 or q?
0
Let o(i) = -i**2 - 8*i + 3. Let z be o(-7). Let m = z + -1. Let w be (15200/(-9576) - 12/14) + (-170)/(-17). Is w less than or equal to m?
True
Let v be ((-14)/8)/((-1 - 6)/28). Suppose t + 2*x = 2*t - v, -6 = 3*t + 3*x. Let i = 442/9 + -7027/144. Which is greater: t or i?
t
Suppose -7*b + 6*b = 3. Let u be 3 + (-3 + 3)/b. Suppose u*n + 5*o - 5 + 19 = 0, 2*n + 4 = 2*o. Is n at most as big as -0.07?
True
Let a(b) = -18*b**3 - 2*b**2 - 2*b - 1. Let p be a(-1). Let l(h) = h**2 + 7*h - 12. Let v be l(-4). Let w be (1 - -5)/(1/(v/(-9))). Is w less than p?
True
Let s = -16.426 - -11.126. Which is smaller: 1.4 or s?
s
Let a = 277 - 189.9. Let o = a + -88. Which is smaller: o or -4/3?
-4/3
Suppose 1 = -u + 4*u + x, -3*x = -3*u - 15. Let a be 15 - (-16 - 9) - (0 - -5). Is u >= a?
False
Let a = 15006/5 + -3001. Is -306 equal to a?
False
Let t be (1 - -1)/(56/6860). Let i be (-19152)/t + 14/(-35). Which is greater: -80 or i?
i
Let u = -0.444 + 187.444. Let l = -187 + u. Are 14 and l unequal?
True
Let n be ((-754)/(-156))/((-2)/(3 - 1233)). Which is bigger: n or 2974?
2974
Suppose -12*p + 14 = -14*p. Let z(j) = -2*j**2 - 6*j + 16. Let o be z(p). Let n = 45 + o. Which is smaller: n or 7?
n
Let n(w) be the first derivative of -w**4/2 + 2*w**3/3 + w**2 + w + 12. Let d be n(-3). Let m = d - 333/5. Is m less than 0?
False
Let k = 3908.2 - 3908. Is 0.003 > k?
False
Let j = 85 - 111. Let i(v) = -v**3 - 28*v**2 - 53*v - 25. Let l be i(j). Let q = -47773/75 - -637. Which is smaller: l or q?
q
Let a(y) = -17*y - 40. Let c be a(-3). Suppose -c*m + 4*m + 77 = 0. Let h be (m/(-2))/11*-6. Is h at least 0.2?
True
Let b be 57/((-1)/(7/(-21))). Suppose 16*l - b = -3. Is 3/251 >= l?
False
Let k = -28696 + 28710. Let u be (-2)/8 - (-165)/12. Which is smaller: k or u?
u
Suppose 4 = -t, t + t = 4*c - 180. Let w(k) = k**3 - 13*k**2 + 5*k - 21. Let z be w(13). Is c < z?
True
Let d be (6/(-7))/((-11)/(-77)) + 9 + -3. Is 2/11837 equal to d?
False
Suppose q - 5*n = 115, 2*q + 4 = 4*n + 246. Which is bigger: 124 or q?
q
Suppose 0 = 4*q - 4*g - 292, 4*q - 3*g + 4*g = 267. Let u = -26 + q. Suppose 2*k + 71 = -i + 157, 4*k + 3*i - 176 = 0. Is u equal to k?
False
Let l be 1*(2/(-38))/(-1). Let y = -62.4 - -247.4. Let v = y - 185. Is v smaller than l?
True
Suppose 302*y + 335 = -1315 + 442. Is y >= -151/51?
False
Let k(q) = 4*q**2 - 123*q - 1770. Let g be k(-16). Is g at most as big as 1216?
False
Suppose 0 = -4*m + 522 - 606. Let j(y) = y + 22. Let t be j(m). Which is bigger: t or 3/20?
t
Let r be (-1649)/(-119)*-11 + (0 - -2). Are -150 and r non-equal?
True
Let c = 537512/5565 - 2027/21. Let y = -8391/126670 + c. Which is smaller: y or -1?
-1
Let x = -866 + 858. Let i = -0.035 + 0.265. Let o = 0.03 - i. Is x greater than o?
False
Let m be (-3)/21 - 53/(-28). Let k = -3/2 + m. Which is smaller: k or -31?
-31
Suppose 4*z + 29 = 3*n, -3*n - 3*z - z = -13. Suppose -2*x = -x - n. Let q be (-27)/((-621)/161) + 0*2/(-4). Is q > x?
False
Let a be 249/(-83) - (-37380)/(-6). Which is smaller: a or -6235?
-6235
Let x = 0.231 + 2.769. Let j = -66.3 + 63. Let p = j + x. Which is smaller: p or 2/5?
p
Let h = -199/6 - -3365/102. Let c = 1905579/85 + -22419. Let p = c + h. Which is bigger: 0 or p?
0
Suppose -5*q - 5*w = -30, -4*w + 19 = q + 1. Suppose q*g = 3*g + 40. Let y be (-12)/(-30) + 6/g. Are 15/2 and y equal?
False
Suppose -131 = -5*p - 101. Suppose 0 = -5*f + p + 4. Suppose -f = 4*n - 6*n. Do n and 0.064 have the same value?
False
Let z be 6/18*-1005*-21. Is 7036 less than or equal to z?
False
Let q be (4/(-1850))/(1092/(-420)). Are q and 0 unequal?
True
Let i(x) = x**3 - 56*x**2 - 90*x + 318. Let k be i(57). Is -1562 greater than k?
True
Let h be (1/(-6))/(6/(-12)) + 58479/36. Which is smaller: h or 1626?
h
Suppose -2 = 2*w - 0*w. Let i be 1*w + (-390)/(-50) + -10. Which is smaller: -2 or i?
i
Suppose 3*p + 0*p + 5*n = -11, -5*p - 4*n = 14. Let x be 0/p + -5 + (-1287)/(-288). Which is bigger: x or -1?
x
Let f be ((-903)/(-4))/1 + (-4)/(-16). Let i = 242 - f. Which is bigger: 63/4 or i?
i
Let w = 203 - 198. Let m be -2*(w + (-33)/6). Is 4/49 greater than m?
False
Let c = -17577.1 + 16807. Let f = c + 831. Let o = f + -61. Is -30 > o?
False
Let b = -4058 + 1245808/307. Suppose -13*o = -37 - 28. Suppose -2*p = 4*f + 8, -5*f = 4*p + 15 - o. Which is greater: b or p?
b
Suppose 0 = -10*p + 5*p + 15. Let h(s) = -2*s - 1. Let n be h(-2). Suppose -5 = m - n*u, -3*m - m + 5*u - 6 = 0. Is m > p?
False
Let y = 2/97 - -164/1455. Let p = -76506 - -76506. Which is bigger: y or p?
y
Let z(d) = 3*d**3 - 2*d**2 - 10*d - 2. Let k be z(7). Which is bigger: k or 858?
k
Let s = -844 + 1230. Let l = s + -389. Is l equal to -42/11?
False
Let h = 791 + -786. Suppose -2*n - 1250 = -3*r, 2*n + 8*r = h*r - 1226. Is n equal to -619?
True
Let k be (3 - 0 - 4)*7. Let r = 641 + -642. Which is smaller: r or k?
k
Let d be (-4)/(-201)*6/(-4). Let z be 1545/165 + -4 + 4/(-11) + 2. Is d greater than z?
False
Let r(q) = 18 - 13 + 11*q + 22 + q**2. Let l = 3249 - 3256. Let a be r(l). Is 3/5 <= a?
False
Let l = -3557 - -3292. Which is bigger: -266 or l?
l
Let w = 79/86 + -135973/147834. Which is smaller: w or 1?
w
Let a = 1956 + -1955. Which is greater: -24/235 or a?
a
Suppose -2*b + 4*u = 3*b + 437, 346 = -4*b + 2*u. Let d = b + 93. Let g be d/(384/40)*1*6. Are g and 15 unequal?
True
Let v = 1 - 0.4. Let a = -249.7 - -249. Let z = v + a. Do z and -2/7 have the same value?
False
Let y(v) = -v**3 - 8*v**2 + v + 20. Let m be y(-6). Let s(h) = h**3 + 12*h**2 - 10*h + 44. Let q be s(-13). Do q and m have different values?
True
Let y be 258/(-430)*(-5)/(-2)*(-2)/(-3). Which is greater: -6/83 or y?
-6/83
Let m = 386.382 - -0.618. Let b = m - 386.9. Do -18 and b have the same value?
False
Let i = 245809/3792 + -1037/16. Which is smaller: i or 0?
0
Let l be (2/10*-74)/((-24)/300). Which is bigger: l or 187?
187
Let o(w) = 24 - 12*w + 4*w**2 - 3*w**2 - 16*w + 2*w. Let s(h) = -h**2 - 10*h + 4. Let c be s(-7). Let a be o(c). Is -20 at most as big as a?
True
Let d(x) = 10*x - 110. Let z be d(9). Let u be (-5 - 85/z)/(9/6). Let q = 1.3 - 0.4. Which is greater: u or q?
q
Suppose 2*t = 2*q - 1904, 2*t = 20*q - 23*q - 1944. Is t smaller than -970?
False
Let o = -333 - -355. Let m = o - 61. Is m at most -38?
True
Let m be ((-42)/(-8))/(3/12). Let d = 27 - m. Suppose -2*x + 18 = -0*x - 3*v, x - 3*v - d = 0. Is 12 less than or equal to x?
True
Let h = 2921 + -2921.2. Which is smaller: -1511 or h?
-1511
Let s(x) = -7*x + 4. Let u(b) = -b + 1. Let i(c) = s(c) - 3*u(c). Let m be i(0). Suppose -4 = -5*k + 3*o, 3 + m = k + o. Do k and -0.5 have the same value?
False
Let p = -0.142 + 105.142. Let y = 14258/9 + -1584. Is p less than or equal to y?
False
Let u(x) = 351 - 13*x + 389 + 371 - 1233. Let l be u(-17). Which is smaller: l or 0?
0
Let j = 1914.88632 + 0.11368. Does -2/7 = j?
False
Suppose 3*b + 45 = 51. Let y be ((-75)/50)/(-1*b/(-4)). Let j be 3/((-6)/(-8)*-2). Which is smaller: y or j?
y
Suppose -2*g = 6*w - w - 1255, 3*g + 502 = 2*w. Let r = w + -250. Which is bigger: r or 2/63?
r
Let v be -2*((-1)/(-8) - 15/(-72)). Let i = 0.2039 - -1.8761. Which is smaller: v or i?
v
Let d be ((6/34605)/(-1))/(17/(340/1)). Which is greater: -1 or d?
d
Let t = 73 + -67. Suppose 4*z + 2*x - 42 = t*z, x = -z - 19. Which is smaller: z or -18?
z
Let l(s) = -4*s**2 + 71*s + 825. Let y be l(-16). Is -1333 bigger than y?
True
Let i = 17 - 2. Let c(v) = 3*v**2 - 16*v - 171. Let o be c(11). Are 