 - -234. Let d(c) = 2*c**2 - 38*c - 364. Let w be d(26). Which is smaller: j or w?
w
Let t be (60/1000)/((-12)/5). Are t and 0 nonequal?
True
Let o be (-2 + -4 - -2)*-1. Let z be ((-12)/o - -54) + 3. Let p = z + -160/3. Which is bigger: -0.1 or p?
p
Let b(g) be the first derivative of -g**3/3 + 3*g**2/2 - 10*g + 3. Let m be b(8). Is m equal to -51?
False
Suppose 2*f + 4*l - 130 = 0, f - 3*l = -0*f + 60. Let u = 113 - f. Let g be u/(-180) - (-4)/(-18). Is -2 smaller than g?
True
Suppose -6*g = -2*f - 9*g - 527, 0 = -5*f + 3*g - 1286. Do f and -260 have different values?
True
Suppose -4*o = o + 5*t + 30, 3*o = -4*t - 23. Which is bigger: o or 32/5?
32/5
Let t = -7.84 - -0.34. Let g = 8 + t. Let n = 1 - 0. Which is smaller: g or n?
g
Let i(w) = w**2 - 5*w - 29. Let a be i(9). Suppose 2*o + y = -35, 13 = -3*o + 5*y - a. Is -1 smaller than o?
False
Let l(n) = n**2 + 4*n + 2. Suppose 5*g + 25 = 5*p, -2*g + 3*p = -0*p + 13. Let o be l(g). Let j = 166 - 170. Which is smaller: o or j?
j
Let j be (2/(-8))/(-15 + 40005/2670). Is j at most as big as 14?
False
Let q(f) = -8*f - 2*f + 6*f**2 + 20 - 6*f - 24*f**2 - f**3. Let m be q(-17). Suppose 0 = 2*w + m*w - 20, 0 = j + 3*w - 19. Is j bigger than 0?
True
Suppose -4*d - 5*s = 50, -2*d + 2*s + 0*s = 16. Let v be (-48)/20*(-5)/2. Let g be 6/36 + (-55)/v. Is d > g?
False
Suppose 2*f = 6*f - 20. Let p(q) = -q - 12 - q + 5*q. Let u be p(f). Is -2 <= u?
True
Let j = -9 + 9. Suppose 0 = 457*o - 459*o + 44. Is o smaller than j?
False
Let p = 0.09 - 0.08. Let t = 0.1 - p. Let b = -1.89 - -1.79. Which is smaller: t or b?
b
Let n(q) = -4 + q**3 - 4*q**2 + 0*q - 6 + 8*q. Let m be n(4). Is 21 at least as big as m?
False
Let b(k) = 12*k**2 - 5*k. Let u be b(0). Are -2/1209 and u unequal?
True
Let j = -73179/28 + 10593/4. Let c = j + -35. Let x = 107 - 533/5. Which is smaller: c or x?
c
Suppose 0*i = 5*i - 10. Suppose -i*w = w + 12. Let v be 4/14 + w/21. Which is bigger: v or 2?
2
Suppose -2*s = -3*s + 3. Let i = s + 1. Suppose -4*y = -20, i*y - 20 = 4*w + w. Are w and -1/8 unequal?
True
Let l = 63 - 29. Let k = -32 + l. Are k and 0.4 non-equal?
True
Suppose -n = -0*n - 2. Let m(i) = i**2 - 2*i. Let p be m(n). Let r be 1 + 33/(-9) + p. Is r at most 0.1?
True
Let m(t) be the second derivative of t**4/6 - 31*t**3/6 - 9*t**2 + 8*t. Let f be m(16). Suppose 0 = x + 3*x + 8. Are f and x equal?
True
Let d = 78 - -67. Let b = d - 297/2. Suppose 9 = -3*t - 3. Is t less than b?
True
Let o = 162 + -62. Let d = o + -208. Does -108 = d?
True
Let j = 7 - 0. Suppose 8*w = j*w - 10. Let y = w - -7. Which is smaller: y or -14/5?
y
Let b(k) = -6*k**3 + k**2 + 3*k - 2. Suppose -4*h - p = -6, 5*p = 5*h + 3*p - 14. Let n be b(h). Is -37 less than n?
False
Let g = -22 - -21.21. Let w = g - -0.6. Which is greater: w or -1?
w
Suppose 3*s + 13 = 2*b, -3*s - 3*b + 1 + 11 = 0. Let j = 2 - s. Suppose 2*a - z = 4*z + j, 2*a + 3*z = 27. Which is greater: 8 or a?
a
Suppose p - 2 = 5*a, -5*p + 10 = 2*a - 0. Suppose 5*f = -2*r - 12, a = -3*r + 6*r + 4*f + 11. Which is smaller: r or 1/5?
r
Let p = 53 - 31. Let d = p + -16. Are 6 and d unequal?
False
Let l = -0.67 + -32.33. Let z = l + 32. Which is bigger: -0.07 or z?
-0.07
Let q = -268 + 270. Let s(l) = -l**2 - l + 1. Let z be s(1). Which is greater: q or z?
q
Let n = -108 - -167. Let j be (((-12)/150)/(-1))/(-1 - (-20)/25). Which is smaller: j or n?
j
Let w = -4/45 - -17/60. Let x = 4/9 - w. Which is smaller: -2/9 or x?
-2/9
Let j = 1253 + -1275. Suppose 3*g - k = -1 + 13, 5*g + 3*k - 20 = 0. Suppose -r + 3*c - 81 = 2*r, g*r - 2*c = -100. Which is smaller: r or j?
r
Let d = 21731/35 + -621. Let l be 0/(4 - (6 + 0)). Is l less than or equal to d?
False
Suppose 0*n = -n - 22. Let r = 0.46 - 2.96. Let x = -1.5 - r. Which is smaller: n or x?
n
Let q = -1716 - -1753. Let j(o) = 39*o**3 - 2*o**2 + 2*o - 1. Let w be j(1). Are q and w non-equal?
True
Let p be 0 - 1 - (6 - 5). Let i(g) = -3*g**2 - 4*g - 3. Let h be i(p). Suppose -l - 9 + 0 = 0. Is l equal to h?
False
Let u be -4 + 4 + 1 + -4. Let m = -4 - u. Let f be (-2)/12 + 2/12. Is m greater than or equal to f?
False
Let j = -25 - -49. Let s = -25.3 + j. Let v = 4.7 - 4.6. Which is greater: v or s?
v
Let i = -0.242 - -3.342. Which is smaller: i or -1?
-1
Let z be (9 + (-95)/10)*2. Is z greater than or equal to 78?
False
Let z be ((-12)/10)/((-10)/25). Suppose z*y - 2*y = 0. Does 1/20 = y?
False
Suppose 4*n + 6 - 3 = -w, -n + 5*w - 6 = 0. Let u be (-10)/(-30) - (0 - n). Suppose -5*h = -3*h. Which is smaller: u or h?
u
Let v be ((-1)/(-10))/(7/252). Do 3 and v have the same value?
False
Suppose -5*r + 12*r + 189 = 0. Which is greater: r or -24?
-24
Suppose 83 = -4*n + 11. Is -23 != n?
True
Let u(b) = b**3 + 6*b**2 + 5*b + 1. Let j be u(-5). Suppose -6*l = -2*l + 128. Let v be l/(-12) + (j - 4). Is v greater than -2/11?
False
Let g = 4947/884240 - 3/12632. Let c = g - 1347/560. Which is bigger: c or 0.1?
0.1
Let v = -19 + 11. Let h = 580 - 589. Which is smaller: v or h?
h
Suppose 5*s = 4*y - 67, 53 = 5*y + 4*s - 0*s. Does 1 = y?
False
Suppose 6*g + 10 = g. Let v(w) = -w**2 - 8*w - 7. Let a be v(-8). Let f = a - -5. Is g <= f?
True
Suppose -2*t - 2*j = -4, 1 - 6 = -2*t - 3*j. Let i = -4344947/561 + 7745. Let z = 1096/7293 - i. Which is smaller: z or t?
z
Let i be 29/4 - 4/16. Suppose -i*y = -5*y. Which is bigger: 2/99 or y?
2/99
Let x = -128 + 122. Suppose 5*i + 5 = -0. Let c be i - (1 + 2 + -1). Which is greater: x or c?
c
Let v = -29 - -55/2. Let z be 2/(-4)*(-1 - 3). Let o = z + -4. Which is greater: v or o?
v
Let v be 8/438*(-5109)/262. Which is smaller: 1 or v?
v
Let i be ((-20)/65)/(-2) + (-54)/13. Let m = 0.7 - 0.62. Let y = -2.92 - m. Is i < y?
True
Let a(o) = 3*o**2 - 7*o + 1. Let c be a(-3). Let h = c + -45. Which is smaller: 22/7 or h?
22/7
Let p = -394 - -393. Is p bigger than 0.035?
False
Let k = 21 - 27. Let b = 13 + k. Let o = b - 7.07. Which is smaller: -2/7 or o?
-2/7
Let c be 12/60 + (-176)/5. Is c at least as big as -71/2?
True
Let k = -23 + 244/11. Which is bigger: 0 or k?
0
Suppose 0 = -k + 4*t - 20, -3*k - 5*t + 25 = -k. Are k and 1/51 equal?
False
Let l(k) = k**3 + 9*k**2 + 10*k + 6. Let i be l(-7). Let j be (4/i)/((-12)/72294). Let o = j - -709. Is o >= 1?
False
Let v be 1/(-18) + (-31211)/(-2898). Which is smaller: 10 or v?
10
Let f = -0.08 + 0.3. Let m = f + 1.08. Let k = m + -1.6. Does -2/7 = k?
False
Let a(u) = u + 1. Let r be a(-2). Let j = -38 + 30. Let i = j + 6. Is i at most r?
True
Let c = 18523/20 - 926. Suppose -3*j = -3*y + 6, 6*y - 3*j = 2*y + 12. Suppose u + 1 = 2*h + y, 3 = -h. Which is smaller: c or u?
u
Let i(v) = 3*v**2 + 21*v - 10. Let w be i(-8). Suppose 8*b = 15*b - w. Let h be -1 + 6/(2*1). Do h and b have the same value?
True
Let z be -44 - (11 - (-24)/(-2)). Which is smaller: -44 or z?
-44
Let y be 24/(-66)*58/(-16). Let g = 9/11 - y. Suppose -5*b + 5 = 5*k, -2*b = -0*k - 2*k + 10. Which is smaller: g or b?
b
Suppose -3*m + 510 = -5*w, -5*m + 225 = -2*w - 8*m. Let o = w - -425/4. Is 0 at least as big as o?
False
Let b = 2929 - 453986/155. Is -1 greater than or equal to b?
False
Let r(s) = -2*s - 3. Let n be r(-6). Let v = 12 + -14. Which is greater: v or n?
n
Suppose -5*a + 53 + 27 = 0. Suppose -4*l = a - 140. Let o = l - 29. Which is greater: 3/4 or o?
o
Let a = -3 - -7. Let l = 3.8 - a. Let g be (-12 + 172/14)/(6/28). Which is smaller: l or g?
l
Suppose 0 = 12*x - 9*x - 15. Suppose 2*h + 22 = 4*z, -3*h + 2*z - 8 = -x*h. Do h and 2/41 have different values?
True
Let o = 85 + -90.1. Let f = 5 + o. Is 4/5 equal to f?
False
Let x = -13 + 13.5. Let q = x - 0.6. Is -5/4 bigger than q?
False
Let j be 4*5/(-10)*-695. Let m be -3 + 166*25/j. Which is smaller: m or 1?
m
Let d(f) = -f**2 + 1. Let m be d(-1). Suppose m = w - 3*w + 6. Is w greater than 3?
False
Suppose -10*j = -7*j - 18. Let c(d) = d**3 - 6*d**2 - 3*d. Let s be c(j). Is -17 at most s?
False
Let i be 24 - (-9)/(36/(-16)). Let a be (-1)/4 + (-15)/i. Let q be -1*(16/6 + -2). Which is bigger: a or q?
q
Suppose 3*y + 222 + 317 = k, 3*y + 2635 = 5*k. Which is smaller: k or 522?
522
Let s(v) = 27 - 12 + v - 4*v**2 - 2*v**3 - 8 + 3*v**3. Let t be s(3). Let n be (t/(-8))/((-1)/3). Is n <= -1/4?
False
Let w = -341 + 221. Is -119 at most w?
False
Let b = -77795 - -