most as big as -0.2?
True
Suppose -4*i + 2*m = 3*m - 14, -i = 2*m. Suppose 0 = -3*k + 4*p + 12, 5*k - i*p - 9 = 3. Let q be (-4 + (-3)/(-1))*k. Is -2 at least q?
False
Let v = -1 - 9. Let u be (-3)/v*(-5)/15. Suppose 5*k + 12 = -2*s, -4*s + 3*k - 2 = 2*k. Which is smaller: s or u?
s
Let k be 2/(-118)*(5 - -4). Is -2/3 != k?
True
Suppose -290 = 2*r - n, r + 159 = -3*n + 28. Which is greater: r or -142?
-142
Let v = 236 - 2594/11. Let r be 2 - (110/40 - 3)*-4. Is r at least as big as v?
True
Let f = 1041 - 1043. Is -6/29 > f?
True
Let r be 4/6*18/6. Suppose 0 = 2*y + 6, -2*y - 17 = -d + r*y. Suppose -15 = 2*z + d*b, -3*z = 4*b + b + 15. Which is smaller: z or 1/10?
z
Let s(a) = -a**3 + 8*a**2 - 10*a - 7. Let j be s(6). Let p(g) = -g**2 + 6*g - 5. Let y be p(j). Is y at most 3?
True
Suppose f + 515 = v, -2*f = -4*v - 0*v + 2070. Let g be v/24 - 2/3. Let n be (-15)/7 - (-3)/g. Is -3 greater than or equal to n?
False
Let u(v) = 2*v**3 - 6*v**2 + v - 4. Let m be u(3). Which is smaller: -8/71 or m?
m
Let x = -2297 - -1295. Which is smaller: x or -1000?
x
Let d(z) = 42*z**2 - 46*z + 47. Let y be d(1). Which is bigger: 37 or y?
y
Let a(o) = -2*o**2 - 70*o - 41. Let i be a(-17). Are 571 and i non-equal?
False
Suppose 0 = z + d + 5, 67*d - 69*d - 10 = 0. Let y be (4/3)/(1/36). Let q be (-10)/y - (-2)/6. Which is bigger: z or q?
q
Suppose 4*o = -2*n + 218, 3*n - 34*o + 31*o - 363 = 0. Which is bigger: 116 or n?
n
Let o(a) = -12*a**2 + 11*a - 8. Let g be o(2). Which is greater: g or -32?
-32
Let m = -2/2585 + -7518/2585. Is -3 less than or equal to m?
True
Let i be (-4081)/9751 - 15/(-35). Is -0.2 at least i?
False
Let s(w) = -w**3 + 9*w**2 + 10*w. Let b be s(10). Suppose b = -4*v + 3*v. Let h be -5 - (v + (-20)/5). Is -0.4 not equal to h?
True
Let y = -75.5 - -7.5. Let h = y + 68. Let b be 4/6 - 58/6. Which is smaller: h or b?
b
Suppose 4*i - 43 = -47. Is -16/45 less than i?
False
Let a(g) = -4*g**2 - 3*g. Let p be a(-3). Let m = -21 - p. Let t be (10/12)/(2/m). Which is smaller: 2 or t?
2
Let i(h) = 129*h + 388. Let c be i(-3). Is c smaller than 46/41?
True
Let g = -17568503/1236 + 14214. Is 1 at most as big as g?
False
Let r = 309/2090 - -2/55. Is 0 > r?
False
Suppose -3 = 3*s - 9. Let u(m) = m**2 - 8*m + 9. Let g be u(6). Let r be (3 - (-4)/2) + g. Is s < r?
False
Let g = 36 - 35. Let m(o) = o - 3. Let b be m(g). Which is smaller: -6 or b?
-6
Let t = 15 + -1. Let g = t + -14.2. Is g less than or equal to -2/21?
True
Suppose 5*z - 18 = -2*w, -7*w + z - 9 = -2*w. Let y be (8 - 4)/4 - w. Suppose -12 = -4*c + y*x, c + 6 = -c - 5*x. Which is bigger: c or -1?
c
Let l be 9/(-36) + 5/(-140). Which is greater: l or -19?
l
Let p = 9677/222530 + -2/3179. Which is bigger: -0.01 or p?
p
Let x = 12062 - 168781/14. Let o = -8237/1330 + x. Which is bigger: -1 or o?
o
Let z = -1464 - -1444. Let i = -1 + 1.1. Which is smaller: i or z?
z
Let w be (-7)/((-70)/40) - -151. Which is smaller: 156 or w?
w
Suppose -156 = -0*v - 2*v. Which is smaller: 79 or v?
v
Let r = 0.013 + 0.217. Let y = 49 - 48.77. Let a = r - y. Are a and 2/7 equal?
False
Let p(o) = -o**2 + o + 7. Let z be p(7). Are z and -40 non-equal?
True
Let p be ((-3)/12)/(5/(-20)). Let h be (-20)/30 + p/(-3). Let q be -2*h/((-9)/3). Which is smaller: 0.21 or q?
q
Suppose -h + 4*d = -33, 12*h + 132 = 16*h + 5*d. Is 29 > h?
False
Let o = 423 - 13084/31. Is 0 at most as big as o?
True
Let k(b) = -3*b. Let q be k(-4). Suppose 3*x + 86 = -5*g + x, -4*x = q. Suppose 4*z + 30 = 2*z. Does g = z?
False
Suppose 4*d = -0*d. Let j = 3526 - 45850/13. Is j >= d?
False
Let k(x) = 3*x**2 - 173*x - 235. Let n be k(59). Suppose 0 = 3*c - 0*c + 24. Let r be ((-2)/c)/((-5)/(-4)). Are n and r nonequal?
True
Let i(k) = -k + 1. Let j be i(-3). Suppose -j*p - p = -5. Let d be -5*3/12 + p. Which is bigger: 1 or d?
1
Let r be (1 - -9)*7/14. Suppose n = 5*w - 2*n + 38, 0 = 4*w + r*n + 23. Let z = w + -3. Which is smaller: z or -11?
-11
Let s be (8 + 0)/(6/2 - 2). Let g be 3 - 3/(-2) - s/(-16). Which is greater: g or 26/5?
26/5
Suppose 5*v + 2559 = 2*w, 5*w - 283*v - 6413 = -286*v. Which is greater: 1283 or w?
1283
Let j = -879881/95 + 9262. Which is bigger: 1 or j?
1
Let u = 664.861 + -656.9. Let g = -0.039 - u. Which is smaller: -2 or g?
g
Suppose -2*i = 2*r + 626, -r + 5*i = 2*i + 297. Let k = -1219/4 - r. Which is smaller: k or -1/2?
-1/2
Suppose 2*j + 9 = -y, 4*y - j + 22 + 5 = 0. Let u be (y + 7)/(0 - -2). Is -3/65 smaller than u?
True
Let m = 45.1 + -2.1. Is m at most 0?
False
Suppose -24 - 26 = -2*n. Suppose -t + 5*k = 4*t + n, 0 = -5*t - 2*k - 25. Let h be 168/15 + 1/t. Which is smaller: h or 10?
10
Suppose -16 = -8*b + 7*b. Let g = 15 - b. Are g and 3/16 equal?
False
Let q = -54946/99 + 555. Let n be (-6)/9*(-3)/(-2). Is q less than or equal to n?
False
Let l = 107 - 9. Is -2/5 at most as big as l?
True
Suppose 1023*j = 1008*j + 15. Which is bigger: 17/20 or j?
j
Suppose -7*p - 2828 = -4*z - 2*p, 2*z - 3*p = 1416. Is 703 less than or equal to z?
False
Let o(m) = 342*m - 3431. Let i be o(10). Let d = 4 - -10. Let j = d - 25. Is j equal to i?
True
Suppose 14*d + 2*z = 18*d, 0 = -3*d + z. Is d greater than 2/607?
False
Let c = 16023092/3395 - 23598/5. Which is smaller: -1 or c?
-1
Let m(k) be the first derivative of -k**2 - 33*k - 10. Let f be m(-16). Is f at most as big as -1/30?
True
Let t(c) = -c**2 + 27*c - 19. Let v be t(28). Which is bigger: -46 or v?
-46
Let a be 6 + (760/12)/(-10). Which is smaller: a or 0.35?
a
Suppose 1275 + 1002 = -207*a. Let m = -3 - -8. Suppose 2*q - 6*q - 2*p = 58, -1 = -2*q + m*p. Do q and a have the same value?
False
Let l(b) = b**3 - 4*b**2 + 4*b - 2. Let n be l(2). Let z be -1*(n + 3)*0. Suppose -5*d + 24 = -h, 3*d + 7 = -h + 23. Is z less than or equal to d?
True
Suppose -5 + 3 = -2*s. Let h = -2.9 - -15.9. Which is smaller: s or h?
s
Suppose -2*z + 0*z - 23 = 5*f, -4*z - 31 = 5*f. Let u = -23 - f. Let t be (14/(-4))/(341/66 - 5). Which is smaller: u or t?
t
Let r = 456 + -456. Let d = -57 + 14. Are r and d equal?
False
Let r = -1334.89 - -1344. Let c = 0.11 - r. Let h = -10 - c. Which is bigger: 1 or h?
1
Let y = -1470.61 + 1490. Let u = y + -0.39. Let s = u + -20. Which is smaller: s or 2?
s
Suppose 31*z + 11344 = 1207. Is -326 at least z?
True
Let l be (6/(-8))/(2/(-40)). Suppose -16 = -4*g - 5*z, -4*z + l = g - 0. Let t = -0.005 - -0.105. Are g and t nonequal?
True
Suppose -4*l + 22 = 4*i - 7*i, 4*l - 2*i - 24 = 0. Suppose 2*z + w = -l, w + 1 + 0 = 0. Is 5 bigger than z?
True
Let u(z) be the first derivative of z**4/4 - 8*z**3/3 + z**2 - 11*z - 2. Let o(q) = -9*q - 10. Let s be o(-2). Let v be u(s). Do 6 and v have the same value?
False
Let p = 5.75 + -5.5. Let n = p - -0.25. Which is bigger: -10 or n?
n
Let p be 24/(2 + -8) - 12/6. Is p at most 21?
True
Let b be (-2)/5 - 236/10. Let w be (-42)/(-4)*b/(-18). Let z be 4/(-1 + w/6). Is 4 less than or equal to z?
False
Suppose 0 = 4*l - 3*k - 114, 3*l - 3*k = -0*l + 84. Suppose 6*d - l = 3*d. Let t = d - 4. Which is bigger: t or 3?
t
Let x = 853 + -835. Is 20 not equal to x?
True
Let v be 2 - ((-15)/6 + 3)*-2. Suppose 8 = v*w + w. Which is greater: w or 18/19?
w
Let x(m) = -m**2 - 18*m + 12. Let g be x(-9). Let s = 2 - g. Let v be 1*2 - s/(-42). Which is bigger: v or -1?
v
Let s(g) be the first derivative of g**4/4 - 8*g**3/3 - 7*g**2/2 - 14*g + 9. Let v be s(9). Let j be v - -22*(-4)/16. Which is bigger: j or -3?
j
Suppose 14 = 2*z - 3*n, 0 = -4*z + 4*n + 19 + 9. Suppose -7*y + 8*y = -z. Which is smaller: -3 or y?
y
Let t = -97 - -489/5. Let n(p) = 8*p - 40. Let w be n(5). Which is greater: t or w?
t
Let d(k) = 2*k + 2. Suppose 1 = -2*r - 3. Let z be d(r). Let i = -8 + z. Which is bigger: -9 or i?
-9
Let i = -34 + 34. Let b(h) = -19*h + 1. Let s be b(1). Is s bigger than i?
False
Suppose -m - 11 = -10. Is m < 1/153?
True
Let y = 20 - 6. Suppose -2*r = -30 - y. Is 21 at least as big as r?
False
Let j(v) be the third derivative of v**5/60 + 5*v**4/8 - 5*v**3/3 - 5*v**2. Let m be j(-15). Is m > 0?
False
Let v(k) = -k - 15. Let j be v(-8). Let a be (-6)/15*-6*(-15)/(-6). Let t = -2/3 - a. Which is smaller: t or j?
j
Let i = -100.38 + 102. Let f = i + -1.6. Let a = f + -1.02. Is a less than 0?
True
Let g = -20.81 - 0.19. Let q = g + 19.6. Let u = q 