x be v(-6). Which is smaller: -3 or x?
x
Suppose o = 5*o. Suppose -2*n + 12 = -o. Let j be n/18 + 2/12. Is 1 != j?
True
Let o = -161.7 - -162. Which is smaller: -1.1 or o?
-1.1
Let t = 1/33 - 4/11. Let k be (-6)/28*(0 - (-8)/(-12)). Is t at least as big as k?
False
Let p(v) = 7*v - 4*v**2 + 3 + 6*v**2 + 1. Let t be p(-4). Let o = t + -5. Is o at most 2?
False
Let z = 221 - 226. Is z not equal to 2/31?
True
Let y be (-1)/4 + 75/60. Which is smaller: -1/3 or y?
-1/3
Suppose -y - 3*o - 148 = 3*y, 2*y = 5*o - 48. Is y < -34?
False
Let y = 18 + -20. Which is smaller: y or -65?
-65
Let y be 1/(-2)*2*11. Let d be 2/(-4) + y/(-14). Let a be 3*((-61)/(-21) - 3). Is a > d?
False
Let k(r) be the third derivative of -r**4/12 + 2*r**3/3 - r**2. Let m be k(3). Let z be (0 - m)*2/(-4). Which is greater: z or 0?
0
Let r be (4/7)/((-81)/(-63)). Is 2/3 at most as big as r?
False
Let c = -0.149 + -222.851. Let j = 225.02 + c. Let u = j - 0.02. Is 0.1 equal to u?
False
Suppose v - 2*y - 326 = 5*v, -3*y = -2*v - 175. Are v and -84 non-equal?
True
Let h(z) = z**2 - 13*z - 71. Let b be h(18). Which is smaller: 1 or b?
1
Let g = 2 - 5. Let b be ((-1)/g)/((-6)/(-9)). Let a(k) = -2*k**3 - 3*k**2 - 2*k. Let u be a(-1). Which is smaller: u or b?
b
Let o = 26 - 24.3. Let u = o + -0.7. Which is smaller: -0.6 or u?
-0.6
Let z(q) = 3*q**3 + 5*q**2 - 7*q + 2. Let o be z(-5). Let k = o - -1495/7. Is 2 at least as big as k?
True
Let u = 7 - 8. Which is smaller: 6 or u?
u
Suppose -5*t = 5*f - 5, 6 = 3*f - f + t. Suppose b - 8 = -f*c, 0 = -4*b - 2*c - 4. Let i = -5/7 - -3/14. Which is greater: i or b?
i
Let m be 10/15 - 3*33/189. Is m < -4?
False
Let p be (-1 - -4)*(-14)/(-6). Let d = 22 + -33. Let t = d + p. Which is smaller: t or -5?
-5
Let c be ((-8)/(-10))/(8/100). Let m(y) = -y - 4*y + 12 + 4*y. Let l be m(c). Which is bigger: l or 1?
l
Let w = -34 + 33. Is 4/45 != w?
True
Let k(n) = n**3 - 9*n**2 + 12*n - 19. Let f be k(8). Is f < 0?
False
Suppose 0 = 4*q + q - 3*w - 35, 2*q - 5*w = 14. Let y(d) = -3*d**2 + 2*d - q + d**3 + 0*d - 5*d**2 + 6*d. Let s be y(7). Which is smaller: 0.1 or s?
s
Let a = -55 - -9208. Let n = a + -1208159/132. Let x = 1/33 - n. Is x < 0.1?
True
Suppose -65 = 3*j - 56. Suppose -22 = 4*f + 3*n - 4, -5*f - 9 = -3*n. Is f < j?
False
Let d = -7541326/47377 - 21/4307. Let i = -159 - d. Which is bigger: -1 or i?
i
Let v be (-496)/64 + 6/8. Is -11 != v?
True
Let a = -0.54 - -0.04. Let h = a + 0.4. Is -1 > h?
False
Let p be (-4)/10 - 372/(-30). Let g(q) = q**2 - 12*q + 6. Let a be g(p). Let d = a - 5. Which is bigger: 0.5 or d?
d
Suppose -3 = 3*m - 2*m, 5*l = -3*m - 1249. Let r = -987/4 - l. Do 0 and r have different values?
True
Let z = -6 - -14. Suppose 5*u + z = 13. Which is smaller: 3 or u?
u
Let n = 7 - -1. Let i = -8 + n. Let q = -0.6 + 0.3. Which is bigger: i or q?
i
Let u be ((-4)/8)/(2/4). Which is bigger: 2/29 or u?
2/29
Suppose 2*a + 6 = 5*p - a, -18 = -2*p - 4*a. Suppose 0 = -5*w + 2*m + 10, 0 = p*w - 2*w - 4*m - 2. Is 2 < w?
False
Let o be (2/(-3))/((-40)/24). Is -9 at most o?
True
Let q = 6 + -8. Which is greater: 1/19 or q?
1/19
Let u be 4/6*(-3)/(-5). Let h = 0 + -1. Which is smaller: u or h?
h
Let t(v) = v**3 + 5*v**2 + 3*v - 3. Let f be t(-4). Suppose 4*h - 9 = -2*q + f, -3*q - 12 = -3*h. Let z be -1*(q + 7/5). Is z bigger than -1?
True
Suppose -r = -6*r. Let f = -39/4 - -10. Which is greater: r or f?
f
Let s(v) = -v**2 + 21*v - 28. Let z be s(20). Which is smaller: z or -12?
-12
Let u be -3 - (-1)/((-3)/(-15)). Is 11/4 less than or equal to u?
False
Let j(q) = q - 1. Let k be j(3). Suppose -2*l + 3*c = c - k, -l + 6 = 4*c. Is 5 < l?
False
Suppose 4*a + 3*g - 46 = 0, -38 = -3*a - g - 3*g. Are 9 and a equal?
False
Suppose 31 = 7*d - 4. Is 2 smaller than d?
True
Suppose -4*v - 362 - 74 = 0. Let c = 1200/11 + v. Which is greater: 1 or c?
1
Suppose -2*c + 3 = 3*w - 4*w, -3*w + 5 = c. Let h be 110/(-252) + c/9. Is h equal to 0?
False
Suppose 5*m = 3*o - 55, 2*o = 3*m + 16 + 18. Is -11 > m?
False
Let a be 0 + ((-32)/(-52))/(-2). Let h = a + 38/39. Which is smaller: h or 2?
h
Let l be 6/15 + 6/10. Let j be 4 - l - (1 + -4). Is 6 greater than j?
False
Suppose 0 = y - 3*a - 13, 0 = -2*y + a + a + 10. Which is smaller: 2/3 or y?
2/3
Let s = -9 + 9. Suppose -3*b = -4*q - 21, 3*q - 3*b = q - 15. Let p be (s + q/(-3))*0. Is p less than -1?
False
Let t = -1.1 - -1. Which is smaller: 3 or t?
t
Let b = 4954/11 - 450. Which is smaller: -1 or b?
-1
Let v = -68 + 69. Does v = -1/146?
False
Let u = -25.5 - -25. Is u >= 2?
False
Let a = 1 - 0.9. Suppose -4*z = -68 - 52. Let x = z - 89/3. Which is bigger: x or a?
x
Let p be ((-1)/(-2))/((-3)/(-6)). Let y = 139 + -89. Let f = y + -201/4. Do f and p have different values?
True
Suppose 4*o + 41 = -c + 3, -17 = o + 4*c. Let w(t) = t**2 + 10*t + 11. Let r be w(o). Is 2 smaller than r?
False
Let i = -4.2 - -5. Let y = i - 1. Let x be ((-4)/(-8))/((-2)/4). Is x less than or equal to y?
True
Let b(u) be the first derivative of u**5/60 + 7*u**4/24 - u**3/3 + 1. Let r(k) be the third derivative of b(k). Let o be r(-5). Which is bigger: -3/2 or o?
-3/2
Let q = 0.2 + 0. Let b = 0.057 - 2.257. Let m = q + b. Is m greater than 4/5?
False
Let n(z) be the third derivative of -z**5/60 - 5*z**4/24 + z**3 + z**2. Let l be n(-6). Is 0 less than or equal to l?
True
Suppose 4*i - 1 - 7 = 0. Let y = i - 3. Let u = 9/13 - 125/143. Is u less than y?
False
Let i(q) = -q - q**2 + 3*q + q + 6 - 2. Let m be i(-2). Which is greater: m or -1?
-1
Let z be (-2)/(-14) + (-306)/1260. Is z >= -1/2?
True
Suppose -6*o - 54 = 18. Is -75/7 smaller than o?
False
Let n = -1 + 2. Let q = 11 + -1. Let w be (18/45)/(2/q). Which is smaller: w or n?
n
Let g = -20 - -14. Let z be ((-10)/4)/(3/g). Is z bigger than 4?
True
Let i(m) = m. Let s be ((-6)/4)/(3/(-6)). Let t be i(s). Which is smaller: 1 or t?
1
Let u = -13/5 + 111/35. Do u and 0 have different values?
True
Let u = 2926 - 599828/205. Let j = 990/2999 + 602746/1844385. Let h = u + j. Which is smaller: 2 or h?
h
Let i = 9 - 17. Let p be (i/(-14))/(4 - 6). Are p and -1 unequal?
True
Suppose 5*f = 4*f + 2. Let d be 4/f + (1 - 3). Let b(u) = u**2 + 7*u + 7. Let i be b(-6). Is d > i?
False
Let o = -6301 - -6221.98. Let l = 78 + o. Let j = l - -0.02. Is -2 equal to j?
False
Let i be (-1 + 1)/(9/3). Suppose 0 = -2*o - i + 2. Which is bigger: o or 0.3?
o
Suppose -b + 8 = 3*b. Which is smaller: -1 or b?
-1
Let f(t) = 2*t**3 + 2*t**2 + 2*t + 1. Let z be f(-2). Are z and -11 nonequal?
False
Suppose 4*l + 1090 = -2*y, 0 = -3*l - l + 2*y - 1070. Let m be (-6)/(-10) + 132/l. Let c = -3 + 3. Is m less than c?
False
Let s = 1.82 + 1.18. Is 3 <= s?
True
Suppose -2*c + 1 + 5 = 0. Suppose c*i + 8 + 4 = 0. Is -1 less than or equal to i?
False
Let p(u) = u**3 - 6*u**2 - 7*u - 1. Let c be p(7). Is c < 2/13?
True
Suppose -5*o + 2 = -2*u, o + 0*u + 6 = 2*u. Let w = o + -8. Is -7 equal to w?
False
Let l be (-4)/(((-2)/(-3))/(-1)). Let m = 10 - l. Which is smaller: 3 or m?
3
Let i = 68 - 42. Suppose 5*s = -4*b + s + 32, 5*s - i = -3*b. Let t(x) = -x**2 + 9*x - 10. Let l be t(b). Which is smaller: 3 or l?
3
Let y = 0.8 + -3.1. Let n = -1.3 - -1. Let u = y - n. Is -0.1 bigger than u?
True
Let c = -433/636 - -14/53. Let n = c - -1/4. Is -0.1 bigger than n?
True
Let g be ((-1)/(-2))/(4/(-48)). Let v = 5 + g. Which is bigger: 0 or v?
0
Let v be 2/(-15)*-35 - 5. Is -0.7 greater than v?
False
Let q = 252 + -252. Let y = 0.1 + 0.4. Does q = y?
False
Suppose -4*j = t - 7, -5*t = j - 4 + 7. Which is bigger: t or -1/16?
-1/16
Let p = 3 - 0. Let t = 0.1 - 2.1. Let j = 1.9 + t. Which is bigger: j or p?
p
Suppose 2*h - 26 = -10. Let c = h - 4. Suppose -3*p + 2 = -c*p. Are p and -1 unequal?
True
Let q = 0.02 - 9.02. Let d = -8 - q. Which is smaller: 13 or d?
d
Suppose -4*f + 2*f = 4*c - 8, 3*f = 0. Suppose c*m + 4 = t - 3*m, t = -2*m - 10. Is -4 greater than or equal to t?
True
Let t be (-42)/140*(-8)/(-66). Is -1 less than or equal to t?
True
Let h be (-26)/40 + 2/8. Let i(t) = -t - 3. Let y be i(-3). Is y <= h?
False
Let j = 0.16 - 0.1. Let c = -5 - -5.04. Let l = j + c. Are l and -0.3 equal?
False
Let h be 0 - -3 - 7/6. Let i = 17/3 + h. Which is greater: 8 or i?
8
Let i = -6 - -16. Which is bigger: i or 8?
i
Let u = 2250/13 + -173. L