*j - 0. Let s be (-89)/170 - (-10)/j. Which is greater: 0 or s?
0
Suppose -2*v - 2 = 2*s, 4*v - 4*s - s + 31 = 0. Let a = 0 - -4. Let l be (6/4)/(-3)*a. Which is smaller: l or v?
v
Let v = -44 + 47. Suppose -4*o = 5*x + 111, v*o + 2*o + 135 = -5*x. Which is smaller: o or 0.2?
o
Suppose 6*i - 25 = i. Suppose -m = -4 + 1. Suppose 0*k - m*k + 12 = 0. Is i at least as big as k?
True
Let t = -17 + 19. Suppose -t*p = 7 + 1, 0 = 4*l + p + 4. Which is smaller: -1.5 or l?
-1.5
Suppose -3*k + 0*c = 3*c - 72, 4*c = -k + 39. Let i = k - 20. Are i and 2/37 nonequal?
True
Let k be 58/18 - (-2)/(-9). Let c = k + 2. Suppose 10 = -c*l - 0*l + 5*r, -4*l - 4*r - 24 = 0. Is -4 < l?
False
Let k = -423 - -433. Is -7 equal to k?
False
Suppose -2*l - 3*c = 49, 16*l - 12*l + 88 = -4*c. Which is greater: l or -19?
l
Let k be ((2 - 3)/(-1))/(3/3). Are k and 13/7 equal?
False
Suppose 5*f + 25 = -2*l, 23 - 13 = 5*l - 2*f. Which is smaller: l or -7/78?
-7/78
Let l(c) = -c**3 + 4*c**2 + 6*c - 2. Let r be l(5). Suppose 0 = -3*y + r*y - 4*y. Let o be (-8)/(-6)*(-3 + 0). Which is bigger: y or o?
y
Let s = 0.03 - -0.06. Let x = -224 - -227. Does x = s?
False
Let s be (-119)/1044 + 21/189. Which is bigger: s or 0?
0
Let y be (66/(-18) - 1)*(-21)/2. Let k = 50 - y. Are 3/14 and k equal?
False
Let g be 20/(-12)*(0 + 1080/(-50)). Which is greater: 55 or g?
55
Let i = -340 + -232. Is -572 at most i?
True
Let c be (-3)/(-6)*(-8)/191. Let r = 258/5921 - c. Suppose 5*s + 11*a + 2 = 12*a, 0 = 3*a - 6. Is s greater than or equal to r?
False
Let y(d) = d**3 + 5*d**2 + 2*d + 8. Let a be y(-4). Suppose 113 = a*l - 47. Is 14 at most l?
False
Let q = 20.2089 + -3.1499. Let x = q + -0.059. Which is greater: x or 0?
x
Let p(w) = w**2 - 9*w - 5. Let i(o) = 2*o**2 - 17*o - 10. Let y(u) = 3*i(u) - 5*p(u). Let v be y(7). Let k = -56 - -54. Is k at least as big as v?
False
Let s = -387 - -386. Is -329 at least as big as s?
False
Let a be 16/(-12)*3/62. Let c(x) = 2*x - 2. Let m be c(-4). Let i(k) = -k**3 - 10*k**2. Let g be i(m). Is a smaller than g?
True
Let h be (0 - 2)*153/459. Let t be (4/5)/(2/10). Are t and h non-equal?
True
Let l(a) = -a**3 - 2*a**2 + 3*a + 1. Suppose 0 = -k - 5 - 32. Let t = 34 + k. Let v be l(t). Which is bigger: v or -1/60?
v
Suppose b - 3 - 3 = 0. Let y = -1106 + 4453/4. Is y at least b?
True
Let a be (-1)/(-1)*8 + -7. Which is smaller: 4/29 or a?
4/29
Let i be (6 - 9) + 565/30*-4. Is -1 at least as big as i?
True
Let h = 73 + -40. Let b = h + -33.2. Which is greater: 4 or b?
4
Let n = 10 + -6. Suppose f + 8 = 5*f, -3*f + 82 = -n*h. Is h less than -17?
True
Let x = -37.83 + 38. Let f = x + -0.07. Let u = -7 + 11. Is f >= u?
False
Suppose 0 = -0*o + 5*o - 5. Suppose n - 2 - o = 0. Let z = n + -2. Are z and 3/14 non-equal?
True
Let j = 0.44 + -2.54. Which is smaller: j or 1/7?
j
Let r(f) = 9*f**2 + 15*f + 6*f**3 + f**3 - 4*f**3 - 2*f**3 + 8. Let p be r(-7). Is -1/57 < p?
True
Let g = 261.3 - 211.3. Which is smaller: g or 3?
3
Let i = -120 + 126.95. Let s = -0.05 - i. Let j = 10 + s. Is j smaller than 0?
False
Let p(b) = -b**2 + 10*b - 6. Let f(g) = -g. Let a(t) = 2*f(t) - p(t). Let r be a(12). Let n = r - 5. Does n = 0?
False
Suppose 0 = -35*f + 40*f + 30. Suppose -5*m - 34 = -5*b + 2*b, 0 = 5*m - 5*b + 30. Which is bigger: m or f?
f
Let p be -1 + 516 - (-1 + 1 - -2). Which is bigger: p or 512?
p
Let j = 1 - 1. Let p(y) be the third derivative of y**6/120 + y**5/60 + y**3/6 - 4*y**2. Let t be p(j). Which is smaller: 1/5 or t?
1/5
Let o = 1551 - 1636. Suppose -5*j = -2*j. Is o greater than j?
False
Let n be ((-4)/10)/((-1)/180). Let l be n/9*(-2)/(-6). Suppose -31 = -4*w - 15. Is w less than l?
False
Let v = -114 - -176. Let i = 63 - v. Which is smaller: i or -5/2?
-5/2
Let v = 2.8896 + 0.1104. Let s = -0.1 + 4.1. Which is greater: s or v?
s
Suppose 4*y - 24 = -2*i, 2*y = 3*y - 4*i - 15. Which is smaller: -53 or y?
-53
Suppose -19 = 4*z + 1. Suppose -2*v - 39 = 4*i - 133, 0 = -5*i - 4*v + 119. Let r = -27 + i. Which is greater: z or r?
r
Let w(u) = -3*u + 31. Let r be w(8). Suppose 5*p = 20 + 25. Are r and p equal?
False
Suppose -31 = -15*m + 46*m. Let j = 12578/253 + -544/11. Is j bigger than m?
True
Suppose 29*q = -41*q + 1050. Is 16 <= q?
False
Let l be (-2 - 0) + (-26)/(-14). Let x be ((-3)/(-7))/(5/(-1765)). Let u = -151 - x. Which is smaller: l or u?
l
Let m = 7 + -7. Let z = 8266/19 - 5051818/11609. Let f = z + -2/47. Is f equal to m?
False
Let o = -1008 + 1007.9. Which is greater: o or -966?
o
Let g be (82/6)/(8/72). Let p be 621/g - (-10)/(-2). Which is smaller: p or 1?
p
Suppose 0 = b - 2 - 3. Suppose z + 0*z - 5 = 5*k, 2*k + 29 = -b*z. Let x(s) = s**2 + 5*s - 3. Let j be x(z). Which is greater: j or -11/3?
j
Let s = 110 - 110.18. Which is smaller: 2 or s?
s
Let c be (0 - -20)/(28/(-94)). Which is bigger: c or -68?
c
Let k be ((-2)/6)/1 - 7*105/(-1665). Let r = 0 - 1. Which is smaller: r or k?
r
Suppose -5*a + 13 = -22. Let p = 11 - a. Suppose 0*v = -p*v + 3*k - 44, -4*k + 48 = -4*v. Is v smaller than -7?
True
Let r = 689 - 576. Is r less than 114?
True
Suppose 14*h = 12*h + 236. Let o = -69 + h. Suppose -2*v + 3*s = -3*v + 9, 5*s - o = 4*v. Is v at least -6?
True
Let n = 100 - 76.1. Let u = -24 + n. Is -1/3 < u?
True
Let z be 1/(-3)*(-7 + 10). Is -3.6 smaller than z?
True
Let n = -10.132 - -10.21. Is n at least 2/15?
False
Suppose -3*x = -9 + 3. Let p = 738 - 747. Which is greater: p or x?
x
Let f be -12*((-80)/15 + 0). Let l = f - -12. Which is smaller: l or 77?
l
Let m be 0 + 14 + -7 + 86. Do m and 2/9 have the same value?
False
Suppose -45 = -2*j + 5*j. Let k = 23 + j. Let x be 56/(-30) + k/(-60). Which is greater: -0.2 or x?
-0.2
Let u = 11 - 6. Let m = u + -1. Let o be (m/(-3))/(3/9). Is o greater than or equal to -3?
False
Let l = 0.486 + -27.586. Let f = -24.3 + -2.7. Let b = l - f. Which is greater: 5 or b?
5
Let b = 121 - 91. Let l be -3*(-2)/4 + -2. Which is smaller: b or l?
l
Let w = 234/323 + -183253/1938. Does -95 = w?
False
Let l(i) = -7*i - 5*i**3 + 0 + 4*i**3 - 18 - 3*i - 7*i**2. Let h be l(-6). Are h and 0.1 equal?
False
Suppose -5 = 3*q - 2. Let c be (-4)/(-18)*q/2. Let g = 0.069 + 0.031. Which is greater: c or g?
g
Suppose 5*v - 5*s = -0*s + 95, -5*v - 4*s + 113 = 0. Is 21 greater than v?
False
Let d(u) = -u**2 + 22*u + 2. Let g be d(22). Let p be 3/18 + 298*g/24. Are 26 and p nonequal?
True
Suppose -28*j = -17*j + 11. Let r(g) = -g + 3. Let b be r(0). Is j at most b?
True
Let z(v) = v**3 - 9*v**2 + 8*v + 1. Let c be z(8). Suppose -3*w - 60 = -5*w. Let j be (-6)/w + (-82)/(-310). Are j and c equal?
False
Let a(u) = -3*u**2 - 38*u - 80. Let g be a(-10). Do -2/843 and g have the same value?
False
Let x = -956 - -958.1. Is x < 0?
False
Suppose -17 = c - 13. Let u be c/(-24) + 20/(-48). Is u greater than -2?
True
Let b = 53 - 49. Suppose -2*v + b*v = -2*v. Is 2/3 < v?
False
Let p = -38.028 + 38. Let u = -0.128 - p. Which is smaller: -5 or u?
-5
Let d(t) = -t**2 + 8*t - 4. Let f be d(7). Let r be (0/f - 4)*-22. Which is greater: r or 87?
r
Let r = -59 - -62. Let u be 5 + ((-18)/3)/r. Which is smaller: u or 8?
u
Suppose -27 = 11*h - 14*h. Are h and 17 non-equal?
True
Let o = -6 + 14. Let j = 45 + -26. Let k = -18 + j. Is o not equal to k?
True
Let u be (-2 - -3) + -2 + (-5 - -101). Is u smaller than 92?
False
Suppose -s = -4*s + 12. Suppose s*t = o - 3*o - 6, -6 = 3*t. Let u be o/(-4) - 43/4. Which is bigger: -10 or u?
-10
Let d = -14551/643559 + 1/7231. Suppose -2*z = -0*x + 5*x - 1, -x = 2*z - 5. Which is greater: x or d?
d
Let u = 457 + -422. Let z = 664.9 + -700. Let o = z + u. Which is bigger: -39 or o?
o
Let y = -3503/6 - -582. Let u be 45/(-30)*(-6)/(-9). Which is greater: u or y?
u
Suppose 13328 = 35*c - 4382. Which is bigger: 507 or c?
507
Let c be (-13)/((-52)/144) - 4. Let l be 47/(-91) + c/112. Which is smaller: l or -1?
-1
Let l(j) = j**3 - 7*j**2 + 9*j + 8. Let g be l(3). Is g at least as big as -2.59?
True
Suppose w + 2 = -w. Let i = 1022.17 - 1007. Let q = 15 - i. Which is greater: w or q?
q
Let x = -35176/433 + -38620121/25547. Let f = x + 1593. Which is smaller: 1 or f?
f
Let n = -145 + 6379/44. Which is bigger: 1 or n?
1
Let x be (0 - -1)*-5 + 4. Let b be 2 + x + (-1083)/3. Let j be 4/(-22) + b/(-891). Is j smaller than -0.1?
F