 = -2*i + 2. Which is smaller: f or i?
i
Let h = -40 - -42. Let k = 471 + -8947/19. Which is smaller: h or k?
k
Let p = 15.2 + -15. Suppose -156 = 13*v + 39. Is v less than p?
True
Let i = -22 + 36. Let m = i + -14. Let a(j) = j**3 - 2*j**2 - 2*j + 2. Let q be a(2). Which is greater: q or m?
m
Suppose 2*z - 4*a = 3*z - 16, -a = -3. Suppose -25 = -3*s + 5*v, 2*v = -2*s + z*v + 10. Which is bigger: s or -4/11?
s
Let m be (2 + -9)*(-58)/6. Suppose 13 = -s + 80. Let c = s - m. Which is smaller: c or -2/41?
c
Suppose 9*n + 7*n = -128. Which is smaller: n or -1?
n
Let t be (-2)/(-2)*120/(-2 - 8). Let y(z) = -12*z**2 + 2*z - 1. Let v be y(1). Which is greater: t or v?
v
Let x = 601 + -595. Are x and 19/4 nonequal?
True
Let q = 4165 + -1765961/424. Let w = -11863/3816 + q. Are -4 and w equal?
False
Let z = -171 - -99. Let h be ((-249)/(-18))/((-10)/(-52)). Let c = z + h. Which is smaller: -1 or c?
-1
Let f = 35/3 - 131/12. Let o = -601 + 603. Which is smaller: o or f?
f
Let z be (221/(-2))/((-4)/(-24)). Which is smaller: -661 or z?
z
Let t = -431/12 + 141793/3948. Let r = t - -1993/12502. Is r smaller than -1?
False
Let h be ((-8)/(-6264))/((-14)/56). Is 1 less than h?
False
Let q = -12/5 + 94/35. Does -84/19 = q?
False
Suppose w + 8 = 3*d, 0*w = d - 2*w + 4. Suppose -d*n + t + 11 = 0, 0 = 5*n + t + 4*t - 20. Does -8 = n?
False
Let g be 5 + 4 - (-18)/(-2). Does -1/647 = g?
False
Let u(t) = -t**3 - 6*t**2 - 14*t - 14. Let p be u(-3). Suppose -3*w + 3 = -a - 6, -2*w + 6 = 3*a. Which is greater: a or p?
p
Let c = -269.4 - -267. Is c <= -4/3?
True
Let i(n) = -7*n**3 + 2*n + 8. Let p be i(2). Which is greater: -0.08 or p?
-0.08
Suppose 0*x = 4*k + x + 76, 0 = 3*k - 5*x + 34. Let h = -11 - k. Suppose 0 = -n + h*n - 12. Which is smaller: -2 or n?
-2
Let p = -2/1085 - -96571/3255. Which is greater: 30 or p?
30
Let x = 0.07 - -0.21. Let r = -0.072 - 0.008. Let v = r + x. Are 3 and v unequal?
True
Suppose 4*i - 2*i = 8. Suppose -37 = 5*a + i*v, 3*v = -v - 12. Suppose 69*t - 75*t + 18 = 0. Which is smaller: t or a?
a
Suppose 0 = q + 3, -o - 1 = -2*q - 0. Is -58/9 <= o?
False
Let t = -527 - -359. Is t smaller than -168?
False
Let n be (2/(-10))/(14/4). Let y(w) = -w**2 + 13*w - 24. Let h be y(10). Suppose 3 = 5*b + 2*q, -5 = -h*b + 2*b + q. Is n greater than b?
False
Let c = 301.69 - 301.59. Let j = 23756/15 + -1583. Let w = j + -152/105. Is w bigger than c?
False
Let w = -1780 - -137065/77. Is 1 greater than w?
True
Let r be (864/(-720))/(6/6740). Is -1348 less than r?
False
Let t be 3/(-4)*-146*(-12)/(-18). Is t <= 62?
False
Let t(v) = -4*v - 31. Let l be (-5)/(15/(-6))*(-18)/4. Let h be t(l). Which is smaller: 4 or h?
4
Let x = -1008.32706 + 1.25706. Let o = 1003 + x. Let p = o - -0.07. Is p at least 0.1?
False
Let m = 1467/115 + -64/5. Suppose -8*x + 10*x - 4 = 0. Suppose -x*t = -7*t + 3*g + 11, -g - 1 = t. Is t > m?
True
Let b = -12 - -64. Let j = 50 - b. Which is smaller: -1 or j?
j
Suppose 405 = 78*m - 73*m. Are 81 and m unequal?
False
Let j be 39 + 17 + -3 + (-10)/(-2). Which is smaller: j or 64?
j
Suppose 26 = 4*p + 66. Let t(h) = -h**3 + h**2. Let k be t(0). Is k <= p?
False
Suppose 0 = 5*y - 2*y + 39. Let o be (-22)/143 - 67/y. Is o greater than 5?
False
Suppose -15 = -5*b - 5*p - 10, 5 = b + 3*p. Which is smaller: -2/197 or b?
b
Let m be -4 + (-586)/(-2) + 3. Suppose 4*o + m = -r - 86, 0 = 3*o + 3*r + 279. Let j be (171/o)/((-6)/20). Which is smaller: j or -1/5?
-1/5
Suppose -5*r = -2*z + 17, -2*r + 3*z = -r + 6. Let f be (2/r)/((-2)/9). Suppose 0 = -15*k + 26 + 19. Is f at least k?
True
Suppose -4*p + 65 = 5*o, -2*o - o = -3*p - 66. Which is greater: o or -2?
o
Let d = -14.04 - -0.04. Let f = 15.2 + -17.2. Is d not equal to f?
True
Let c = -1811555/32 - -56662. Let p = c - 51. Do p and -1 have the same value?
False
Let g = 222/65 + -60/13. Let v = 27 + -25. Let s be (v/((-8)/12))/(6/4). Does s = g?
False
Let h be 1010/6 + -1 - (-66)/99. Let r be (-2)/(-7) + 15/h*-6. Is 1 equal to r?
False
Let y = -2643787/4438 + 4170/7. Is 1 smaller than y?
False
Let i be -11 + (-4)/(4/(-3)). Let f be (-16)/i - 18/10. Suppose 3*w = -j + 2, -2*w - 22 = -4*j - 0*j. Are f and w equal?
False
Let p = 1824 + -1821. Are 70/39 and p unequal?
True
Let u = 384 - 57. Is 327 at least as big as u?
True
Let t be 1040/1872 - (-8)/18. Let n be (-4876)/6*(-18)/(-75). Let v = 195 + n. Which is greater: v or t?
t
Let h = 247.9476 + 0.0524. Which is smaller: h or 2/5?
2/5
Let y be (-13)/(-15) + -1 + (-372)/(-90). Suppose 5*d + y + 1 = 0. Which is greater: -3/7 or d?
-3/7
Let i be ((-75)/9)/(-5)*162. Let l be 0 + 0 - (i/86 - 3). Which is bigger: l or -1?
l
Let u be (-97)/1067 - 432/(-5357). Which is greater: 1 or u?
1
Let t be (6 - -1) + (9095/(-2270) - 3). Which is greater: t or 1?
1
Suppose -37*k = 79 - 5. Let q be (-2)/(-3) + 33/(-9). Let d = q + 3. Is d at most as big as k?
False
Let z = 150 + -153.48. Let d = z - 0.52. Which is smaller: d or 11?
d
Suppose -2*v - 3*m - 26 + 3 = 0, -m = 5. Let l be -2*(-32)/(-40)*(-6)/v. Which is greater: -1 or l?
-1
Let y(j) = -4*j**2 - 8*j - 1. Let k be y(-2). Let r(h) = -h - 5. Let m be r(-4). Let i = k - m. Are i and 1 non-equal?
True
Suppose -8*q - 8348 = 6420. Is -1 at most q?
False
Let p = 32 - 11. Let k be 3 + (-51)/p - 21/(-49). Is k bigger than 15/7?
False
Suppose -6*f + 35 = -25. Suppose 8*c + 2 = f*c. Which is smaller: c or -27?
-27
Let r(j) = 2*j**3 + 80*j**2 - 83*j - 143. Let i be r(-41). Is i at least as big as -102?
True
Let n = 515 - 489. Suppose -108 = -3*a - a. Which is smaller: a or n?
n
Let n = -0.4 + 0.5. Let a = -1.5 + -1.5. Which is bigger: n or a?
n
Let i be (-4)/12 - 20/(-6). Let w = 2 - i. Let z be -2 + 2*28/40. Is z equal to w?
False
Let b(n) = 3*n - 2. Let i be b(4). Let d = 9 + i. Suppose 3*p = -p - 3*m + d, -4*m + 18 = -2*p. Is p bigger than 6/7?
True
Let h be 4/16 - 38/(-8). Suppose s - 5 = -4*k, h*k = 3*s + 2*s. Suppose -s = -i + 1. Which is smaller: 4/3 or i?
4/3
Let k(t) be the second derivative of -t**4/12 - t**3/2 + 41*t**2/2 + 30*t. Let x be k(7). Do x and -29 have the same value?
True
Let z be (2020/(-186))/((-5)/(-105)). Let s = z - -228. Let h = -0.2 - -1.2. Is s at most as big as h?
True
Let c = 3156 - 41004/13. Which is smaller: 2 or c?
c
Let m = -399/2 + 209. Which is bigger: 10 or m?
10
Let v(b) = b**2 - 14*b - 105. Let f be v(-6). Which is greater: f or 73/5?
f
Suppose 26*d + 850 = -8*d. Is d smaller than -4?
True
Let n be -1 - (-5 - 6/(-3)). Let b be 5*(-4)/260*n. Let o = 0.2 - 0.4. Is b at least o?
True
Suppose -36*b + 6536 = 7*b. Which is greater: 147 or b?
b
Let o = 218 - 153. Which is smaller: 66 or o?
o
Let v = -34130535/1672 + 20413. Which is greater: v or 0?
v
Let x be 200/40 + -79*(-3)/(-45). Which is bigger: x or 8?
8
Let u = -5 + 7. Let z be u - -1 - 34/12. Let m = -19 + 17. Is z > m?
True
Let k = -227 + 227. Suppose -h - 7 = 2*o + 6, h + 3*o = -9. Let m be h/(-14)*1/9. Which is smaller: m or k?
k
Suppose f + f + 6 = -3*i, 27 = 5*f - 3*i. Let z = -1901.1 - -1902.2. Which is smaller: z or f?
z
Let l be 3/(-9)*3/(-10). Let s(y) = -y**3 + 4*y**2 - 5. Let z be s(3). Suppose 2 = z*u - 6*u. Which is smaller: l or u?
u
Let j be (-2)/(-4) + (-110)/(-4). Let a be -3 - (-2 - -2) - -25. Suppose -2*q - 2*q - 4*c - j = 0, -q - 4*c - a = 0. Is 0 at least as big as q?
True
Suppose -2*j + 4*s - s + 14 = 0, -s - 9 = -5*j. Suppose -4*g - 4 = 0, 4*x - j = -2*g - 3. Let u = -24 - -25. Is u at least x?
True
Let l be (2/(-6))/(6/(-4)). Suppose -3*t + 5*t = -2*c - 6, 2*c + 5*t = -18. Let w be c/10 + 12/30. Which is bigger: l or w?
w
Let n(f) = -f**2 + 30*f + 6. Let l be n(9). Is 196 at most l?
False
Let m(v) = 10*v**2 - v. Let d = 9 - 8. Let a be m(d). Suppose -3 + a = -o. Is -7 greater than o?
False
Let s = -43 - -33. Let o = s - -8. Does -3/4 = o?
False
Let l = 119 - 58. Let c = l - 3. Which is bigger: 59 or c?
59
Let f = 2/3031 + -6420/542549. Is 0 greater than f?
True
Let a be (2/(-12)*-4)/(240/360). Are 3/11 and a equal?
False
Suppose 4 = -5*b - 26. Let h be (-75)/b*2/10. Suppose 2 = -6*p + 14. Which is smaller: h or p?
p
Let u = 373/14 - 190/7. Does u = -0.004?
False
Let c be (-4 - -7) + 2961111/276. Let d = 10732 - c. Let v = d + -2/23. Is v greater than or equal to 0?
True
Let g be -6*((-266)/(-21) - (-3)