Let o = -69 - -285/4. Which is bigger: o or k?
k
Let w = 231/19 - -3829/57. Which is bigger: w or -0.4?
w
Let t be 18579/(86/4 - 20). Which is bigger: t or 12387?
12387
Let a(w) = w**2 + 11*w - 9. Let l be a(-12). Let t be (-6)/(-4)*2 + 1. Suppose -3*y + t*z + 4 = -2, -l*y - z = 9. Is -1/2 equal to y?
False
Let u = 43 - 131/3. Let l(q) = -20*q**2 - 632*q - 1133. Let p be l(-29). Which is smaller: p or u?
u
Let m(x) = 54*x + 4. Let r be m(1). Suppose 2*o - w - 22 = o, 3*o - r = -w. Which is smaller: o or 2?
2
Let v = -7039145 + 204111042/29. Let p = 833 + v. Which is greater: p or -1?
p
Let l = -372.3 - -373.3. Is 2.7 at least as big as l?
True
Let f(o) = -o**3 - 12*o**2 + 14*o + 14. Let x be f(-13). Suppose -x = -i + 1. Suppose -i*j = -6*j. Which is bigger: -2/43 or j?
j
Let p be (-27)/(-108) - (-110)/8. Suppose 23*y = -p*y - 37. Which is bigger: -44 or y?
y
Let p = 13/19 + -129/133. Let x = 182 - 172.7. Let h = -9.39 + x. Is p less than h?
True
Let r = 1351 + -4052/3. Let p = -1.05 - -0.05. Let s = -0.6 - p. Which is greater: s or r?
s
Suppose -3*n + 15 = 0, -2*n + 15 = 2*b - 95. Let v(f) = 37*f - 14. Let h be v(5). Suppose 4*k - 25 = h. Is b not equal to k?
True
Let d = -120 + 126. Suppose d = -24*y + 30*y. Do y and 1/65 have different values?
True
Suppose 0 = -7*t + 3*t. Let u = -317 - -152. Let n = -1813/11 - u. Which is greater: n or t?
n
Let w = -152.5 - -138. Let z = w - -14.594. Let t = z + 41.906. Which is bigger: t or -2?
t
Let a be ((-24)/36)/(5/(-23)). Let i = -15608/22155 - -856/211. Let l = a - i. Which is greater: l or -0.36?
l
Let b be (4/2 - 1)*-32. Let m = 254441 - 254456. Is b < m?
True
Let y = 1068.5 + -1283. Which is smaller: 1 or y?
y
Let s = -5463.705 + 5464. Is 5 smaller than s?
False
Let h = -11994 + 11600. Are -387 and h equal?
False
Suppose 0 = 21*o - 466 - 752. Let p be ((-116)/o)/((-17)/(-2)). Which is smaller: p or 1?
p
Let j(h) = -h**3 + 23*h**2 - 16*h - 133. Let s be j(22). Is s greater than or equal to -51.24?
True
Let p = 0 - 3. Let i = 0 + p. Let q = -314 + 313.9. Is q bigger than i?
True
Let i = -175895413/290191112 - -3/684413. Let b = i + -1/53. Let p = 9/8 + b. Which is smaller: 1 or p?
p
Let m = 40.304 + -672.304. Does m = 0.07?
False
Let w = 1714/1885 + -12/13. Suppose 2820*n - 2843*n = 0. Which is bigger: n or w?
n
Let k = 3.893 + -2.993. Let l = 18 - 22.1. Which is greater: l or k?
k
Suppose -13*i - 83 - 21 = 0. Let a(r) be the first derivative of -r**3/3 - 5*r**2 - 15*r - 5. Let u be a(i). Are 1 and u unequal?
False
Let b(g) = 4895*g**3 + g**2 - 3*g + 3. Let p be b(1). Does 4896 = p?
True
Suppose -4*c + 37*l = 33*l - 120, 0 = -5*c - 5*l + 130. Is 28 smaller than c?
False
Let w = 1/24546 + -18412/61365. Which is smaller: w or -4?
-4
Let g = 85 - 85. Suppose -27 = -5*w + 33. Suppose g = -w*o + 7*o - 185. Which is greater: o or -2?
-2
Let s be 1164002/3760 + 44/(-20) + 3. Which is smaller: 311 or s?
s
Let v be 1/(-1)*(5 + -4)*-2. Suppose k = -0*k + 5*r - 2, 5*r = v*k - 1. Suppose 4*c - u = -5, 3*u + k + 4 = c. Is 0.3 less than or equal to c?
False
Suppose 0 = -13*o + o - 228. Let i = -17 - o. Suppose -3*r + r + 4*k = 6, -30 = -i*r - 5*k. Are 8 and r nonequal?
True
Let z = 385691458 + -60553852341/157. Let h = z + 1869. Is h at least as big as 0?
False
Let g = -129.7363 - 0.1037. Let h = g + 130. Is h > -1/8?
True
Let i(j) = 4*j - 31. Let n be i(8). Let r be ((100/28)/(-5))/n. Let m = -12 + 11. Which is smaller: m or r?
m
Let c be ((-72)/(-54))/(((64/(-12))/8)/47). Which is smaller: c or -278/3?
c
Let u = -10.5 - -10.408. Let b = u + 9.692. Let f = 6.6 - b. Which is smaller: 1.1 or f?
f
Suppose 27*o - 7*o - 340 = 0. Let t = 7313/114 - 918/19. Which is smaller: t or o?
t
Let n(v) = v**2 + 14*v - 23. Let c(m) = 3*m**2 + 42*m - 70. Let d(t) = 3*c(t) - 8*n(t). Let h be d(-16). Which is bigger: 7 or h?
7
Let c = 959 - 915. Is c at least as big as -20?
True
Let j = 6 - 12. Let u(y) = -y**3 - y**2 + 9*y + 3. Let o be u(-3). Let i = o - j. Which is smaller: -1 or i?
-1
Let g be (-1 + -2 - -2) + -1. Let d(w) = -w**2 - 75*w - 889. Let k be d(-61). Are g and k non-equal?
True
Let q = -103.381 - -114.24. Let b = q + -0.269. Let z = -0.59 + b. Which is greater: 0.3 or z?
z
Let a = 9675 - 9676. Which is smaller: a or 1/16259?
a
Let i be (5/(-6) - 4/6)/((-9219)/14203406). Is 2311 != i?
False
Let z be (-3)/(-8)*18/27. Let y = 1578 + -1586. Which is smaller: z or y?
y
Let h = -3341 + 3323. Is -120 at most as big as h?
True
Let x(v) = -183*v**3 + 10*v**2 + 3*v - 8. Let r be x(4). Are r and -11550 equal?
False
Let c = -73.48544 + -0.05456. Let p = c - -0.54. Let s = p - -88. Is -1/2 at least as big as s?
False
Let w be (-2)/8*4*93. Suppose 0 = 2*q - 28*q - 2418. Are w and q equal?
True
Let p = 8941.2 + -8941. Does -3917 = p?
False
Let f = 349 - 169. Let g = -176 + f. Which is smaller: 6 or g?
g
Suppose 295*o - 292*o = 162. Let b = o + -55. Which is greater: 1/124 or b?
1/124
Let q(h) = 12*h**3 - 11*h**3 + 5*h + 25*h**2 + 2*h + 27 + 18*h. Let z be q(-24). Let s = 319/78 - -1/13. Which is smaller: z or s?
z
Let m be -19 + ((-497)/284)/(2/(-8)). Which is greater: -19 or m?
m
Suppose 3*b + 102 = 3*f - 6*f, b = -5*f - 46. Let g be b/(-341) - (-50)/(-1034). Let m = 2.9 + -3. Which is bigger: m or g?
g
Let j = 21786 + -21285. Does 4520/9 = j?
False
Let q = -3116 - -3194. Which is smaller: -3.3 or q?
-3.3
Let y(m) = -2*m**2 + 4. Let t be y(-4). Let s be (4 - -2)/((-6)/t). Suppose 31*r - 64 - 1357 = -18*r. Do r and s have different values?
True
Suppose -z - 2867 = 2*i, i + 4*z = 6*i + 7174. Which is greater: i or -1433?
-1433
Let c be (-2)/66*60/10. Let z = 7.1 + -3.1. Let x = z - 3.7. Which is bigger: x or c?
x
Suppose 0 = -93*i + 47*i - 56718. Is -0.9 less than i?
False
Let u = -56.5 + 60.01. Let a = 2.51 - u. Let b = 12.6 + 2.4. Is b != a?
True
Let b = 63 - 37. Suppose -2*h = -2*g - 20 - 8, -6 = -h - 3*g. Let a be 380/h - 6 - 2/(-6). Do b and a have the same value?
True
Let f(h) = -h**3 - 28*h**2 + h + 4. Let r(x) = -x**3 - 55*x**2 + 2*x + 7. Let c(b) = 5*f(b) - 2*r(b). Let v be c(-10). Which is greater: -0.3 or v?
-0.3
Suppose 9*q = 24 - 69. Let h be (-123)/(-1*(q/(-2) + -4)). Is -82 bigger than h?
False
Let u = -227/41 + 301579/54448. Let b = -8665/14608 + u. Which is smaller: -1 or b?
-1
Let o = 602 + -334. Let p = 281.2 - o. Is 0 at most as big as p?
True
Let u(d) = -2*d**2 + 172*d + 19211. Let p be u(150). Suppose 45 = -5*c - 0*m + 3*m, 0 = -2*c + 2*m - 22. Which is smaller: c or p?
c
Let g = 56 + -24. Suppose -4*r - 4 = -3*f + f, 4*r = -5*f - g. Let d be r + 0 - ((-13)/(-7) + -1). Which is smaller: -5 or d?
-5
Let k be 11/4 + (-1)/(-4). Let u be (-2051)/(-1758) - 38/(-60). Which is smaller: u or k?
u
Let m = 172 - 169. Suppose -2*y + 3*t + 99 = 0, -5*y + 141 = -2*y + m*t. Is y <= 45?
False
Let g(a) = 15*a - 113. Let l be g(-6). Let u be (-71)/273 + (-58)/l. Let p(f) = -f**3 + 2*f**2 + f - 2. Let z be p(2). Is z at most u?
True
Let u = 6329 + -5738. Which is bigger: -4 or u?
u
Let j be (-68)/138 - 6/(-9). Let p be (-1)/(-4) + 3092/(-16) - 2. Let i = 194 + p. Is i smaller than j?
True
Let l be 19119/(-51) - 34/289. Which is smaller: 0 or l?
l
Let o = -182 + 181.6. Let w be 546/15 + 3/5. Suppose 7 = 6*z + w. Is o at most as big as z?
False
Suppose -4 = 8*a - 44. Suppose 0 = -a*u - 5*v + 35, -2*u + 3*v + 26 = 8*v. Suppose -47 = -4*t - 3*j, t - 7 = j + u*j. Is t smaller than 8?
False
Let m = -2379 + 2368. Which is greater: m or 8?
8
Let x = -612 - -1258. Let i = x + -645. Which is greater: -12/29 or i?
i
Let c = -8/109 - -147/3488. Suppose 2*z = z - 2, -2*f - 14 = -2*z. Let a = f - -8. Is c less than a?
False
Let p = -2122 + 1897. Is p smaller than -196?
True
Let z be -3*(-52725)/(-14383) + 11. Let r be 15/(-18) + (-3)/18. Is z at least r?
True
Let i(p) = -p**3 - 4*p**2 - 4*p - 14. Let u be i(-4). Let q be 1 + (-3 - 2) + 34/u. Which is smaller: q or 40/3?
q
Let j = 0.01 + 0.59. Let f = j - -2.4. Let b = 16.911 + -17.711. Which is greater: b or f?
f
Let h = -15 + -11. Let x = -17866 - -17844. Is h equal to x?
False
Let w be 94/370 - 7*12/420. Let d = -50.9 + 51. Which is greater: d or w?
d
Let n be (-2)/(-10)*(-34472)/45592. Which is bigger: -1 or n?
n
Let y = 0 - -1. Suppose 4*l = 5*p + 784, 5*l - 998 + 55 = -3*p. Let r = 