1. Which is smaller: y or -0.3?
-0.3
Let d = -2799 + 2701. Is d greater than -99?
True
Let x(o) = 434*o**2 + 46*o + 32. Let b be x(-1). Let y = -711 - -1131. Is y <= b?
True
Let i = 0.028 + -1.228. Let k = 15 + -14.1. Let c = k + 0.1. Is i less than or equal to c?
True
Let u(h) = -h**3 - 6*h**2. Let n be u(-6). Let v(s) = 22*s - 1256. Let r be v(58). Suppose r*q - 15*q - 35 = n. Are q and 7 equal?
True
Let l(x) be the third derivative of 9*x**5/20 + x**4/12 - 26*x**2. Let y be l(-2). Let t = -39 + y. Is 64 greater than t?
False
Let q be (5 - (-6 + 7)) + -3 + 3. Let z = -50 - -28. Let l be (z/(-8))/((-6)/(-9)). Is q greater than or equal to l?
False
Let m = 1281 - 1288. Are m and 18 equal?
False
Let j = -1.82 + 1.11. Let b = 1.71 + j. Which is bigger: -63 or b?
b
Let j = 149.059 - 149. Let m = 41.951 - 42. Let v = j + m. Does v = -1?
False
Let x be (6/7)/(1/(-7)). Let q(v) = -232*v**3 + 3*v**2 + 2*v - 5. Let n be q(1). Let c = 230 + n. Which is smaller: c or x?
x
Let k = -9101 + 10317. Is k smaller than 1215?
False
Let v = -68 + 84. Let p = 21 - v. Suppose 4*t + 4*g = p*g - 44, 0 = 4*g - 16. Is t not equal to -10?
False
Let y = 6096.1 - 6011. Which is smaller: 0 or y?
0
Let u(h) = -h**3 - 9*h**2 + h + 75. Let a be u(-8). Suppose 0 = 3*f - 2*j - 8, -a*f + j + 10 = 3. Which is smaller: -34 or f?
-34
Let l = -21052 - -21052. Is -12/145 equal to l?
False
Let t be ((-24)/96 + 7/12)*3. Let u be (1/(-91))/((24 - 13) + -3). Is u > t?
False
Suppose -19*x + 1572 = -13*x. Suppose -x = 5*n - 4*l, -64 = -5*n - l - 336. Which is greater: -213/4 or n?
-213/4
Suppose 87*k - 187*k + 9600 = 0. Which is smaller: 101 or k?
k
Let s = 1087 + -578. Let y = s - 537.95. Let j = y + 29. Which is smaller: j or -1?
-1
Let m = 20451 - 20194. Is 251 at least m?
False
Let o = 2707 + -2804. Which is bigger: -91 or o?
-91
Let s be ((-12)/10)/(6/(-40)). Suppose 2*u - 4 = u, 0 = 4*o - 2*u + 284. Let r be o/162 + 4/s. Which is smaller: r or -1?
-1
Let v(w) = -76*w - 11. Let c be v(-2). Let z = c - 78. Let l be (1 + 0)/((224/z)/(-8)). Which is smaller: l or -2?
l
Let z = -2486/345 + 28/69. Let g(d) = d**2 + 5*d + 8. Let q be g(-3). Suppose q*p = -3*m - 8, m - 2*p - 1 = -17. Which is bigger: z or m?
m
Let s = 291 - 283. Let t be 1/(1*s/(-8)). Is t at most -5/3?
False
Suppose -d = 2*q - 11, -3*q = 5*d - 17 - 3. Let p(s) = -23*s + 6. Let r be p(d). Let k be 0 + r/5 + 3 + 0. Which is greater: -11 or k?
k
Let r be 1*(1 - 7*6). Let x be (-112)/(-14) - (-584)/(-12). Which is bigger: r or x?
x
Let w = -28 + 30. Suppose w*m - 3*t = -5*t - 46, 20 = -m - 4*t. Let i be 5/(-15) - 2/m. Is 14 equal to i?
False
Let f = 7624 + -5113. Is f greater than or equal to 2511?
True
Suppose 0 = -2*z + 5 + 5. Suppose z*b + 5*b = 6*b. Suppose -2*k - 2*w + 20 = 0, b = 2*k + w - 33 + 10. Is k smaller than 13?
False
Let u(h) = 3*h**2 - 16*h + 3. Let x be u(5). Which is smaller: 1851 or x?
x
Let l(i) = -i**2 + 20*i + 46. Let p be l(22). Suppose 3*q - 64 = -3*u + p*q, 0 = -2*u - 3*q + 31. Let g = -61 + u. Is -1/3 <= g?
False
Suppose 18 = 6*u + 12. Let z be 665/14 + (u - (-3)/(-6)). Let h(s) = s**3 + 9*s**2 - 12*s + 27. Let g be h(-10). Is g > z?
False
Let d(r) = -2550*r + 7649. Let b be d(3). Which is bigger: 2/12027 or b?
2/12027
Let n(m) = -m**2 + m + 62. Let g be n(8). Is 7 greater than or equal to g?
True
Let n = -56989/8174596 - 3/11813. Which is bigger: 1 or n?
1
Suppose -5*v = -4*v + 6*f - 1926, -v + 1919 = -f. Which is smaller: v or 1921?
v
Let i = 267 - 262. Suppose i*d = x + 18, 2*d - 9 = -3*x + 5. Let u be (2/5)/(2/14). Which is bigger: x or u?
u
Suppose 40 = 2*h + 2*b, 2*b - 16 = -2*b. Let o(v) = 5*v**2 - 7*v - 15. Let c(z) = -11*z**2 + 14*z + 30. Let m(n) = -4*c(n) - 9*o(n). Let r be m(7). Is r != h?
True
Suppose 7*q - 3*q = -12. Let f be q/(-6)*172/(-3 + 1). Let u = f - -43. Is u at most as big as 2/9?
True
Let j = -2582.1 - -2582. Is 0.00527 greater than or equal to j?
True
Suppose 2*d = d. Let p = -138 - -139. Let x be -1 - (14/(-6) + p). Which is smaller: d or x?
d
Let n = 100 - -27. Suppose -769 + n = -6*f. Is f bigger than 107?
False
Let f = -1230 - -731. Which is bigger: -0.1 or f?
-0.1
Let o = -55 + 38. Suppose 493896*m - 493864*m = -672. Which is smaller: m or o?
m
Suppose 2*s + 400 = -2. Let k be 26/(-104) - s/(-516)*-1. Is k not equal to -1?
True
Suppose 2*f = 12*f + 2100. Let m be (f/490)/((-21)/(-2)). Is 0 bigger than m?
True
Let r be ((-28)/10)/(2/10). Let t = -40 - r. Let c be (-6 - ((-1 - 2) + 20 - -2))*1. Which is smaller: t or c?
t
Let j(r) = 16*r - 15. Let x be j(2). Suppose 378 + 166 = x*q. Is 129/4 at least q?
True
Let j be (1 + 6)/((-5)/(-80)). Let t(i) = -9*i + 1165. Let d be t(117). Do j and d have the same value?
True
Suppose -31*p + 35*p = -520. Let k be ((-13)/(-26))/(1 - p/(-8)). Is k != -1/4?
True
Let n = -3878 - -3879. Is n at least as big as -17/7?
True
Let k be 6*30/(-36) + (-1)/(3/(-378)). Do k and 121 have the same value?
True
Let q(v) = v**3 + 3*v**2 + v. Let g be q(-2). Let c be 17/((-1309)/1218) - g/11. Which is bigger: c or -216/13?
c
Let u be (42/(-168))/(6860/24). Which is greater: 1 or u?
1
Suppose 667*f + 4621 = -3*w + 671*f, 0 = 3*w + 2*f + 4651. Which is smaller: w or -1548?
-1548
Let n be (1/5*-5)/((-1)/3). Suppose 0 = 165*s - 164*s - n. Is 8 greater than s?
True
Let p be (2/(-7))/((-9)/(-21)). Let b = -35 - -34.974. Let c = b - -0.426. Which is greater: c or p?
c
Let u = -17 - -19. Suppose 0*o - u = -2*o. Suppose 6*s + o = 5*s. Which is smaller: -5 or s?
-5
Let h be (6/(-3) - -2) + (-309 - 42). Which is bigger: -348 or h?
-348
Let h = -869 - -876. Suppose 755 = -3*p - 5*b, -2*b + 545 = -2*p + 3*b. Let f be (-1455)/p + 4/26. Which is bigger: f or h?
h
Let g = -3.078 + 3. Let u = g + 99.078. Let l = u + -85. Which is bigger: l or 0?
l
Let x = 57 - 55. Suppose 0 = 4*o + 2*d - 32, 0 = 3*o + x*d - 11 - 13. Suppose -g = 2*f + 6, 3*g = 4*f + 14 + o. Is -17/6 <= f?
False
Let c be (-637 - -636)/(((-3)/2076)/(2/(-4))). Which is bigger: -343 or c?
-343
Suppose -2*q + 3*k - 6 = k, 3*k + 9 = -3*q. Let s be (-4)/(3/q - 1). Suppose -a + 4 = -3*b, 4*b - s*a - 20 = -7*a. Is 1/26 equal to b?
False
Let y be ((-9)/(-7 + 4))/(-1). Let n be (12 + -3)/((-3)/4). Let i be 1/6 - (-34)/n. Which is smaller: i or y?
y
Let t be 10/(-15)*390/988. Is 0 not equal to t?
True
Let f be ((-119)/2805)/((-7)/(-21) - 0). Suppose 2*n = -3*n + 5. Which is greater: f or n?
n
Suppose -2*p + 21 = 2 + 21. Which is smaller: 1/359 or p?
p
Let y be -11 - ((-7749)/77)/9. Which is greater: 2 or y?
2
Suppose -b = t - 33, -2*t + 78 = 45*b - 40*b. Suppose 4*m - 40 = -4*g, -3*m - g + 31 = 1. Let w = m - -18. Do t and w have the same value?
False
Let t = -2/5715 - -17374/1143. Suppose -5*c + 3*c = -28. Is t not equal to c?
True
Let k(b) be the third derivative of -b**6/120 + b**5/30 - b**4/24 + 62*b**3/3 - b**2 - 50. Let n be k(0). Is n <= 123?
False
Let q be ((-938)/117)/2 - 19/(209/(-44)). Let a(p) = -p**2 + 7*p + 8. Let b be a(8). Which is greater: b or q?
b
Let x = 5.3 - -1.3. Let l be 90/(-2) + -297 + 341. Which is bigger: l or x?
x
Let r(h) be the first derivative of 3*h**2/2 - 53*h - 171. Let w be r(18). Is -10/89 greater than or equal to w?
False
Suppose 2*q = 6, -3*m + 0*q = -5*q + 75. Suppose -2*c - 3*f - 34 = 0, 18*f - 6 = 21*f. Which is smaller: m or c?
m
Let u(o) = o**2 - o - 33. Let r be u(0). Suppose 7*i - 1463 = -4*i. Let v = i - 164. Which is smaller: v or r?
r
Suppose 18 = 17*y + 18. Suppose -151*a + 159*a + 16 = y. Let s be (-11)/(-20)*10/(-4). Is s at most as big as a?
False
Suppose 11 - 3 = -4*a. Let l = 17/9 + a. Let h = -39.9 + 40. Are h and l non-equal?
True
Let g be (6 + -3)*2/2. Let l = -4653/170 - -309/10. Do l and g have different values?
True
Let n = 43 - -160. Let a = 467 + n. Let h be a/2610 - 2/9. Which is smaller: -1 or h?
-1
Let u be 117/27 + (-3)/9. Suppose -u*m = -4*c + 3*c - 73, m = 5*c + 23. Let j be (-2)/(-4) + 111/6. Which is smaller: j or m?
m
Let a = 715 + -7816/11. Is a at least as big as 5?
False
Let d = -8.84 + -127.56. Which is bigger: d or 1/4?
1/4
Let g be -6 + 1/(0 + -1). Let y be g + 4 - (0 - 2). Let w be (34/(-15) - y)*3. Are w and -5 nonequal?
True
Suppose -2*f = -q + 72, -5*f + 232*q - 182 = 230*q. Do f and -188/5 have different values?
True
Let l = -61