*-15)). Is w at least x?
True
Let q = -1.349 - -7.839. Let b = q - -3.61. Which is smaller: -4 or b?
-4
Let b = -229 + 234. Suppose b*r - 10 = 2*k, -2*r - 2*k = -4*k - 10. Let s = 95/2 + -145/3. Is r at most as big as s?
False
Suppose 18*z + 15 = 3*z. Let b be 5 - 3/(-26)*-42. Is z less than or equal to b?
True
Let q = 0.016 + -0.043. Let n = q + 70.027. Let a = -70.1 + n. Which is smaller: a or 1/10?
a
Let x(w) = -3*w**3 - 19*w**2 - 4*w + 5. Let o be x(-6). Let k be o/98 - 40/(-112). Which is bigger: -0.1 or k?
k
Let m be (-32)/(-10) + 2 + -1 + -1. Let g = -78 + 57. Let p = -20.7 - g. Which is greater: m or p?
m
Suppose -11*w + 20*w - 45 = 0. Let y be (-449)/4 + w/4. Is y at most as big as -109?
True
Let o = 62/75 - -58/75. Which is bigger: o or 46?
46
Let f be (-507)/5 - (-15)/(-25). Let q = -103 - f. Let n be q/(-3)*(10 - 11). Is n < 0.5?
True
Let m = -3751834628/13949 - -268968. Is m >= 0?
True
Let a(d) = 3*d + 25. Let s be a(-10). Let g be (-14)/(s - 513/(-99)). Is g < -1?
True
Let h = -4.98 - 0.02. Let n = 2 - h. Suppose 0 = 111*i - 64*i + 47. Which is bigger: n or i?
n
Suppose 1795 = -5*t + 5*y, 0*t - 4*t = 4*y + 1412. Let h = t + 507. Let j = h - 137. Which is smaller: 13 or j?
13
Let b = -124 + 127. Suppose 92*t - 95*t = b. Let r be (-148)/(-42)*t + (-6)/42. Is r > -5?
True
Let v(u) = -u**2 - 14*u + 18. Let n be v(-15). Let m be (-280)/(-2)*3/n. Let d = 2670/19 - m. Is 0 greater than or equal to d?
False
Let c = 21 - 17. Suppose 0 = 4*a + 5*d + 2, a - 2 = c*d + 8. Suppose 3*b = -a*b - 30. Does b = -3?
False
Suppose -46 = 10*t - 56. Suppose -4*r = -b + 412, 117 = 2*b - r - 686. Let s = 14798/37 - b. Which is greater: s or t?
t
Suppose -2*g + 342 = -8*g. Let m = g - -62. Suppose -m*d - 10 = -4*d. Which is bigger: -12 or d?
d
Let s = 3416568775/10844753 - 3/471511. Suppose -h + 0*h = 0, -k + 315 = -0*k - 2*h. Let u = s - k. Does -1 = u?
False
Let v = -729.2325 - -0.8325. Which is greater: v or -0.1?
-0.1
Let x be (0 - 26/114) + 338 + -339. Which is smaller: x or 0?
x
Let c = 11033 - 5867. Let b = -1100360/213 + c. Is 0 < b?
False
Let r be (-8)/(-20)*70/18. Let i be 1/(-3)*-93 + 1. Let y be 58/261 + i/18. Is y > r?
True
Let m(w) = -20*w**2 + 450*w - 66. Let c be m(23). Is -301 equal to c?
False
Let u = -188391426 + 9984417730/53. Let r = u - -6186. Is r smaller than 0?
False
Suppose -5*i - 1292*u + 10 = -1297*u, 11 = -2*i - 3*u. Are -1.704 and i equal?
False
Let q = -425 - -424. Let w be -189 + 2 + -3 + q + 0. Which is smaller: -1/2 or w?
w
Let m(l) = -12*l**3 - l**2 - 4*l - 2. Let z(c) = 47*c - 48. Let x be z(1). Let o be m(x). Which is smaller: o or 240/17?
o
Let j be 6380/(-65) - (-4 + (-50)/(-13)). Let s be 18/(-21)*j/(-21) - 187. Are s and -191 nonequal?
False
Let t be (39/(-13585))/(18/180). Which is smaller: t or 0.6?
t
Let s = 36053586892/5037 - 7157750. Let f = -1/69 + s. Do 1 and f have the same value?
False
Suppose -377*o + 252*o = -480 - 520. Do o and 181 have the same value?
False
Let p = 201 + 136. Let m = p + -337.9. Is 2/19 at most as big as m?
False
Let y be (-34)/(-8) - (-6)/(-24). Suppose 20 = d - 2*d - y*q, 2*d = -2*q - 10. Let l = 87.1 + -79.1. Which is bigger: d or l?
l
Let h = 27364 - 25689. Are 1674 and h equal?
False
Let r be ((-439)/(-219) - 2)/((-52)/39). Let g = r - 437/292. Which is bigger: 0.016 or g?
0.016
Suppose -25*h + 5*a + 120 = -20*h, 0 = -4*a + 4. Let d be (3 + 12/(-4))/1. Suppose -j - 3*u + 40 = d, 72 + 8 = 4*j - 4*u. Are h and j equal?
True
Suppose -t + 2*t = -8. Suppose -g + 28 = 2*b - 0*g, 2*b - g = 24. Let p = t + b. Which is greater: p or 36/7?
36/7
Let a = 47 + -19. Suppose 0 = 30*m - a*m. Suppose -4*j + 2*p + 3*p + 11 = m, -2*p = 6. Which is greater: 1 or j?
1
Let l(y) = 1578*y + 15742. Let v be l(-10). Which is bigger: -23 or v?
-23
Let h be ((-5)/5)/((-252)/(-78)) - 4/(-28). Is -23 at most h?
True
Let k be 12/(-45)*27/19080. Is k equal to 1?
False
Let z = 394448214/1213 + -325184. Is 0 at least z?
False
Let u be (-1*2)/(7/((-161)/(-2))). Suppose 5*v = h + 19, 2*h + 2*v = 4*v - 38. Which is greater: u or h?
h
Suppose -7*n - 1128 = n. Let z = 120 + n. Is -3 greater than or equal to z?
True
Suppose -171 = 1854*m - 1863*m. Let p(z) = 8*z**2 + 10*z**2 - z**3 - 24 + 7*z + 10*z. Let x be p(m). Are -63 and x equal?
False
Let z = -81/16 - -407/112. Let t(s) = -4*s - 24. Let c be t(-6). Suppose c = -41*f + 22*f - 19. Which is smaller: z or f?
z
Suppose 3*o = 3*i + 150, 5*i - o = -317 + 71. Let n be -22 + 12 - (-1170)/20. Let g = n + i. Is -1 < g?
True
Let l be 2/5 - 7412/(-630). Let a = -57656/9 + 6394. Let f = a + l. Which is smaller: 0 or f?
f
Let q be 438/4*147/1323. Which is bigger: q or -2/7?
q
Let t be 550/(-3680) + 12/138. Which is smaller: -190/9 or t?
-190/9
Let d = -167.78 - -168.38. Let t = -0.05 - 0.13. Is d bigger than t?
True
Let i(o) = 6*o - 21. Suppose 6*w = 29 + 1. Let a be i(w). Is a equal to 33/4?
False
Let f = -30 - -33. Suppose 9 = z - j, -5*z = j - 18 - f. Suppose p + 0*p - 8 = 0. Is z smaller than p?
True
Let l be 3 + (-30)/(-6) - 5. Which is bigger: 40/21 or l?
l
Let v = 5.93 + -6.187. Let r = -0.743 + v. Let b be (-4)/3*3/(-38). Which is greater: r or b?
b
Let r = -1.15 - -1.2. Let h = 0.11 + r. Let v = h + -0.06. Does 2/7 = v?
False
Let a(k) be the third derivative of -k**6/120 + 17*k**5/60 - 17*k**4/12 + 19*k**3/6 - 2*k**2 - 9. Let i be a(16). Is i bigger than -268?
False
Suppose 0 = 5*g + a + 2, -2*a + 8 + 2 = -4*g. Let m be (-6)/(-1) + g + -12. Is m less than -14?
False
Let n = 4 - 4.8. Let v = -416.3 - -68.3. Let y = 348 + v. Which is smaller: n or y?
n
Suppose -4*g = -3*q - 7, 2*g = -5*q + 51 - 54. Which is smaller: g or 196/171?
g
Let j = -588 - -581. Let u(o) = -o**3 - 3*o**2 + 25*o - 20. Let v be u(j). Let x = 0 - 0. Is v smaller than x?
False
Let v(d) = -d**3 - 19*d**2 - 19*d - 15. Let b be v(-18). Suppose -b*h - h - 3*m - 101 = 0, -h + 2*m - 28 = 0. Let x = -37 - h. Which is greater: -13 or x?
x
Suppose 14*t - 114 - 642 = 0. Let n = t - 60. Suppose -5*s + 3*s + 23 = -5*o, 0 = -4*o - 20. Do s and n have the same value?
False
Suppose o + 2*f = -10, 2*o + 62 = -3*o - 4*f. Suppose 0 = 5*k + 23 + 47. Is o < k?
False
Let v be 707/1092 - (-2)/(-3). Suppose 5*g = 2*r + 110 - 22, -g + r + 17 = 0. Let a(y) = -2*y + 35. Let l be a(g). Which is bigger: v or l?
v
Let n = 201.1 - 37.1. Let w = n - 164. Let s = -8 - -15. Which is bigger: w or s?
s
Let b be -10*(-7 - 7110/(-900)). Suppose -u + 0*y = -4*y + 21, -5*u - 4*y - 33 = 0. Let n be 70*((-1)/u)/(-1). Is n > b?
True
Let v = 3604/13 + -555578/2015. Are 3 and v equal?
False
Let z = 294557 - 1329335747/4513. Is z less than or equal to -1?
False
Let a = 589 + -381. Let t = a + -200. Is 15 equal to t?
False
Let f(g) = 8*g**3 + g - 1. Suppose -4*j = 16, 2*q - 23 = 4*j - 5. Let i be f(q). Let z = 4227 - 4217. Is i >= z?
False
Let v be ((-775)/124 - -6) + (-967)/(-3812). Which is bigger: v or 0?
v
Let i = -215.1 - -215. Let q = 178 - 66. Let n = q - 56. Is n < i?
False
Let h = -5444 + 5534.56. Let s = h + 3.44. Which is greater: s or 2/3?
s
Suppose 0 = 72*b - 5*b. Let o be (3*-14)/((-2)/4). Suppose -r + d = -o, r - 6*r - 4*d + 447 = b. Is 87 at most as big as r?
True
Suppose -660 = -3*t - 41*t. Let y be -7 + t + -10 + -149. Is -151 <= y?
True
Let b = 563.4 + -654.4. Which is smaller: 22 or b?
b
Let s = 1 + -1. Suppose 486 - 66 = 12*q. Suppose x = -5*n + 45, 16*x - 14*x = n + q. Is x equal to s?
False
Let y = 0.7993 - 1.0993. Is y greater than -45/41?
True
Let z = -95.148 + 0.148. Let t = -94.9 - z. Which is smaller: t or -1/48?
-1/48
Let j be 75/(-140)*((-4)/(-6))/1. Let l = -229/210 - j. Let t = l - -31/15. Which is greater: t or -9?
t
Let w(k) = 6*k**2 - 3*k + 7. Let x be w(3). Let i(s) = 11*s - 15. Let g be (-360)/(-63) - (-6)/21. Let u be i(g). Is x at least u?
True
Let x = -8.02 - -43.32. Let v = x + -2.3. Let g = -6 + v. Which is smaller: g or -1?
-1
Suppose -8*n + 4*n - 106 = 2*b, 4*b - 88 = 4*n. Let x(k) = -283*k + 2800. Let w be x(10). Is w < n?
True
Let s(d) = -25*d**3 - 5*d + 26*d**3 - 22*d**2 + 17*d - 13 + 54*d. Let k be s(19). Which is smaller: 156 or k?
156
Let s = -1572 + 64458/41. Let c = 38880 - 116641/3. Are c and s unequal?
True
Let z = -20550 + 20041. Which is smaller: -507 or z?
z
Let c = -220.224 - -2.224. 