 m(2). Let n be d/1 - (-3)/3. Suppose -4*r - 16 = 5*l, 4*l = -4*r + 3*l. Is r != n?
False
Suppose -3*i + 11 = 8. Which is greater: i or -1/136?
i
Suppose -5*s = -2*l - 2*l + 26, -3*s = -5*l + 26. Suppose g = -l*g. Which is smaller: g or -2?
-2
Let n = -93 - -92.5. Is 8 less than or equal to n?
False
Let c be ((-18)/(-8))/((-9)/36). Let o = -1 + c. Which is greater: o or -8?
-8
Let x = 2 - 0. Suppose -x*c + c - 1 = 0. Which is smaller: 1/11 or c?
c
Let z(s) = 4*s - 4. Suppose 4*n - 2 = -6*a + 3*a, a + 2 = -2*n. Let b be z(a). Suppose 0*i = i + 3*j + 16, b = -4*j. Which is smaller: i or 0?
i
Let q = -5 + 3. Let z(h) = h**3 + 4*h**2 - 5*h. Let v be z(-5). Which is bigger: v or q?
v
Suppose 484 = -5*l - 2*w, -8*l + 5*w - 505 = -3*l. Are -99 and l equal?
False
Suppose o + 8 = -0*o. Let p = 8 + o. Is p > -1/7?
True
Let u(o) be the third derivative of -o**5/60 + 7*o**4/24 + o**3 - o**2. Let p be u(7). Suppose 5*q = -3*h + 16, p*q + 2 = 2*q + 5*h. Which is bigger: q or 1?
q
Let g be (15/(-12))/(1/(-4)). Suppose 4*i - i = 6. Suppose 0 = -3*y + 2*v - v + g, -i*y + 15 = -3*v. Is -2/7 bigger than y?
False
Let c = 20 - 21. Which is smaller: -5 or c?
-5
Let r = 0.064 + 29.936. Let y = r - 29. Is 4 greater than y?
True
Let x be 2/(2*(-2)/16). Let z = -4 - x. Let j be ((-2)/z)/((-4)/8). Is j greater than or equal to 1/2?
True
Let z be ((-2)/4)/((-4)/(-48)). Let o = z - -7. Let h = 189 + -1321/7. Do h and o have the same value?
False
Suppose -o = o. Let u(t) = t - 1. Let d be u(o). Let j be 2/((-2)/d*-1). Is j at most -2?
False
Let t be -17 + 0 - (12/2 - 4). Do -20 and t have the same value?
False
Let s be (-2)/(4 + (-45)/12). Which is smaller: -10 or s?
-10
Let o = 32 - 33. Let x(r) = -r - 8. Let s be x(-5). Is o bigger than s?
True
Let k = 0.8 - 4.8. Is k at least as big as -0.2?
False
Let n(a) = a**3 - 8*a**2 + 8*a - 3. Let d be n(7). Suppose -3*f + 6 = t, -t - 6 - 9 = -d*f. Suppose 3 + 0 = f*g. Which is smaller: g or -1/11?
-1/11
Let o(q) = -2*q**2 - q + 16. Let y be o(3). Is y less than or equal to -6?
False
Suppose 4*c = c - 18. Is c at least -7?
True
Let h = 5118/7 - 730. Which is bigger: h or 1?
h
Let q = -16 - -13. Which is smaller: -1 or q?
q
Let n(y) = y**3 + 3*y**2 - 7*y - 5. Let j be n(-4). Let a = j + -8. Are a and -4/13 equal?
False
Let w = -121 + 119.9. Which is bigger: w or 4?
4
Let v = -5.6 - -3.6. Which is greater: -17 or v?
v
Let h = -30 + 18. Let j be 2/(-9)*18/h. Which is smaller: j or -1?
-1
Let v be 0/((2 - -1)/(-3)). Suppose -2*d - u = -3, 0 = -3*d - v*u + 4*u - 12. Let m = 159 + -2069/13. Which is smaller: d or m?
m
Let h be -2*((-54)/4 + 0). Let v be (h/3)/3 - 3. Let j = -326/99 - -28/9. Is v >= j?
True
Let l = -54 + 52. Do l and 2 have the same value?
False
Let g be 76/(-24) + 2/3. Is -4 equal to g?
False
Let b be 11/(-14) - 4/(-14). Suppose -8*q + 20 = -3*q. Let i be (2/q)/((-13)/26). Which is greater: b or i?
b
Let d(a) = 9 + a**3 - 3 - 3*a + 8*a + 4*a**2. Let x be d(-3). Which is greater: -2 or x?
x
Let z = -43435/2 + 20419. Let m = z + 1272. Let y = 26 + m. Which is bigger: y or 2/5?
2/5
Let d = -2 + 0. Let i be (-16)/(-24) - 32/21. Which is bigger: i or d?
i
Let u be (1 + (-9)/6)*0. Is -1/3 greater than u?
False
Let j = -10.9 - -12. Let y = 0.1 - j. Which is bigger: -0.9 or y?
-0.9
Let q be 0/(3/(-9)*-3). Suppose -4*z + i = -10, q = 5*z - 3*i - 2 - 14. Suppose 4*f = z*f. Which is bigger: 2/11 or f?
2/11
Let g = 11 - 17. Suppose t + 0*t - 2 = 0. Suppose 5 = -t*r + 3. Do r and g have different values?
True
Let n = 19421 + -134647/7. Let m = 186 - n. Is m < 0?
False
Let s = -64 - -62. Which is greater: 0.49 or s?
0.49
Let m = -2 - -1.93. Let f = m + 0.07. Do 3 and f have the same value?
False
Let w = 13 + -8. Suppose 0 = 4*t + 5*q - 7, 0 = -4*q - 6 + 2. Suppose -w = -t*n + 4*n. Is n >= -5?
True
Suppose -4*l = -l + 18. Is l greater than -3?
False
Suppose q + 60 = 6*q. Let h be (-3)/(-12) - 15/q. Which is smaller: h or -1/12?
h
Let m = -22/3 + 20/3. Are m and -1 unequal?
True
Suppose 5*m - 68 = l, 0*m + 5*m - 5*l = 80. Let a = 13 - m. Is a at most 2?
True
Let k(i) = i**2 - 11*i + 3. Let o be k(12). Is 15 bigger than o?
False
Suppose 0*o + o + 3*n - 9 = 0, 3*o - 5 = 2*n. Let d be (-1)/o - (-22)/30. Is d at most as big as 1?
True
Let x = -1.2 - -4. Let w = 0.8 - x. Is w not equal to 2?
True
Let i(v) = 9*v - 2. Let w be i(2). Let m be (2 - -1)*w/6. Suppose -b + 3*b = -m. Which is smaller: b or -3?
b
Let j be (0 - 3)/(15/(-10)). Let c(q) = -q + 4. Let g be c(j). Let l = -3 + g. Is -1 less than l?
False
Let x(b) = -b**3 + 4*b**2 - 2*b - 1. Let j be x(2). Are -2 and j non-equal?
True
Suppose -4*l - 30 = -7*l. Let a be (-6)/l - (-12)/(-30). Let t = 140/3 + -47. Is a less than t?
True
Suppose 5*y - 2*u = 37, 3*u = -3*y + u + 19. Are 7 and y unequal?
False
Suppose 4*y - 3*n = 17, 4*y = 2*n + 15 - 1. Let v be 4/(-11)*(y - 3). Which is smaller: v or 1?
v
Let t be (6/(-15))/((-70)/25). Let l be -2 - 2/(-2)*2. Which is bigger: l or t?
t
Let y = -0.14 - 0.76. Let v = y + 1. Which is bigger: v or 2?
2
Let d = -7 + 11. Which is bigger: d or 2?
d
Let d(u) = -2*u - 9. Let v be d(-7). Is 6 less than v?
False
Suppose -6*c + 3*n - 11 = -5*c, 5*n + 89 = -3*c. Is c bigger than -20?
False
Suppose 0 = -3*l, -2 = -2*u + 4*u - 2*l. Is -1/6 bigger than u?
True
Let y be 60/(-5) + -3 + -1. Are -15 and y nonequal?
True
Suppose n = m + 6*n + 4, -3*m = -4*n + 12. Let k(o) = -o**3 - 3*o**2 + 6*o + 2. Let u be k(m). Is u less than or equal to -8?
False
Let s = -0.8 - -16.8. Which is bigger: s or -2/5?
s
Let u(s) = 3 + 9 - 7*s**2 + 7*s - 2*s - 4 + s**3. Let r = 15 - 9. Let g be u(r). Is g not equal to 4/5?
True
Suppose -3*s + 5*u = 2*u + 15, s + u - 3 = 0. Is s at most as big as 2/11?
True
Let k be 1/1*17/(1836/8). Which is greater: 0.2 or k?
0.2
Suppose -16*s = -6*s - 10. Is 1/44 less than s?
True
Let j = -8.91 - 0.09. Let c = 0.1 + 0. Which is smaller: c or j?
j
Let s(w) = -4*w**2 + 5*w. Let m be s(2). Which is greater: m or -4?
-4
Let l = 0 - -2. Let i = -38.1 - -36. Let v = i + 2. Which is smaller: l or v?
v
Let x be 2/(-4)*(2 - 2). Let a(d) = 2 - 3 + 0*d + d. Let g be a(1). Is g less than or equal to x?
True
Let n = -1129/76 + 21/19. Which is greater: -14 or n?
n
Let v = 3.3 + -2.3. Let a be (16/20)/((-2)/25). Which is bigger: a or v?
v
Suppose -2*h - 3*d = -2*d + 5, 4*d + 14 = -2*h. Which is greater: h or 2?
2
Let n be -1 + 5/(10/6). Let f be 0/n*1/3. Is f != 3?
True
Suppose -2*v - 40 = -7*v + d, -5*v + 3*d = -50. Let p = -17 + v. Let s be p/(-20) - 3/14. Is 1 at most s?
False
Let r(u) = u - 5. Let g be r(-7). Let k be g/(-42) + (-122)/(-14). Is 9 greater than or equal to k?
True
Let k(g) = -g**2 + 5*g - 2. Let p be k(5). Let l(z) = -z + 3. Let m be l(10). Let t(r) = -r**3 - 7*r**2 + 1. Let u be t(m). Which is smaller: u or p?
p
Let l be (-140)/(-40) + 2/(-2) + -2. Is -0.2 bigger than l?
False
Let g = 78.03 - 78. Let q = -41/129 + -2/129. Is g bigger than q?
True
Let p = -143859/50 + 2876. Let l = p + 6/5. Is l at least -1?
True
Let a = 755/996 - 2/249. Suppose 3*g - 5*u = 27 - 7, 6 = g - u. Suppose -7 = -4*x - 4*b + g, -1 = -b. Which is bigger: x or a?
x
Suppose -s = s - 10. Let k(l) = -l**3 + 6*l**2 - 5*l. Let b be k(s). Suppose -3*y - 7 = 8. Is y < b?
True
Let d = 1/2 - 11/30. Let c = -19/30 + d. Which is smaller: c or -2?
-2
Let n = 9.1 - 9. Let i = -0.6 + 1. Are n and i unequal?
True
Let g be (1 + -7)*(-4)/6. Let s be (g/1*-1)/(-2). Let x be 2*(-3)/(-12)*s. Is x bigger than 0.1?
True
Let h = -0.08 + -0.02. Let r = 0.05 + h. Let m = 0.15 + r. Is 0.1 > m?
False
Let f(s) = s**2 + 5*s - 5. Let b be f(-6). Suppose -2 = g + b. Let d = g + 7. Is 2 at most d?
True
Suppose 2*w - 4 = 4. Suppose -q - w*q - 30 = 0. Let a = q + 4. Is -1 less than a?
False
Let z = 4 + -5. Let q(n) = -5*n + 23. Let a be q(5). Is a <= z?
True
Suppose d + r + r + 7 = 0, -3*d = -4*r - 19. Let u = -5 - -5. Which is greater: d or u?
d
Suppose j + 9 = 4*j + 3*b, 0 = -j - 5*b + 11. Do 7 and j have different values?
True
Let r = -274/75 - -8/25. Which is smaller: -4 or r?
-4
Let l = -1.67 - -1.6. Let i = 2.07 + l. Which is smaller: -1/5 or i?
-1/5
Let k = 54.2 - 54. Which is smaller: -26 or k?
-26
Let v = -3 + 13. Is v at least 0?
True
Let m = 6/335 + -15769/1340. Is -12 at most m?
True
Let 