2*w - 9, -d*w + 4*g - 7 = 3*g. Suppose 0 = n + n + 4. Are n and w nonequal?
True
Let q(a) = -a**3 + 6*a**2 - 5*a. Suppose p - 7 = 2*m, 0 = -p + 4*m + 8 + 1. Let g be q(p). Which is smaller: g or -2/23?
-2/23
Let y = -134162632/145 - -925205. Let o = y + 273/5. Is o < -1?
False
Let i(f) = -f**2 - 15*f + 4. Let a be i(-12). Let l = -32 + a. Which is greater: l or 7?
l
Let r = -1.332 - -0.122. Let d = -1.11 - r. Which is bigger: 9 or d?
9
Let p = -9323 + 9322.7. Let m be 1 - -2*(-8)/10. Which is smaller: m or p?
m
Let g(p) = -p**2 + 15*p + 1. Let n be g(15). Let s be (-7 + 6)*n*9. Is -9 less than or equal to s?
True
Suppose 13*r = 20 - 7. Which is smaller: 3/844 or r?
3/844
Let z = -1045 - -1045. Which is smaller: z or 3.3?
z
Let a = -12 + 19. Let r be (0 - a) + -1*3. Let t = 11 + r. Is 2 >= t?
True
Let c = 13 - -30. Let g = 389/9 - c. Let m = 3785.1 + -3785. Is m greater than or equal to g?
False
Let w = 495 - 495. Is w at most as big as -41?
False
Suppose 0 = u - 0*u - 3. Let y be 3/45*-3 + (-378)/10. Let m = y - -41. Is m greater than u?
False
Let i(z) = -z**2 + z + 1. Let n be i(0). Let m = -2672/7 + 521054/1365. Which is greater: m or n?
n
Let i be 6 + (-1)/((-474)/(-2820)). Which is smaller: i or -1?
-1
Let v = -35 - -36. Which is smaller: v or 6/127?
6/127
Suppose -5*c = 2*r - 10, 2*r - 5*r = -15. Suppose -5*n + 3*n + 20 = c. Suppose -y + n = 4*y - 5*b, -2 = 3*y + 5*b. Which is greater: 9/7 or y?
9/7
Let z = 5.13 + -3.13. Is -1/60 at most z?
True
Let a = 2 + -1. Let v be (-450)/1820 + 18/(-468). Are v and a unequal?
True
Let s = -4193956 + 7687521137/1833. Let m be (-9)/6*(-16)/376. Let u = m + s. Is -1 > u?
False
Let z = 81 + -46. Let a = z - 7. Which is smaller: a or -2?
-2
Let w be 222/(-555) + ((-88)/(-10))/2. Is w greater than or equal to -0.4?
True
Let v = 83 + -79. Suppose -2*q + 19 = 2*q - 5*f, 0 = q - f - v. Let j be 16/21 + 2/3. Is q < j?
True
Let n be 2/(-7) + (-114)/42. Let l = -7 - n. Let q be 3 + (22/l - -1). Which is bigger: q or -2?
q
Let q = 234/17 + -242/17. Let b = q + 22/119. Let p = -5 + 1. Is p bigger than b?
False
Let d be 3 + (3 + -18)/(-3). Suppose v - 2 - d = 0. Suppose v = -m + 6*m. Which is greater: m or -1/2?
m
Suppose 27 = -r - 0*r. Let m be (r/(-6))/(-3) - (-5)/10. Which is greater: m or -2/75?
-2/75
Let d = 146 - 136. Let y be ((80/d)/120)/((-4)/(-70)). Does -0.1 = y?
False
Suppose 0 = 4*q + 5*a + 19, 64 - 52 = 3*q - 5*a. Which is greater: q or -3?
q
Let a be ((-3)/(-11946))/((-363)/(-44) + -8). Which is bigger: 0 or a?
a
Suppose -3*n - n = -20. Let s(q) = -q**3 - 8*q**2 - 6*q + 7. Let u be s(-7). Let b be 30/(-6 + u)*(-2)/5. Are b and n equal?
False
Let p be (4/(-6))/((-13)/9048*1). Is p > 465?
False
Let x = 0.27 - -0.03. Let c = 0.323 + -1.523. Do x and c have the same value?
False
Suppose -5*b + 5*w = -1345, w + 543 = -93*b + 95*b. Which is greater: b or 820/3?
b
Let l be 5368/(-56) + (-32)/28. Is l not equal to -96?
True
Let g(d) = d**2 + 2*d - 9. Let r be g(-4). Let b = 35 - 15. Suppose 5*y = y - b. Which is bigger: y or r?
r
Let f(j) = -j**3 + 15*j**2 - 25*j - 12. Let r be f(13). Let y be -4 + r - 0 - (-77)/22. Let s = -0.3 + -0.7. Which is bigger: s or y?
y
Let u be (-5)/5*(-3 - -3). Is u less than or equal to -20/27?
False
Suppose 2*r + 27 = 29. Which is bigger: -3/313 or r?
r
Suppose i = -688 + 672. Is i equal to 4?
False
Let m = 8541/11 + -778. Do m and -1 have different values?
True
Suppose -31*l + 29*l = -10. Let p(u) = -u**2 + 10*u - 17. Let g be p(l). Which is greater: g or -2?
g
Let z be 2/(-8)*(-24)/15. Is z less than -20?
False
Let k(x) = -x + 1. Let c be k(0). Let f be ((-65)/15 + c)*(-2)/8. Do 2 and f have the same value?
False
Suppose -4 = -3*a - s - 1, -5*a + 5*s + 5 = 0. Let m(y) = 6*y - 8. Let o be m(-7). Let b be (-102)/o - (-4 - -3 - -3). Which is smaller: b or a?
b
Let x be 5*(-2 + 513/5). Let j = 4019/8 - x. Which is greater: j or -1?
j
Let q be (3/(-12))/((-2)/(-8)). Is -2/137 at least as big as q?
True
Let a be 0*1/(-4)*-1. Let l(v) = -v**3 - 7*v**2 - 6*v - 2. Let o(f) = -f**2 + 6*f + 1. Let c be o(7). Let u be l(c). Which is smaller: a or u?
u
Let y be 272/210 + (-8)/(-60). Are 1 and y unequal?
True
Let s = 848537/2618 - 8214/77. Let g = s + -433/2. Which is smaller: 2 or g?
g
Let y = 241.15 - 240. Which is smaller: -2 or y?
-2
Suppose -2*d + 5*p - 31 = -6*d, 0 = -3*d + 4*p. Suppose 0 = 13*b - 155 - 105. Suppose -b = -j - 15. Do j and d have the same value?
False
Let c = 98.8 + -96.8. Which is greater: -2/127 or c?
c
Suppose q = -n - 211, -13*q = -12*q. Which is smaller: n or -210?
n
Let l = 981 - 982. Does -45/41 = l?
False
Let x = 314 - 170. Let f = -579/4 + x. Suppose -5 = -m - o, -3*o = 2*m - 4*m - 15. Is m <= f?
False
Let g = -65 - -61. Let c be 13/((-1092)/(-8)) - g/14. Which is greater: 1 or c?
1
Let c = -22 + 22. Suppose 0*v + 14 = 3*v + 4*x, 3*v + 3*x - 12 = c. Which is bigger: -4 or v?
v
Suppose -24*l + 7*l = 2890. Is l less than -170?
False
Let u(k) = 23*k + 16. Let q be u(-1). Is q not equal to -13?
True
Let m be 8/(-10) + (-6 - (-596)/20). Is 23 equal to m?
True
Let x be (1193/4)/(126/168). Which is smaller: x or 397?
397
Let v(z) = 2*z**2 - 6*z + 9. Let w(m) = -m**2 + 5*m - 8. Let f(u) = 2*v(u) + 3*w(u). Let h be f(-6). Let s be ((-2)/3)/(-1) - (-62)/6. Is h greater than s?
True
Let d = 0.159 + -29.159. Let x = -34.22 + 0.22. Let q = x - d. Which is smaller: -0.3 or q?
q
Let z(v) = 4*v**3 + 5*v**2 + v + 2. Let u be z(0). Is 1 < u?
True
Let s(z) = -2*z**3 + 9*z**2 + 3*z + 11. Let c be s(5). Is c >= 0?
True
Let s be 2/8 - 260/16. Which is smaller: s or -15?
s
Let n = 1/39718 + -615709/3177440. Let b = n + 3/32. Which is greater: 1 or b?
1
Let r = 1.94 + -4.84. Is r greater than -3?
True
Suppose 60 + 17 = 7*j. Let t be (-2)/10 - 2/(-10). Suppose 8*l - j*l = t. Which is bigger: -5/4 or l?
l
Suppose p = -5*x - 26, -2*p = -p - 2*x - 9. Let o be 2*26/144 + (-40)/160. Which is smaller: o or p?
p
Suppose 44 = -9*x + 5*x + 2*v, 0 = -2*v. Which is bigger: x or -35/3?
x
Let t = -0.464 + -70.536. Which is bigger: 2 or t?
2
Let m = -611/70 - -44/5. Let f(r) = 5*r + 11. Let l(t) = -14*t - 33. Let a(x) = -17*f(x) - 6*l(x). Let h be a(10). Is m at most as big as h?
True
Let p = -6.84 - -7.44. Is -2.9 greater than p?
False
Let j be (-1 - -4)*(-2)/(-3). Let i be (-2 - -1) + 2/j. Suppose 0 = -4*c - 12, -2*c + i*c = -2*x + 6. Which is bigger: x or 4/3?
4/3
Let b = -1540 + 2245. Is b > 705?
False
Let s = -56 + 54. Let j be (-10)/(-20)*s/3. Is j > -14?
True
Let g(j) = 9*j - 8. Let v be g(3). Suppose 5*h - v = 11. Which is smaller: h or 25/4?
h
Let a be (-9 + 6)/((-9)/39). Suppose 11*g = a*g. Which is smaller: g or 41?
g
Let s = -187 - -454. Which is smaller: 266 or s?
266
Let c = -2440 - -2442. Let r be (-2)/7 - 163/(-56). Is r less than c?
False
Let x = -4.156 + -0.044. Let p = -3.8 - x. Let d = -2 - -2. Is p not equal to d?
True
Suppose 0*x = -6*x + 6. Let h = 349/12144 - 2/253. Are x and h non-equal?
True
Suppose -3*a - 3*d - 21 = 0, 2*a + 2*a + 2*d + 32 = 0. Let w = 3462/5 + -693. Which is greater: w or a?
w
Let z be ((12/400)/3)/(2/248). Which is smaller: z or 2?
z
Let d be ((-27)/90)/(12/100*5). Is d less than or equal to -326/9?
False
Let f = -35565 + 249733/7. Is f not equal to 110?
True
Let x be (-2)/(-5) + (-8)/30. Let h = 102/5 - 316/15. Which is greater: h or x?
x
Suppose 6*v = -3*y + 2*v + 12, -3 = 3*y - v. Let q be ((-39835)/80)/(-31) + -16. Which is smaller: q or y?
y
Suppose -1 + 7 = d. Let o be 3/d*96/2. Is o bigger than 23?
True
Let v be 13/(-4)*(-72)/6. Is 14 at most as big as v?
True
Let z = -27 - -44. Let j = -8/267 - -574/1335. Is j equal to z?
False
Let i(q) = -q**3 - 5*q**2 + 4*q - 6. Let o be i(-6). Suppose -m + 2*a + o = -8, a = -5*m + 26. Let p(b) = -b**2 + 8*b + 2. Let h be p(m). Is h > 14?
False
Let n = -1 - -1.2. Let v = 191 - 203. Which is smaller: v or n?
v
Let f = 17 - 5. Let k be f/(-2)*10/(-15). Suppose -k*w + w + 3 = 0. Is w at least 10?
False
Suppose 5*j = 3*o - 155, -12 - 3 = 3*o. Is -34 less than j?
False
Let y = -1225 + 1216.2. Do -0.3 and y have the same value?
False
Let z = 4 - 7. Let y be (-16)/(-20) + -1 + z/5. Which is smaller: y or 0?
y
Let m be ((-51)/2)/((-11)/(220/(-105))). Let z = 61/14 + m. Which is greater: z or -2.4?
z
Let d = 53 