 6.4 + h. Let j = i + -5. Which is bigger: 0.3 or j?
j
Let o(y) = 4*y - 4. Let f be o(3). Suppose -4 = k + f. Which is smaller: -11 or k?
k
Let o(n) = -4*n. Let j be o(1). Let k be (-39)/33 - j/22. Suppose 2*d = 6*d - 8, -3*d = -4*c - 6. Which is bigger: c or k?
c
Let g be 40/(-6)*(-627)/(-22). Let s = -2471/13 - g. Is 0 less than or equal to s?
False
Let o = -13 - -18. Is o not equal to 0?
True
Let m = 20 - 19.1. Let t = 0.8 - m. Which is greater: 2 or t?
2
Let m(c) = c**2 + 6*c. Let j be m(-6). Suppose j = -s + 2 + 4. Is s equal to 5?
False
Let b = 10406 - 52282/5. Let n = b + 50. Which is smaller: -3 or n?
-3
Let c = 0.084 - 0.184. Let t = -4 + 30. Is t at least c?
True
Let q = 5.57 + 0.43. Which is bigger: q or 3?
q
Suppose -m = -q - 7, 0 = -2*m + 5*m - 4*q - 26. Let s be m*2/38*-1. Let h = -2 + 2. Is s at most h?
True
Let n = -56 + -14. Let s = 352/5 + n. Which is greater: s or 14?
14
Let b = -17/24 - -3/8. Is -4 != b?
True
Let h = -117 - -118. Is 2/141 >= h?
False
Let r be 1/2*4/5. Let f be -2*3*2/4. Let z = f + 3. Which is bigger: z or r?
r
Let m be ((-1)/1)/(4/(-16)). Is 0.3 != m?
True
Let o be 7 + 4*2/(-4). Suppose 3*p = x, -p = -o*x + x. Which is greater: -2/15 or x?
x
Let h be 8/3 - (2 + 2). Let u = 1 - 2. Is h != u?
True
Let p = 128 + -111. Which is greater: 20 or p?
20
Let y be 4/(-6) - (-4)/6. Let r be -1 + (0 - (-9)/3). Let b = 2 - r. Are b and y nonequal?
False
Suppose 2*m + 4*c - 13 = 5, 6 = 4*m + 2*c. Let b be m + -2 - (-28)/7. Which is bigger: b or -2/7?
b
Let c be (-1)/5 + (-28)/35. Let q(g) = 1 - 2 + 2*g**2 + g**2. Let p be q(c). Is 2 less than p?
False
Let g be (-80)/75 - 2/(-5). Which is bigger: g or 0.5?
0.5
Let p(g) = 3*g**2 + 0*g + g - g**2. Let o be p(-2). Let u be (-2)/o - (-4)/3. Is -0.2 less than u?
True
Let r = 2 + -3. Is -5/17 smaller than r?
False
Let v(z) be the third derivative of -z**5/60 - 3*z**4/8 + 2*z**3 + z**2. Let a be v(-10). Which is bigger: a or -2?
a
Let v(z) = 12*z**3 - z**2 + z. Let g be v(1). Suppose -4*p - g = 4. Is p less than or equal to -3?
True
Let u(x) = -3*x - 49. Let p be u(-16). Is -17 bigger than p?
False
Let p = 1.3 - 0.3. Let g = -4 + p. Is 2/15 greater than g?
True
Let x = 7 + -6.93. Suppose 4*g - 5*o - 16 = 0, -g + 5*o = 4*g - 15. Is g less than x?
True
Let j = -2638.17 - -2659. Let h = j + -21. Let b = 0.07 + h. Is b > -2?
True
Suppose 0 = 4*b + b - 45. Suppose 0 = -0*q - 3*q - b. Which is greater: q or -2?
-2
Suppose 4*h - 8 = -2*a, -3*h + 5*a + 6 = -0*h. Which is smaller: h or 3/7?
3/7
Let p = -1.2 + 0.2. Let q = p - -1.1. Let c be 5/((-30)/(-9)) - (-31)/(-18). Is q < c?
False
Let g = 2.0418 - 0.0118. Let v = -2 + g. Let o = v + -0.23. Which is bigger: o or 2?
2
Suppose 5*i + 20 = -4*f, -f - 3*f - 20 = -5*i. Does i = 0?
True
Let s = -7 + 0. Suppose 5*m - 25 = 0, 4*g = 3*m - 26 - 17. Is g less than or equal to s?
True
Let y = 42 + -38. Which is greater: 2 or y?
y
Suppose 4*b = 5*f + 2, 16 = -4*f - b - 3*b. Let z be (-4)/(-10) - 14/10. Is z bigger than f?
True
Let m be 26/(6 + -4 + -4). Which is greater: 1 or m?
1
Suppose -3*f - 3*v + 38 = -5*v, 5*f - 4*v = 66. Let d(t) = -t**3 + 9*t**2 + 11*t - 10. Let u be d(f). Is -2/7 bigger than u?
False
Let p be -3*(39/(-18) + 2). Let u = 220.94 + -218. Let c = u - -0.06. Which is smaller: p or c?
p
Let w be (-1 - 2)/1 - -2. Let s be (w + 10/(-22))/(-6). Let c = s + -68/99. Is c at most 1?
True
Let o be 6/(-4)*4/6. Let i(g) = -g**3 + 4*g**2 - g + 6. Let z be i(4). Suppose -z*b + 0*b = 6. Which is smaller: b or o?
b
Let v = -18 - -11. Is v greater than or equal to 1?
False
Let m be (-2 - -41)/(-3) + -2. Is m not equal to -14?
True
Let s be 9/(-7) + 4/14. Suppose 0 = -3*b - 1 - 20. Let t = 55/8 + b. Which is greater: s or t?
t
Suppose 0 = 3*i + 2*i + 20. Is 0 at most i?
False
Suppose -2 - 2 = 4*f. Let a be f*(-4 + (2 - -1)). Is a less than or equal to 4/9?
False
Let i be (3/18)/((-4)/(-56)). Is 3 at most i?
False
Let x be 112/(-130) + 2/5. Which is greater: x or 0?
0
Suppose -3*f = -3*q - 3, 3*f - 4*f - 3*q - 11 = 0. Let l be 1*-3*(f + 3). Is -4 > l?
False
Let j = 95/3 - 32. Is j less than or equal to -1?
False
Let v be -2 - 166/18*(-30)/140. Are 3 and v equal?
False
Suppose -5*v + 2*w - 1 + 2 = 0, 4*w - 3 = 5*v. Let m = -2.97 + -0.03. Is m bigger than v?
False
Let t = 31 + -34. Is t != -2?
True
Suppose 3*u = 2*p - 23 + 4, -2*u + 3*p = 21. Which is smaller: -4 or u?
-4
Let f(d) be the third derivative of d**6/120 + 7*d**5/60 + d**3 + d**2. Let g be f(-7). Suppose -g*m = -2*m. Do m and -2/9 have the same value?
False
Let m(i) = -10*i - 69. Let n be m(-12). Is n greater than -2?
True
Let u be 2 - (4 + 1 + -3). Suppose d + d = u. Let m = -2 + 2. Is d != m?
False
Suppose 119 = 5*j - 211. Suppose 2*n = t + j, -2*n + 3*t + 95 = 29. Suppose -n = 4*o - 9. Which is smaller: -7 or o?
-7
Let a be -2*3*15/(-6). Let l(p) = -p - 3. Let d be l(0). Let o be (2/5)/(d/a). Which is bigger: o or -3/5?
-3/5
Let z = 71/4 + -229/12. Suppose -f = f + 6. Let b = f - -1. Which is bigger: z or b?
z
Let p(t) be the third derivative of -t**6/120 + 7*t**5/30 + 2*t**4/3 - 5*t**3/2 - 4*t**2. Let u be p(15). Which is greater: u or 2/33?
2/33
Let n = -2 + 1.9. Let c be 3 + -6 + (-144)/(-42). Do c and n have the same value?
False
Let w = 143/5 - 29. Suppose 0 = -6*d + 3*d + 9. Which is smaller: d or w?
w
Let s = 8 - 7. Let o = 1/7 + -11/28. Which is greater: o or s?
s
Let r = 1.6 - 1.3. Which is smaller: r or 5?
r
Suppose -y = -0*y + 2. Let u be ((-2)/(-2) + y)/(-1). Let n = 1 - u. Is n greater than 1?
False
Suppose 5*w - 11 = -1. Suppose 25 = 2*v + 3*v. Is v <= w?
False
Let i = 17 - 81. Is -63 less than or equal to i?
False
Suppose 7 - 22 = -3*y. Let l be (-5)/(-50)*4/y. Is -1 > l?
False
Suppose -2*a + 5*l = 1, -5*a - 28 = -0*l - 4*l. Let m = a + 4. Let g(h) = h**3 + 3*h**2 - 5*h - 2. Let n be g(m). Which is smaller: 3/2 or n?
3/2
Let m = -4868/21 - -232. Which is smaller: m or -1?
-1
Let y = -1 + -9. Let r be 4/y - (-4)/35. Is -1 at most as big as r?
True
Let w = -14.02 + 14. Let b = -0.28 + w. Is 1 smaller than b?
False
Let f = 4 - 7. Let u be 4/(-18) + (-184)/144. Which is bigger: u or f?
u
Suppose -3*l + 2*t - 340 = -0*t, 0 = 4*l + 5*t + 461. Let o = -93482/5 - -18810. Let p = o + l. Which is smaller: p or 1?
p
Suppose -16 = h - 3*a, 0 + 5 = a. Which is smaller: 2/33 or h?
h
Let h be 4/(-3)*6/(-4). Let c be 2/8 + 33/12. Is h bigger than c?
False
Let l = 303326/15 + -99158/5. Let f(c) = 97*c + 2. Let w be f(4). Let g = w - l. Is -1 > g?
False
Suppose 9*h - 12*h = 42. Which is smaller: -15 or h?
-15
Let h = 3 - 1. Let g be h + 0 + (-40)/14. Is 0 bigger than g?
True
Suppose -4 - 2 = -o. Let w(b) = b**2 - 4*b - 4. Let t be w(o). Is 7 greater than t?
False
Let h(w) = w**3 + 5*w**2 - 5*w + 5. Suppose u + 2*u = -18. Let k be h(u). Let q = 239/4 - 60. Which is smaller: k or q?
k
Suppose 3*b + g + 70 = 0, 7*b - 3*g + 78 = 4*b. Let i be (-44)/(-6) + 8/b. Which is smaller: i or 8?
i
Suppose 2 = -i + 4. Let r(a) = -a - 2. Let u be r(i). Is -3 equal to u?
False
Let v = 3 - 4. Let g = -30/7 - -242/63. Is g bigger than v?
True
Let x = -102 + 93.8. Let i = 8 + x. Let u = 0.1 - 0.1. Are i and u equal?
False
Let w be 3/(-2)*24/(-2232). Is 1 at least w?
True
Let z(i) = -i - 1. Let w(o) = -3*o - 1. Suppose 2 = -3*s + 5. Let u(x) = s*w(x) - 4*z(x). Let n be u(-4). Is n < -2/9?
True
Suppose y - t = -7, -2*y = 5*t - 2 - 19. Let a be -3 - y - (-1 - -1). Let w = 2/113 - 123/565. Is w less than a?
False
Suppose -4*z - 4*p = -4, 2*p + 4 + 2 = 0. Let l be (-17)/(-20) - 1/z. Suppose 0*a = -d + 3*a + 15, d = 5*a + 25. Is d less than or equal to l?
True
Suppose 3*x = -7*x - 240. Which is smaller: x or -23?
x
Suppose -12 = -6*x + 2*x. Let n = x - 1. Let y be 18/20*2 - n. Which is greater: y or -1?
y
Let d(a) = -18*a**2 + a. Let h(f) = -f**3 - 5*f**2 - 6*f - 6. Let k be h(-4). Let z be d(k). Let y be (-6)/2 - z/30. Do -1 and y have different values?
True
Let i = -410/3 - -2413/15. Suppose 4*z + 120 = -5*j, -4*z + 24 = -j - 0*j. Let w = j + i. Which is smaller: w or 0?
0
Suppose -5*l + 24 = 4*q, 0 = 5*q - q + 16. Let f = 8 - l. Let k = -43/12 + 10/3. Is f bigger than k?
True
Let f = 5/7 + -82/105. Which is smaller: f or 1?
f
Let c = 263/221 + -15/17. Is 1 not equal to c?
True
Let s = -6 + 5. Let o = 1