Let j = -6 + 1. Let k = j - -4. Is m < k?
False
Let r = 7 + -7.5. Let c = r - -0.7. Let v be ((-1)/(-4))/((-3)/(-4)). Which is bigger: c or v?
v
Let i = 45 + -48. Do i and 0.1 have the same value?
False
Let i = -62 - -32. Is i less than or equal to -31?
False
Suppose 0*m = 2*m + 38. Let y = -1 + m. Let w be 18/y + 2/4. Which is smaller: 2 or w?
w
Let u = -6/67 - 9/2144. Do -1 and u have the same value?
False
Let n = 0.19 - 0.2. Let j = 45 - 44.9. Which is smaller: j or n?
n
Suppose -5*j - 3*s - 8 = 0, 0*j - 4*s - 3 = -j. Let w = 1 + j. Let b = 1/17 - 21/68. Which is smaller: w or b?
b
Let p = -1.92 + 2. Let b = p - 0.28. Is b greater than 0.3?
False
Suppose l - 3 = 2. Suppose 10*j - l*j = 10. Are 0 and j non-equal?
True
Let a be 40/12*6/4. Let s = a + -4. Is 1/5 bigger than s?
False
Let g be (248/64 + -4)*(-24)/10. Let n = 0.2 - 0.1. Which is bigger: g or n?
g
Let b = 87 + -88. Let h(o) be the third derivative of -o**5/60 + 5*o**4/24 - o**3/3 - 2*o**2. Let t be h(5). Does b = t?
False
Suppose 0 = 3*i - 12, 3*i = o + 5*i - 8. Suppose 25 = -4*x - f, 3*x + f = -o*x - 20. Which is smaller: x or -6?
-6
Let h be ((-44)/55)/((-666)/15). Which is smaller: h or 1?
h
Suppose 0 = l - 2*m + 9, -5*m + 12 = 4*l - m. Which is bigger: 1/5 or l?
1/5
Let h(n) = -n - 7. Let l be h(-7). Let v = -938 + 920.99. Let f = v - -17. Which is smaller: l or f?
f
Let d = -2 - 0. Let i be 1/d*(-8)/6. Which is bigger: i or 2?
2
Suppose -12 = w - 11. Is w equal to -2/9?
False
Let v = 24.7 - 25. Suppose 4*q = -2*p, -1 - 3 = -4*q - 4*p. Which is smaller: q or v?
q
Suppose 3*x - 3*q - 10 = 5*x, 16 = -5*x - 3*q. Let h be (8 + x)/(-2)*1. Suppose 4*r - 5*l = -3, -2*r + 8*l - 3*l + 1 = 0. Which is smaller: r or h?
h
Let m = 8 - 4. Suppose -m = 3*c + 2. Which is greater: -1 or c?
-1
Let j be (3/(-6))/((-18)/16). Let d = j + -7/36. Which is smaller: -5 or d?
-5
Let i(x) = 2*x**3 + 11*x**2 + 2*x - 15. Let o be i(-5). Which is greater: o or -47?
o
Let w be ((-1049)/(-21))/(3/(-9)). Let f = w + 149. Is -1 greater than or equal to f?
False
Let t(x) = x**3 + 4. Let k(z) = z**3 + 5*z**2 - 5*z + 6. Let f be k(-6). Let c be t(f). Suppose -r = -c*n + 3, 0*n - 2*r = n + 6. Which is greater: 1 or n?
1
Let w be -2 + -4 + -2 + -1. Let u be ((-3)/4)/(w/(-30)). Suppose 4*x + 3*j = 1 - 2, 5*j = 5*x + 45. Which is greater: u or x?
u
Let s(k) = k**3 + 4*k**2 + 3*k. Let j be s(-3). Let y = -400/1881 + -2/209. Is j at most as big as y?
False
Suppose 3*y + 49 - 55 = 0. Is y != 5?
True
Suppose -4*t + 4 = -f + 16, 4*f = 4*t + 24. Let s be (f/5)/(4/30). Which is smaller: 5 or s?
5
Let s be (-22)/6*(-2 + 1). Which is bigger: 3 or s?
s
Let o = 0.036 + 0.964. Is o at least 0.1?
True
Suppose -5*u + 70 = -4*f, -4*u - 4*f = -10 - 10. Let r(k) = k**3 + 4*k**2 - 4*k + 4. Let b be r(-5). Let v be (5/(u/8))/b. Which is smaller: v or 0.1?
v
Let z be (-4)/(-14) - (-324)/42. Let j = z - 5. Which is smaller: j or 2?
2
Suppose -2*m - 3 = 9. Let k be 8/5*(-4 - 0). Let c = m - k. Is c greater than 1/2?
False
Let l = 7 - 3. Let j be (l/48)/((-6)/(-16)). Is j <= 1?
True
Let x = -251 + 1763/7. Let i = x + -5/14. Which is bigger: i or 2?
2
Suppose -660 = -3*u + 4*t, -2*u - 4*t = -4*u + 444. Suppose -u = -4*z + 8*z. Let d = 105/2 + z. Is -2 greater than d?
False
Let n be 11/55 - (-88)/10. Is 6 greater than n?
False
Let z be ((-227)/(-8))/(3/12). Let f = -111 + z. Which is smaller: f or 4?
f
Suppose -12 = -x - 5. Which is smaller: 5 or x?
5
Let a = 0.14 + -0.1. Let q = a - -2.96. Let r = q - 2. Which is smaller: r or 0.2?
0.2
Let i be (1/33)/((-85)/34). Which is bigger: i or 0?
0
Let i = -423/5 - -84. Which is greater: -1 or i?
i
Let k be ((-56)/(-6))/((-10)/(-15)). Let c(i) = -i**2 + 7*i + 3. Let o be c(4). Do o and k have the same value?
False
Let b be -17 + 6/9*3. Let t = -27/2 - b. Let m be (-9)/10 - (-2)/4. Is m bigger than t?
False
Let g be (-2)/(-3) + (-2)/12. Let k = 582 - 582. Which is smaller: g or k?
k
Suppose 2*l = 5*l - 6. Let j = l - 1. Let z be 6/16*(-2)/3. Which is bigger: z or j?
j
Let w be 6/(-8)*8/(-7). Let s = 47 + -47. Which is smaller: s or w?
s
Let q = 44 - 50. Is -2/3 at most q?
False
Let f be (-1 + -1 - -1) + 2/(-2). Does f = -3?
False
Let w = 5 - 3. Let r be (-5)/2*12/(-10). Suppose r*y - 1 + 7 = 4*b, 0 = 4*b + 5*y - 22. Which is smaller: w or b?
w
Let z = -3.03 - 0.37. Let j = 0.2 + -3.2. Let d = j - z. Do d and 1/4 have the same value?
False
Suppose 5*w - 3*r - 23 = 0, -w + 3*r = 3*w - 19. Let k be 4/(-3)*(-285)/5. Let i be k/28 - w/(-14). Is i equal to 3?
True
Suppose 2*v - 5*g - 26 = 0, 0*v - 4*g = -4*v + 40. Let j = -2 - -3. Let c be (2 - j)/(2/v). Is c smaller than 0?
False
Let a = -3.87 + 4. Let z = a + 0.87. Which is smaller: z or 1/3?
1/3
Let j be (-1 + 0 + 13/11)/(-1). Is j less than 0.7?
True
Suppose 0 = -2*v - 3 + 5. Let h(o) = o + 12. Let z be h(-13). Let y be z/1 - 8/(-2). Is v < y?
True
Let z be 14/(-6) + (-3)/(-9). Let b = 5 + z. Suppose -o = o - 5*w - 23, 12 = -4*w. Which is smaller: b or o?
b
Let s = 99/40 + -13/5. Is 0 less than s?
False
Let v = -44 + 31. Let c = -15 - v. Is c equal to 9?
False
Suppose 3*s - 6*s = 0. Suppose s*z + 3*z = 0. Is z less than or equal to 2/5?
True
Let a be 0 + -7 + 8/4. Let n(y) be the first derivative of -y**2/2 - 3*y + 3. Let b be n(a). Which is greater: b or 7/4?
b
Let a = 27 + -28. Is a < 1/3?
True
Let q be (-2)/(-6) - 10/(-6). Suppose -q*o = o. Which is smaller: o or 1?
o
Let m = 41/3 - 14. Let i = 8 - 8.1. Which is smaller: i or m?
m
Let m be (-1 + -2)/(3/6*-6). Is m > 16?
False
Let y be 10/(-45) + 421/(-9). Let r = 97/2 + y. Let p = 1 + 0. Is r not equal to p?
True
Suppose -3*w + 0*w + 15 = 0, -4*w + 24 = -2*u. Let s be 2 - 0/(u - 0). Let p be (s/(-8))/(3/4). Is 2 equal to p?
False
Let m(s) = -s**3 + 2*s**2 - 2*s + 2. Let p be m(2). Do p and -3 have different values?
True
Suppose -15*x - 6*x - 315 = 0. Which is smaller: x or -14?
x
Let p(x) = x**3 - 4*x + 3. Suppose 0*s + 2*s = 4. Let w be p(s). Does 3 = w?
True
Let w be ((-3)/((-12)/(-20)))/(-1). Let g be w/((-5)/(-4)) + -2. Let m be (2/(-15))/(2/(-10)). Is m <= g?
True
Let r = -16.1 + 16. Is -0.11 smaller than r?
True
Let j be 3/(-16)*2/(-3). Let r be 1*(-2)/4*(37 + -35). Is r bigger than j?
False
Let v = 25 - 24.82. Let z = 0.02 + v. Are z and 6 equal?
False
Let c be (-38)/190 - (2/(-10) - -1). Is 2/105 equal to c?
False
Suppose k = -k + 4. Let d be (2/20)/(k/5). Does d = 1?
False
Let a = 492171/2885 + -853/5. Let j = -1208/15579 - a. Are 1 and j equal?
False
Let j(t) = 2*t. Let v = -4 - -8. Let y = -3 + v. Let l be j(y). Which is smaller: l or 4/3?
4/3
Let t be 1/(-3) - (-22)/(-6). Let n = -9 - t. Is n > -6?
True
Let y(d) = -d**2 - 2*d - 2. Let w be y(-1). Is -1 less than w?
False
Let w = -68/7 - -251/28. Let c(x) = 2*x**2 - 12*x + 8. Let l be c(5). Which is greater: l or w?
w
Let m = -16 + 10. Let p = m + 5.9. Is -0.1 greater than p?
False
Let k = -0.6 - 3.4. Is 1 > k?
True
Let j(y) = y**2 - 2*y - 1. Let g be j(2). Suppose -5 = -4*k + 3*f + 2, 2*k = -5*f - 3. Let s = g - k. Which is bigger: s or -3?
s
Let q(z) = z**3 + 3*z**2 - 5*z - 5. Let f be q(-4). Let s(u) = u**2 - 11*u - 1. Let j be s(11). Is f bigger than j?
False
Let x = -155041/114 - -1360. Is -1 not equal to x?
True
Suppose 0*n + 12 = 4*r + n, -5*r + 14 = n. Let z(m) = -4*m - 3. Let q be z(1). Let g = r + q. Is g at most -3?
True
Suppose -s - 12 + 3 = 4*t, 3*s + 14 = t. Which is smaller: t or -5?
-5
Let p(r) be the second derivative of -r**5/20 + r**4/2 - 2*r**3/3 - 3*r**2/2 + r. Let f be p(5). Let d be (1 - (f + 0))*0. Is 1/4 greater than d?
True
Let j = 1 - 0. Let x be j/2*2/1. Let c be ((-4)/12)/((-2)/12). Which is smaller: c or x?
x
Let x = -9 + 17. Let n = 8 - x. Suppose n = 5*r + 2 + 3. Which is bigger: r or 0?
0
Let k = -295 - -430. Suppose -5*h + 2*p + k = 0, 3*p + 80 = 3*h + 2*p. Let g be 44/30 + 5/h. Is 1 at most as big as g?
True
Let i be (17/(-24))/((-62)/(-20)). Let r = i + -2/93. Which is bigger: r or 0.1?
0.1
Let j = 6 - 12. Let b = j + 6.06. Let n = -1.06 + b. Is n at most -3?
False
Let j(z) = z**2 - 9*z + 22. Let p be j(9). Let t = 18 - p. Is -16/3 at least as big as t?
False
Suppose 6 = 4*b - 10*b. Let j = 197 - 989/5. Which is smaller: b or j?
b
Suppose -115*k + 25 = -114*k. Is k not equal to 22?
True
Let c = -23