 -41 + 204/5. Let h(q) = -3*q + 44. Let l be h(17). Let t be (l - 36/(-4)) + 4/(-6). Do t and p have different values?
True
Let o = -90 - -116. Which is greater: o or 27?
27
Let m = 6 + -11. Let c(h) = 0*h + 4*h - 3 + 8 - 3*h. Let f be c(-7). Is m bigger than f?
False
Let s = 657.7 - -110.3. Is 0.1 at least as big as s?
False
Let r = 1332 - 1055. Is 279 greater than r?
True
Let t be (1 - 6 - -9) + -5. Is -21/11 <= t?
True
Let c(t) = 42*t**3 - 5*t**2 + 4*t + 8. Let z be c(-4). Let r be (-4 - z/(-12)) + 4. Let x = 234 + r. Is 0.1 >= x?
False
Let d = 79453/1228 + 15/307. Are 64 and d unequal?
True
Let l = 36649/72 - 509. Is 1 >= l?
True
Let n(a) = -a**3 - 8*a**2 - 9*a - 7. Let p be n(-6). Let w = -3180 - -3154. Is w <= p?
True
Let o(z) be the first derivative of z**4/2 + z**2/2 + 6*z + 6. Let l(h) be the first derivative of o(h). Let g be l(1). Which is bigger: g or 8?
8
Suppose -13 = -n + 4*g, -4*n = -0*g - 5*g - 52. Suppose n*v - 150 = 8*v. Let i be (25/v)/(5/3). Are i and 1/9 unequal?
True
Let n(b) = -b**2 - 15*b - 5. Let k be n(15). Let y be (-1)/1 + k/(-169). Is y > 1?
True
Let s = -140.9 + 141. Which is bigger: 25/11 or s?
25/11
Let u = -470 - -468.51. Is 1 at most as big as u?
False
Let z = 534/5 - 108. Is z less than or equal to -0.04?
True
Let r = 1362 + -1205. Is 150 equal to r?
False
Let c be (-1440)/(-54) + (-1)/(-3). Let a = -28 + c. Is a bigger than -2/65?
False
Let k(n) = -n**2 - 5*n + 2. Let m be k(-5). Let z be (209/(-22))/(1/m). Do -18 and z have different values?
True
Let i = 5315/4 + -1313. Are 16 and i non-equal?
True
Let s = -6 + 13. Which is bigger: s or -5?
s
Let o(j) = j**3 - 28*j**2 - 31*j + 59. Let y be o(29). Is 86 < y?
False
Let n be ((-26543)/(-23672))/((-2)/(-4)). Let q = n - -2/269. Which is bigger: q or 2?
q
Let m = -140.1 - 1.5. Let j = m + 142. Which is bigger: j or -4?
j
Suppose 2*x = -j - 4*j - 85, -5*x - 265 = 2*j. Which is smaller: x or -6?
x
Suppose -2*v + 4 = 2*v. Let g = -75 - -80. Is g smaller than v?
False
Let y = 29 - 29. Suppose y = -3*b + 3*m + 9, -1 = -m + 1. Which is bigger: 0.5 or b?
b
Suppose 0 = 2*r - 3*a - 266339, 2*a = -5*r - a + 665858. Let g = r + -787639/6. Let z = g + -1902. Is z <= -4?
True
Suppose z - 2 + 16 = 0. Let l be 12/(-30) - (5 - (-595)/75). Is z less than l?
True
Let n = -99.8 - 156.2. Which is smaller: n or -0.3?
n
Let q = 171.9 + -172. Is 227 at most as big as q?
False
Let w(u) = -u**2 - 8*u + 2. Let k be w(-8). Suppose k*v + 2*s = -0*s - 36, v + 2*s = -17. Which is smaller: v or -21?
-21
Suppose -4*w + 0 = -8. Suppose -5 = -t - 2*s + 7, 0 = -4*t - 3*s + 23. Suppose 3*h = 0, 0 = -d + w*h + t*h + 22. Which is smaller: 23 or d?
d
Let n be (3 - 0 - 6)/(1 + -4). Are -1/714 and n unequal?
True
Let b = -19/117 - -2/39. Let z = -16 + 19. Is z < b?
False
Let t = 13 + -10. Suppose 19*r = 20*r - t. Let p be -2*(-3)/(-6) + 4. Is p at least r?
True
Suppose -5*u - 5*l + 485 = 0, -2*u - 4*l + 3*l + 194 = 0. Is 97 equal to u?
True
Let t = -224 + 224.168. Is 4 at least as big as t?
True
Let b be (628/(-10))/(5/(-50)). Let z = 3153/5 - b. Is 0.1 not equal to z?
True
Let i(t) = 20*t**3 + 2*t**2 - 2*t + 1. Let b be i(1). Let m = 10 - b. Let c = m + 10. Are -7 and c unequal?
True
Let c(s) = s**3 + 6*s**2 - 8*s - 9. Suppose -3*v = 10 + 14. Let m be c(v). Which is greater: m or -74?
m
Let y(u) = 12*u + 701. Let j be y(-58). Let z = -13 - -19. Is j equal to z?
False
Let v = 0.1 - 0. Let l = -10.31 + -9.69. Which is bigger: v or l?
v
Suppose -22 = -2*g + r - 29, 0 = -3*g + 3*r - 18. Which is smaller: g or -1/81?
g
Suppose -2*r + 9 = -9. Let y = 5 - r. Suppose -z + 3*z + 2 = -2*q, 5*z + 14 = -2*q. Is z smaller than y?
False
Let h = 57 - 69.7. Which is smaller: h or -3/2?
h
Suppose 0 = 5*m - 3*c + 2*c - 10, 3*c = -3*m + 24. Suppose -3*u + 79 = -5*q, -5*u = -m*q - 0*q - 57. Is q not equal to -13?
True
Suppose -t + 25 = 3*p, -p + 0*p = -5. Is 34/3 not equal to t?
True
Let h = 313 + -314. Which is smaller: h or -2/135?
h
Let q = 13.3 + -3.3. Let x be ((-4)/(-6))/(-1 + 2). Which is smaller: x or q?
x
Let n = 319 - -43. Which is smaller: n or 1443/4?
1443/4
Suppose -18 = -2*m - 60. Let z = 22 + m. Let i = -8/11 + 46/33. Is i equal to z?
False
Let w(o) = 3*o**2 + 2*o + 7. Let l be w(-6). Are l and 100 nonequal?
True
Let y be 80/(-440) - (-2077)/(-11). Is 0.1 equal to y?
False
Suppose -4*u = -2*u - 2. Let r = u - 0. Let w = -55/13 - -178/39. Is r bigger than w?
True
Suppose -3*a = -0*a + 3. Let u be (-8)/32 - 142/72. Which is smaller: u or a?
u
Suppose -7*p = -3*p. Suppose p = -3*v + 3*j - 6, 0 = 6*v - 3*v - 4*j + 3. Let g = -0.3 - -0.4. Are g and v unequal?
True
Let t = 6 + 37. Let i = -35 + t. Is 7 > i?
False
Let p be -2 - ((2 - 2) + -1). Let a be (p + -1)/1 - 968/(-418). Is -1 less than a?
True
Let c be (-6 - 7983/(-1404))*2/(-7). Which is bigger: c or 0?
c
Let i(q) = 2*q + 20. Let o be i(0). Let m(n) = -n**2 + 20*n + 1. Let t be m(o). Let v = 2.02 + -2. Is t < v?
False
Let u be 476/(-30) + 26/(-195). Which is greater: u or -17?
u
Suppose -17*l = -14*l + 51. Let v = l + 39. Which is greater: v or 21?
v
Let f = 232 - 231.689. Let w = -0.011 + f. Which is smaller: -6 or w?
-6
Let j(n) = -11*n**3 - 2*n**2 - 4*n + 6. Let z be j(2). Is z at least as big as -98?
True
Let d = -1.15 - -1.25. Which is smaller: d or 516?
d
Let r(x) = 3*x + 1. Let j be r(-4). Let i = -6 - -4. Let s be i*(-2)/(j + -1). Which is smaller: s or 2/9?
s
Let c(j) = j**3 - 3*j - 1. Let v be c(2). Let u be (3 - (2 - 3))*v/4. Let p = 19/9 - 5/3. Is u less than p?
False
Suppose 70 = 5*g - 3*p, 3*g - 3*p - 76 = -8*p. Suppose -20*z + 1152 = 44*z. Are g and z unequal?
True
Let w(c) = -2*c + 12. Let m be w(-11). Suppose 2*o + 2*o = 5*v + 44, v = 3*o. Let l be 56/m - v/(-6). Is 1 != l?
True
Let i(v) be the third derivative of -v**5/12 - v**4/24 - v**3/3 - v**2. Let p be i(-1). Let a(g) = g**3 + 7*g**2 + 5*g - 8. Let o be a(p). Is o not equal to -2?
False
Let w be (3/2)/(1/2). Suppose w*d - 39 = 2*d + 3*i, -75 = -2*d + 3*i. Let c be ((-8)/15)/(d/30). Do c and 1 have the same value?
False
Let t = 35 + -22. Let y = -0.15 - -73.15. Let j = 74 - y. Which is smaller: t or j?
j
Let j = 2.26 - -0.04. Let g = -147.59 - -150. Let y = g - j. Are y and 0 nonequal?
True
Let c = -7.1 + 19.1. Let b = c - 11.6. Is 0.1 greater than b?
False
Let o(r) = -46*r - 24. Let i be o(0). Are i and -308/13 equal?
False
Let m = 99 + -109. Let u be (2/m)/(16/(-5) - -3). Which is greater: u or -3/8?
u
Let o = 91 - 12. Suppose -4*g + 15 = o. Which is smaller: g or -17?
-17
Let p(f) = f**3 + 3*f**2 + 4*f + 6. Let w be p(-3). Let d be w/(-1 + -2) - -2. Suppose d*b - 12 = b. Is b bigger than 4?
False
Let l be (-2)/(1*2/(-18)). Suppose 0 = -3*i - 15 - l. Let f = -10 - i. Is f not equal to 7/8?
True
Let s(d) = 12*d**2 - 13*d - 84. Let t be s(-4). Which is smaller: t or 159?
159
Let b = -311 + 311. Which is bigger: -4/33 or b?
b
Let p(s) = -s**3 - 16*s**2 - 15*s + 1. Let z be (5/4)/((-2)/24). Let q be p(z). Is q < 10?
True
Let s be 2/3 + 4353/18. Which is bigger: s or 243?
243
Let m be 13 + 49 + -3 + -1. Let f = -57 + m. Which is smaller: -2/19 or f?
-2/19
Let t = -1090 + 1102. Suppose 5*z - 26 - 11 = -c, -25 = -5*z. Is c != t?
False
Let h = -1027.29 - -1023. Which is smaller: h or 1?
h
Let d be (2/3)/((28/63)/2). Is d less than 13/5?
False
Let p(q) = -q**3 - 5*q**2 - 259. Let m be p(0). Are m and -259 nonequal?
False
Let m = -809 - -489. Which is bigger: m or -321?
m
Let r = 950.07 + -948. Which is smaller: 4 or r?
r
Let a = -33 - -33. Let k be (3 + (-7 - -5))*a. Is k at most as big as -3/10?
False
Let g be 8/(-53 + -3) + 9/14. Let o = -95/3 + 32. Is g bigger than o?
True
Let t(l) = 2*l - 15. Let c be t(10). Suppose 0 = -3*a - c*m - 7, 3*m + 5 = a + m. Which is greater: 5/3 or a?
5/3
Suppose s + 979 = 181. Is s greater than or equal to -799?
True
Let c = -133 - -134. Is c greater than or equal to 1?
True
Let z = -4582 + 18425/4. Which is smaller: z or 24?
24
Let t be ((-33)/9)/((-3)/27). Which is greater: t or 1?
t
Let m = 1.3052 - 0.0052. Which is bigger: 3 or m?
3
Let m(w) = 2*w - w**2 - 3*w + 3*w**2 - 3*w**2 + 8. Let k be m(-3). Which is smaller: k or -1.1?
-1.1
Suppose -l = 2*l. Suppose 2*j - 160 = -n, 0*n - 233 = -3*j - 5*n. Let k = j - 247/3. Which is smaller: l or k?
k
Let 