/17 + 1936. Suppose -l + 3*c = -0*l - 6, 0 = 4*c + 4. Suppose 3 = 2*r - 2*w - l, -3*r = -4*w - 11. Are r and m nonequal?
True
Let t(m) = -73*m**2 - 2*m + 6. Let c be t(-3). Let l = c + 12247/19. Let y be (-4)/(-8)*-1*-2. Which is smaller: y or l?
l
Let k be (-1)/((35 + -5)/10)*-2. Suppose -x = -0*x + 6. Let v be (-85)/(-105) + (-2)/x. Is v at most k?
False
Suppose -4*x - 272 + 316 = -5*r, -2*x + 24 = -3*r. Let v = 522706/73503 + -2/8167. Which is smaller: x or v?
x
Suppose -4*q = -28 - 16. Suppose 1 + q = 3*a. Let x = 1157/3 + -383. Is x bigger than a?
False
Let j = 1933 - 1930.24. Is j equal to 2?
False
Suppose 20*n - 610 = 10*n. Suppose -360 = -5*g - g. Which is bigger: n or g?
n
Let h = -5 - -4.6. Let f = -20 - -18.4. Let o = h + f. Which is bigger: o or -8?
o
Let z = 40.4366 - -0.0634. Let j = 34 - z. Are j and 3/7 non-equal?
True
Let a(o) be the first derivative of o**4/4 + 26*o**3/3 - 29*o**2 + 46*o - 226. Let h be a(-28). Which is smaller: h or 724/7?
h
Let z be 0/2 + (1 - -14). Let y be -1 - (20305/4991 + (-4)/14). Let n = 1411/69 + y. Is n greater than or equal to z?
True
Let t(f) = f**3 - 11*f**2 + 17*f - 2. Let j be t(7). Is j < 1?
True
Let w(z) = -z**3 - 6*z**2 + 0*z**3 + 8*z**3 + 12*z - 6*z**3 - 20*z - 9. Let n be w(7). Which is greater: -14 or n?
-14
Suppose 7*a = 3*a + 12. Let o = 200 - 197. Suppose -q - o*t - 4 = 0, -t + 3 = -a*q - 19. Is -7 smaller than q?
False
Let t = 1615/2 + -807. Let l = 1276 - 7673/6. Which is greater: l or t?
t
Let z = -58 + 53.5. Let l = -4.57 - z. Which is bigger: 0.03 or l?
0.03
Suppose -36 = -4*g + 5*g. Let j be 8/g + (40/(-18))/(-4). Are -2/159 and j unequal?
True
Let m = 226 - 236. Let j be -2 - ((-300)/(-18))/m. Is j greater than or equal to 3?
False
Let k be (1 - -1) + (3/(-3) - -3). Suppose k*r - 16*r + 2508 = 0. Is -0.1 at most r?
True
Suppose -118*t + 145*t = -5670. Suppose 2*d + 3*d + 4*i + 1030 = 0, 4*d + 825 = -3*i. Is d greater than t?
False
Let d be -2 + 63/(-868)*-28. Suppose -1 = -n + 2. Suppose n*i + 0*i = 0. Is d less than i?
False
Let q be 0 + -3*(-10)/(-21). Suppose 8*r = 64 - 288. Let f = r - -28. Is q at most as big as f?
True
Suppose -5*i + 4976 = -3*r, -119*r = -118*r + 5*i + 1652. Do -1656 and r have the same value?
False
Let f = -1735 + 1760. Which is smaller: f or 13?
13
Let c(p) = p**2 - 129*p + 2210. Let v be c(98). Which is greater: v or -832?
v
Suppose 3*y - 2*y = -2*f + 7, 2*y + 1 = f. Let b(u) = -24*u + 69. Let o be b(6). Let z be y + -4 + o/(-35). Is 0 bigger than z?
True
Suppose -6 = -2*y + y, 3*h + 5*y - 87 = 0. Suppose 0*g + 2*g = 14. Suppose -42 = -3*a - 5*d, -4*a + g*a = d + 60. Is h greater than or equal to a?
True
Let c = -65099/23 - -2830. Which is smaller: 0.3 or c?
c
Suppose -435 = -25*k + 24*k. Let x = k + -7392/17. Let i(j) = j + 1. Let v be i(-2). Is x equal to v?
False
Suppose 0 = -2*i - 5*u + 7*u + 14, -5*i + 35 = -3*u. Are i and 15/2 equal?
False
Let v be 3 + 2 - 6 - (-542)/8. Which is greater: v or 68?
68
Suppose -12*q - 2290 - 4382 = 0. Which is greater: q or -554?
-554
Let b be (-170)/(-35) - 5 - 400447/63. Let r = -6350 - b. Let n = -620/99 + r. Which is smaller: -1/7 or n?
-1/7
Let q = 325484 + -4231302/13. Let g(x) = x**2 - 5*x - 8. Let h be g(6). Which is smaller: h or q?
h
Let u be ((-44)/(-8) + -6)*(-287 - -1). Let y = u - 99. Which is bigger: y or 85/2?
y
Let f = -7339/143871 + -1/3689. Suppose -5*n + 0*n - 5 = 0. Is n equal to f?
False
Let k be (-34)/(-148767)*(-6)/(-4). Which is smaller: k or 4/7?
k
Suppose -50*g + 29 = -21. Suppose -4*l = 3*j - g, -5*l + 7 = -2*l - 4*j. Which is greater: 1/920 or l?
l
Let y = -3077 - -3076. Which is smaller: y or -4/265?
y
Let n(m) = -2*m**2 - 53*m - 1265. Let c be n(0). Is c less than -1267?
False
Let v = 0.2676 + -20.6676. Which is bigger: -2/29 or v?
-2/29
Let z be 6 + ((-28)/(-16) - 2) + 4907/(-84). Let p be 0/(-2 + 1) + -53. Let c = p - z. Which is smaller: -0.4 or c?
-0.4
Let l be (-119984)/14800 + ((-72)/350 - (-12)/42). Which is smaller: l or -8?
l
Let y(i) = 37*i + 153. Let h be y(-17). Let g be h/(-231) - (-2)/3. Which is bigger: 2 or g?
g
Let v(b) = b**3 - 17*b**2 + 50*b - 5. Let g be v(4). Let h(k) be the second derivative of -k**4/12 - 5*k**3/2 - 3*k**2/2 - k. Let t be h(g). Is t > 22?
True
Let g = 6161 - 6163.2. Which is smaller: 13 or g?
g
Suppose -n - 7*n = 1032. Let r = n - -111. Which is greater: r or -13?
-13
Let a be (-6)/2 - ((-951)/(-15) + 38/(-95)). Suppose -v - 2*z = 120, -v - 130 = 3*z + z. Let o be (-42)/v - (-3 + (-210)/a). Is 7 not equal to o?
True
Suppose 4*i + 4*l - 4 = 0, -5 = -5*i + 2*l + l. Let t be ((-286)/(-33))/(14/12 - i). Let q be (-39)/t*-4*(-1)/42. Is 1 greater than or equal to q?
True
Let a = 17 + -5. Let h be (a/5)/(12/(-40)). Let t be 22 + -45 + 16 - (-1 - -1). Which is bigger: t or h?
t
Suppose 0 = 5*t - 5*m - 0*m - 4265, 2553 = 3*t - 5*m. Let i be (2 - 15/9)/(t/(-48)). Let c = -240/1391 - i. Is c <= -0.1?
True
Let u = 36.9643 + 0.0357. Which is smaller: u or 4/27?
4/27
Let o = -293.548 + -5.452. Which is smaller: 0.1 or o?
o
Let x be (-528)/308*4760/(-12). Which is smaller: x or 678?
678
Let d be ((-228)/(-684))/(14/3324). Does 80 = d?
False
Let r be -6*(-4)/(-6) + 0. Let g be 4 + -1 + r/(-2). Let d be (-6)/3*16/(-32). Which is smaller: g or d?
d
Let r = -589 + 28863/49. Suppose -5*p + 9 - 44 = -2*l, -4*p + 28 = 4*l. Suppose -28*d - l*d = -5*d. Which is greater: d or r?
r
Let x = 2.11 - 2.18. Let j = -0.07 - x. Is -2/87 < j?
True
Let m = 4089.8 - 4090. Let q be 675/10*8/(-6). Which is greater: m or q?
m
Let w = -2 + 1. Let z be (2/10)/((-21)/(-4095)*13). Let g be (3*z/(-9))/w. Is g < -3/7?
False
Let z be (-2)/(-7) + 320/56. Suppose 9*t + z = -12. Let f(m) = -2*m**2 - 48*m - 89. Let j be f(-22). Which is greater: t or j?
j
Let s = -3/2222 - 60548/1111. Let c = 31813 + -31867. Which is smaller: c or s?
s
Let l(m) = -4*m**2 - 89*m - 198. Let q be l(-20). Which is smaller: q or -58/3?
-58/3
Let z = 2.6082 + 0.0218. Let n = z - 2.33. Which is greater: 32 or n?
32
Let m be ((-28)/2)/((-42)/315). Is m at least as big as 637/6?
False
Let r(y) = 89*y**2 + 8*y + 8. Let n be r(-2). Let o be n/1095 - 1 - (-24)/40. Which is smaller: 0 or o?
o
Let p(t) = -t**3 + 36*t**2 - 173*t + 5. Let f be p(30). Is f greater than or equal to 214?
True
Let h = 58.14 + 2560.86. Is h greater than 1?
True
Suppose -5*i = -3*z + 257, -4*z + 400 = -5*i + 49. Let q be (-4)/(-6) + 572/6. Is z less than or equal to q?
True
Let m be (-6)/(-11)*(-1573)/(-26). Is m at least as big as -78?
True
Let o(g) = g**3 + g**2 - 10*g - 9. Let w be o(-3). Suppose -j = 6*n + 25, w*j + 16 = -4*n - 3. Is -1/456 at most as big as j?
False
Let n(g) = 124*g**2 - 7*g - 1. Let s be n(-1). Let a be (-104)/s + 314/380. Which is greater: 0 or a?
a
Let c be (-2)/(-3)*(2/(-4) - 1). Let w be -2 - (-5)/((-1620)/(-747)). Is c at most w?
True
Let k(b) = -53*b + 2649. Let h be k(49). Which is smaller: h or 49?
49
Let o be (39 - (-12)/(4 + 8))*(2 + -6). Which is smaller: o or -151?
o
Suppose 18 = t - 0. Let w be ((-1)/(-3))/((-9)/t). Let f = -24.098 - -0.098. Which is greater: f or w?
w
Let z = 131493229148 - 4169255817194558/31707. Let p = z + 4/10569. Are -19 and p nonequal?
True
Let o(n) = -2*n**3 - 35*n**2 + 16*n - 33. Let r be o(-18). Suppose -10*p = -7*p - r. Which is greater: -2/97 or p?
p
Suppose 2*s - 138 = -5*m, 5*s + 4 + 28 = 2*m. Suppose 3*p - 2*p = -o + m, 0 = o + 4*p - 35. Let z be (24/5)/(4/20). Which is bigger: o or z?
z
Let u = -12480938/919 + 13581. Which is smaller: 1 or u?
u
Let a be 3 + 3 + -2 - (-4176)/(-1152). Which is greater: -180 or a?
a
Suppose 0 = n + 3*x + 7, -34*n + 29*n - 99 = 7*x. Suppose -4*u + 28 = 5*k, -2 = -3*u + 4. Suppose -k*t = -t + 99. Is n smaller than t?
False
Let f = -79/2 + 1023/26. Let p = -8.7 - -7.76. Let c = p - 0.06. Is c bigger than f?
False
Let j be (16/18)/(40/12). Let d = j + -1/10. Let z(w) = 9*w + 340. Let c be z(-38). Do c and d have different values?
True
Suppose -9*p - 6 = -5*p + 3*l, l = -5*p - 2. Let g be (p + 6)/((-2)/16). Is g greater than or equal to -50?
True
Let a = 76 - -3490. Which is smaller: a or -1/3?
-1/3
Let j = -51 + 51. Suppose j = -5*m + 6*m - 11. Suppose 0*f = 11*f + m. Is 4/17 at most f?
False
Let b = -45 - -50. Let d(p) = p**3 + 17*p**2 + p + 16. Let 