et z = -228 + 698/3. Let l(c) = -c + 1. Let n be l(6). Let b = n + z. Which is greater: b or 0.5?
0.5
Let o = -1910 - -1912. Which is greater: 255 or o?
255
Let i be -1 - (-4 + 5) - 2. Is i greater than 42?
False
Let r be 12/8*6/9. Let j = -0.0615 - -0.3415. Which is smaller: r or j?
j
Let v(l) = -l**3 + 7*l**2 - 3*l + 1. Let m be v(1). Let s = 3 + 1. Are m and s equal?
True
Let t = 118 - 186. Let g be (6/t)/(6/12*-3). Suppose 4*c - 3 + 7 = f, -8 = -2*f. Which is greater: c or g?
g
Let h = 0 + -7. Let a = h - -8. Let o = -551/12495 + 6/245. Is a greater than o?
True
Let c be (-56)/20 + 2 - 147/35. Which is smaller: 71 or c?
c
Let o(u) = -3*u + 10. Let h be o(-6). Let l be (h/6 - -2)*3. Let m be 1/(((-8)/l)/(-1)). Is m at most 4?
True
Suppose 4*b = b - 4*s - 17, -3*s = 2*b + 12. Let d be (0 - -1 - b) + -10. Is d at most as big as -6?
True
Let g = 42 + -45. Let q(d) be the second derivative of -d**4/12 - 2*d**3/3 - 2*d**2 - d. Let h be q(g). Do 7 and h have the same value?
False
Suppose 3*c + 4 = 5*c. Suppose n + 31 = 5*d, -d - 5*n = c*d - 13. Let b be 4/(-8)*d + -1. Is -2 <= b?
False
Suppose 0 = 32*t - 3972 - 4028. Which is bigger: t or 252?
252
Let s(o) = -5*o - 8. Let c be s(-9). Suppose -34*h - 6 = -c*h. Is -8/3 not equal to h?
True
Let c = -12497/29 - -431. Let x = -5 + -11. Let f be 12/20 + x/10. Is f greater than c?
False
Let w be (-16)/6 + 3 + 11/3. Let m be w - 210/55 - (-13)/(-11). Which is bigger: -1/70 or m?
-1/70
Suppose 105*k - 3*y - 1213 = 101*k, 1499 = 5*k + 2*y. Is 301 at most as big as k?
True
Suppose 4*c - 113 = 3*c + n, 3*n = -2*c + 246. Let o = -152 + c. Which is smaller: o or -37?
-37
Suppose 3*f = -p - 2299, 19*f - 24*f - 3817 = -2*p. Which is smaller: f or -766?
-766
Let g be 2/4*-1*-4. Suppose 11 = -r - 3*k - 3, 2*r = g*k - 4. Which is greater: -7/2 or r?
-7/2
Let m(b) = 11*b - 12. Let n = -11 - -8. Let c be m(n). Which is greater: 1 or c?
1
Let t be (-6)/(-15) - 73/(-5). Suppose 0 = b - 5*y - 25, 5*y = -0*y - t. Let m be 11/1 + (-16)/8. Which is greater: b or m?
b
Let i be 2*((3 - 9) + 5). Let o be (-171)/495 + i/10. Are o and -1 non-equal?
True
Suppose 3*z - s = -14, 2 - 7 = -s. Let p(t) = t**3 + 3*t**2 + 2. Let n be p(z). Let v be (4/6)/(n/(-6)). Are v and 2/3 nonequal?
True
Let a be 10*(-161)/2 + 0/1. Let h = a + 47493/59. Are h and 0 equal?
False
Let l = -0.1513 - -2.8513. Which is smaller: 1 or l?
1
Let m = -1/7062 - -649729/176550. Is m at least as big as 3?
True
Suppose 0 = 3*i - d + 5848, 4*i + 4*d = -i - 9758. Let v = 13683/7 + i. Which is greater: v or 5?
5
Suppose 2*p + 2*p + 3*u = -419, -2*p = 3*u + 211. Is p less than -104?
False
Let c(s) = -12*s - 32. Let k be c(-3). Suppose 0 = t + k - 3. Do -2/15 and t have the same value?
False
Let t be (-1412)/(-10)*(-15)/30. Let k = t - -70. Which is bigger: k or -2?
k
Let j = 11 - 15. Let f = 479/308 + -81/44. Is j equal to f?
False
Let k(x) = 3*x**2 - 1. Let j be k(-1). Suppose 0 = -2*v + 5*l + j, 15 - 39 = 5*v + 2*l. Let b be 21/v - 48/64. Is b < -5?
True
Let p be (-4 + (-895)/(-5))/(-1). Let a be (6/(-10))/1 - 180/p. Which is smaller: a or 12?
a
Let c be (2/(-4))/(4/(-40)). Let z be c*(-2)/(-20)*0. Let d = -32.9 - -33. Which is bigger: z or d?
d
Let i = 5.77 - 97.77. Is i at most 0?
True
Let w = -2.5 - -4.4. Let i be -5 - ((-3)/4 - 4). Are i and w non-equal?
True
Let z(u) = 3*u**2 - 2*u + 1. Let a be z(1). Let f be (a/(-3))/(14/105). Let n = f - -9. Which is greater: n or 2?
n
Let w = -493 - -483.94. Let x = 7 + 2. Let d = w + x. Which is smaller: -1 or d?
-1
Let g = -190090/93 + 2044. Do g and 0 have the same value?
False
Suppose -j + 51 = 2*i - 46, -3*j + 3*i = -300. Let h = 107 - j. Which is greater: 0 or h?
h
Suppose 0 = -4*j - 3*y + 8, 6 + 0 = 3*j - 4*y. Suppose -1 = j*d - 3. Which is smaller: -1/7 or d?
-1/7
Let k = -32/35 + 6/5. Let u be (-7 + 20/5)*-1. Suppose 0 = -0*c + u*c - q - 3, 4*c - 4*q - 4 = 0. Which is smaller: c or k?
k
Suppose 49*g + 6534 = 31*g. Is g < -364?
False
Let f be 247/156 + (-6)/4. Let r(u) = 2*u + 1. Let k be r(-1). Is f != k?
True
Let m be ((-5)/30)/(2 - 5 - -4). Which is smaller: -10 or m?
-10
Let x = -5776/7 - -826. Suppose 0 = -0*c - 4*c - 12. Let f = c + 5. Which is greater: x or f?
f
Let o = -186 - -186.27. Do -1/2 and o have different values?
True
Let a = 92 + -90. Let c be (1/(-3))/(22/(-9)). Let i = 7/11 - c. Which is bigger: a or i?
a
Let w = -2.6 - -1.79. Let b = 1 + w. Let x = 0.39 - b. Is -2 bigger than x?
False
Let x = 2.2937 - 0.0037. Let o = x + -2.4. Let i = -2.11 - o. Which is smaller: 0.3 or i?
i
Suppose 3*o = -5*v - 384, -9*o + 4*v = -14*o - 627. Let a = -67 - o. Are a and 55 unequal?
True
Let f = 31 + -9. Suppose h - 45 = -3*t, 5*h - 3*h = 2*t - f. Let r be (-256)/(-56) + 6/t. Which is smaller: 4 or r?
4
Let g = -136 - -950/7. Do g and 41 have different values?
True
Let p = -1.4 + 1.675. Let j = 0.025 + p. Which is smaller: j or 2/19?
2/19
Let z(f) = -911*f**2 + 19*f + 19. Let p be z(-1). Are p and -912 unequal?
True
Let c = 187/21 + -25/3. Let z be ((-8)/(16/(-6)) - -6)*(-8)/(-72). Is z smaller than c?
False
Suppose -5*d + 18 = 3*y, -5*y + 5*d - 13 + 43 = 0. Let p be -6 + y + 2/11. Which is bigger: -0.2 or p?
p
Suppose 7 = -5*s - 23. Let u be ((-2)/(-4))/(s/(-21)). Let k be 52/(-39)*(-45)/20. Which is smaller: u or k?
u
Let n(k) = k**2 - 7*k + 11. Let b be n(3). Is b less than 1?
True
Let c(z) = -z**2 + 8*z + 63. Let d be c(13). Which is smaller: d or 4/107?
d
Suppose 0 = 5*h - 5*t + 15, h - t = 3*t - 12. Suppose h = 5*z + 4*z + 135. Is -14 bigger than z?
True
Suppose -136*m + 308 = -134*m. Is m less than 154?
False
Suppose -6*a = -4*a + 14. Let z = a + 17. Which is bigger: z or 11?
11
Let s = -97 - 96. Are s and -193 nonequal?
False
Let i(x) = -2*x**3 + 17*x**2 - 11*x + 12. Let t be i(8). Let l = -13 - t. Do 3/7 and l have the same value?
False
Let x(z) = z**3 + 14*z**2 + 14*z + 14. Suppose 12*t - 14*t = 26. Let i be x(t). Is i != 11/8?
True
Let x = 0.24 - 0.29. Let q be -2*(-2 - (-26)/12). Which is greater: q or x?
x
Let q be 3 - (230 - 4/(0 + -1)). Is q != -232?
True
Suppose -5*q - m = -3 + 49, -2*m = 4*q + 38. Suppose -2*x - 7 - 3 = 0. Let y = x - q. Is y greater than 4?
False
Let t(i) = -i**3 + 10*i**2 - 2*i + 21. Let y be t(10). Which is smaller: 9/77 or y?
9/77
Let c = 0.39 - -0.21. Let h = -0.6 + 0.1. Let k = c + h. Which is greater: 0.8 or k?
0.8
Let j = -22611/196 - -463/4. Is j at least -1?
True
Let h = 37 - 31. Suppose m - h = -6*v + 2*v, -3*v + 8 = -m. Suppose -b + 0*b = -v. Is b smaller than 9?
True
Let q be ((-72)/30)/(4/(-10)). Let p = -2 - q. Are 0 and p non-equal?
True
Let b be 3 + 1 + (-30)/9. Which is greater: 20.8 or b?
20.8
Suppose 5*t - t = 0. Let u = -313/11426 + 2/197. Which is smaller: t or u?
u
Let j = -7443/41402 - -24/127. Which is bigger: -1 or j?
j
Let t = -1 + 6.2. Let k = -5.3 + t. Are -4 and k equal?
False
Suppose 19*c = -c + 40. Which is smaller: c or -36?
-36
Let s = 0.01033 - -24.96667. Let c = s + 0.023. Are 0.1 and c unequal?
True
Let n = -52 - -779/15. Suppose 25*a - 20*a - 15 = 0. Let c(k) = -k**2 + 4*k - 4. Let q be c(a). Is n >= q?
True
Let n = 540 - 539.8. Is -380 greater than or equal to n?
False
Let n be 2/((-16)/6) - -1. Let x = 36 + -34. Suppose x*q + 10 = 0, 4*l - q = q + 14. Is n < l?
True
Let x be -2*3/(1 + 1/2). Let l be 260/36 - x/(-18). Which is bigger: l or 0?
l
Let k = -4 + 8. Let g = 97 - 677/7. Which is greater: g or k?
k
Let b(i) = i**3 - 5*i**2 - 2*i. Let t be b(3). Is 2/9 >= t?
True
Let g = 14 - 16. Suppose 3*q = -j + 31 + 71, -5*j - 4*q = -532. Let w be 4*(-15)/j*2. Is w >= g?
True
Let t(j) = 6*j - 11. Let h(g) = 2*g - 4. Let k(s) = -11*h(s) + 4*t(s). Let w be k(2). Let q be w/(-3)*81/(-24). Is 4 not equal to q?
True
Suppose 2*h = -5*h - 70. Let b(p) = -p**2 - 10*p - 6. Let w be b(h). Is w at least -6?
True
Let z be (805/20 - 6)*4. Which is bigger: 134 or z?
z
Suppose 4*k + i = -0*i - 261, -4*k - 249 = 5*i. Let w be ((-8)/12)/((-8)/k). Which is greater: w or -6?
w
Let s = 0.412 + 11.688. Which is bigger: s or 1?
s
Let j = 609 - 1191/2. Let a = -64 - -88. Let r be a/16 - (525/(-6))/7. Is j smaller than r?
True
Let q be (-21)/42*0/3. Is 3/44 at most q?
False
Let w = 6 - -1. Let j = 47.9 - 55. Let p = w + j. Is p < 0?
True
Let u be (-87)/(-203)*(-28)