the same value?
False
Let y = -83 - -50. Let a(p) = p**2 + 3*p - 33. Let n be a(0). Let o = -65 - n. Is o > y?
True
Let s be (-4)/(-2)*((-10)/4)/(-1). Suppose 5*y = s*i - 30, 3*i - 13 + 2 = -4*y. Suppose 0*h + 245 = -i*h. Which is greater: -48 or h?
-48
Let u(a) = -6*a**2 - 654*a - 7 - a**2 + 605*a. Let f be u(-6). Is f greater than 34?
True
Let k = 939073/151 - 6219. Let q = 33665 + -33666. Is q less than or equal to k?
True
Let a(u) = -14*u**2 + 5*u**2 - 24 - 4820*u**3 - 4*u + 4821*u**3. Let x be a(9). Which is bigger: -66 or x?
x
Suppose l - q + 3*q + 233 = 0, -3*l = 5*q + 703. Let u be 160*(-21)/126*(1 + 8). Which is bigger: l or u?
u
Let a be (-2 - (-1600)/(-796)) + -1 - -5. Let z = 17 - 16. Which is bigger: a or z?
z
Let l(a) = 2*a**3 + 3*a**2 - 8*a + 16. Let z be l(3). Suppose 7 = 5*w - z. Which is smaller: w or 18?
w
Let q = -3.4296 + -220.5704. Let o = -1 + 1. Is o at least as big as q?
True
Suppose -4*h + 475 = 127. Suppose 443 = 5*c - m, 7*m - 10*m = 5*c - 431. Is h greater than c?
False
Suppose 162814 = -41*d - 88598. Is d bigger than -6132?
False
Let p = 152 + 3647. Which is smaller: 1 or p?
1
Let q = -11 + -10. Let f = 0.0698 + -0.1698. Which is smaller: q or f?
q
Let s be (2/(-1))/((-44)/(-66)). Let o = 14 - 2. Which is bigger: o or s?
o
Let i = 1164/5 - 234. Let k = -3115 + 3113. Is i at most k?
False
Let x be (-10)/(-115) - (-502218)/(-414). Is x bigger than -1210?
False
Let y be (3/(-104) - 7/56)/((-2)/(-58)). Does y = -3?
False
Let s = 22532 + -67597/3. Which is greater: 2/16653 or s?
2/16653
Let b(c) be the second derivative of -c**5/20 - 5*c**4/3 + 10*c**3/3 - 3*c**2/2 - 2*c - 17. Let q be b(-21). Is q >= 13?
True
Suppose -18*s + 86*s + 68 = 0. Is s bigger than -3/2612?
False
Let q = 8361 - 8505. Are q and 12/11 equal?
False
Let c(l) = -3*l**3 - 2*l**2 - 7*l - 10. Let u be 52/(-24) - (-20)/(-24). Let h be c(u). Which is smaller: 75 or h?
h
Let m = -32402 + 32087. Is -0.13 > m?
True
Let z = -10087 - -393395/39. Let o be 3/(-6) - 1/(-2). Let q be (-2 - o)/(-9 + 15). Is q greater than z?
False
Let j(l) = -l**3 + 4*l**2 + 2*l - 4. Let z be j(4). Let r = -55482 - -388397/7. Is z greater than r?
True
Let u = -0.1 + 0.2. Let f = 1224.9 - 2143. Let b = 913 + f. Which is greater: u or b?
u
Suppose 9*u = 3*u. Let q be (-51)/(-1) - 3 - (u + 1). Let a be (q/2)/((-40)/(-16)). Which is greater: a or 9?
a
Let l(q) = -q - 1. Let a be l(-6). Suppose -a*c = -74 - 36. Let w = c - 33. Is -1 equal to w?
False
Let c(b) = 3*b**2 + 7*b + 18. Let y be c(6). Let f = -1683/10 + y. Which is bigger: -1 or f?
f
Let i = -4 + -40. Let t(l) = -l**2 - 8*l + 39. Let m be t(6). Which is bigger: m or i?
i
Suppose 7*f + 230 = -183. Let c = f + 71. Which is greater: 8 or c?
c
Let d = -9.03 + 0.03. Let m = 150 - 68. Let a = m + -82. Do a and d have the same value?
False
Let p = -1 - -3/2. Suppose -5*z = 5*f - 90, -f = -5*z + 2 + 4. Let q be ((-4)/28)/((-2)/f). Is q less than or equal to p?
False
Let d(g) = -g**3 - 6*g**2 + g + 8. Let m be d(-6). Let h be (-1)/4*-1*m. Which is smaller: h or 60?
h
Let v(s) = 4*s - 24. Let c be v(4). Let y = -42 - -19. Let p = -33 - y. Which is bigger: p or c?
c
Suppose -60*j + 9254 = -113*j + 60*j. Is 1322 > j?
False
Let j(t) = 2*t**2. Let b be ((-68)/28 - -5)*56/6. Let c be 2 + -3 - b/(-6). Let y be j(c). Is y <= 19?
True
Let f = -5521/9 + 57275/99. Is f at most as big as -34?
True
Let y be (-2 - (-4)/6)*18/(-12). Suppose -15 = -y*p - 137. Are p and -59 equal?
False
Let v be (69 - 62) + (-10)/2. Suppose v*r = -0*q - 2*q + 50, 51 = 2*q + r. Which is smaller: q or 0?
0
Let s(w) = -2*w - 8. Let i(c) = -2*c - 14. Let n be i(-5). Let m be s(n). Suppose -7*u + 9*u = m. Is u < -2/67?
False
Suppose -q + 6*r - 3*r = 29, 3*q + 72 = 4*r. Suppose -3 = -4*t + 5*i, -3*i = 2*t - 5*i - 2. Suppose z + t*c + 7 = -c, -z = 2*c + 12. Which is smaller: q or z?
z
Let v be 1015/((-4)/(-12) + -4). Let s = -277 - v. Let j be -3 - ((7 + -7)/(-1) + -4). Which is smaller: s or j?
s
Let q(v) = -2*v**3 + 14*v**2 + v - 5. Let l be q(7). Let a(o) = o - 11*o**l + 10*o**2 - o - 5*o - 7. Let f be a(-5). Which is smaller: -9 or f?
-9
Let y = -1828 - -1827.9. Is y greater than 28.42?
False
Suppose -34 = -x - 2*p + 60, 0 = 5*x + p - 425. Let o = 49.2 - 49.1. Which is smaller: o or x?
o
Let y be (2/(-12))/((-4)/(-348)). Let b = y + 547/38. Is b != 0?
True
Let a(u) be the first derivative of u**3/3 - 15*u**2/2 + 23*u + 7. Let g be a(9). Which is greater: g or -30?
-30
Let b = -727 + 3042. Is b < 2314?
False
Let l = 75 + 256. Let q be l/7 + 1/(-1). Which is smaller: 47 or q?
q
Let t be (2/6)/(2/(-6)). Let r be (1*t)/(55 + -58). Let x = 0.15 - 1.45. Does x = r?
False
Suppose 12 = 4*c - 5*h, -3*c + 4*c = -5*h + 28. Suppose -c*t + 1530 = 2*t. Which is bigger: 154 or t?
154
Let u = -2241 + 2241.1. Which is bigger: u or 247?
247
Suppose -239403 = 109*y + 529385 - 70752. Which is bigger: -6405 or y?
y
Suppose -22*w + 28 = 5*g - 18*w, -4*g + 5*w + 6 = 0. Which is smaller: 255/47 or g?
g
Let j = -274 + 318. Suppose -j*i + 6 = -50*i. Which is greater: -4/45 or i?
-4/45
Let a = -2223/7 + 317. Let u = -36 - -17. Let o = -21 - u. Are a and o unequal?
True
Let p = -211 + 210.11. Let x = 146.11 + -147. Let a = p - x. Do -6 and a have different values?
True
Let d = -21 + -199. Let k be d/6*4*(-12)/32. Which is greater: 221/4 or k?
221/4
Let n = 13 + -8. Let v = -140 + 142. Suppose 0 = -2*a + d - 4, v*d + 0*d - n = a. Is a greater than 3/38?
False
Let z(s) = -2*s**3 + 53*s**2 - 19*s + 55. Let d be z(26). Which is bigger: 32 or d?
d
Let x be ((1 - 0)/(-1))/(-1). Let t be (-3 + 17/(-2))/(134/13412). Let l = -1151 - t. Which is smaller: x or l?
l
Let o be ((-24)/20)/(-2)*(-33)/(-27). Let v = -7/5 + o. Which is smaller: -0.68 or v?
-0.68
Let u(b) = 27*b**2 - b - 1. Let j be u(-1). Suppose j*r = 8*r - 19. Is -48 < r?
True
Let c be (20 - 1) + 0/(-2). Suppose 86*w - 91*w = 5*b - 80, 2*w + 48 = 2*b. Is c less than or equal to b?
True
Let c = -150.09 + 149.67. Which is smaller: 29/4 or c?
c
Let i = 4.2 + -4.2. Let j = 0.05 + i. Let y = j - -0.05. Which is smaller: 1/6 or y?
y
Let x = -85/42292 + 1/218. Let n = x - 673/110580. Are n and 0 non-equal?
True
Let w = -13055 - -13036. Suppose -52 = -2*y + 5*n, -5*y = -4*n - n - 100. Let u = -4 - y. Which is smaller: u or w?
u
Let g = -321664587 - -79772473103/248. Let c = 1389 + g. Which is greater: -1 or c?
c
Let i = 68 - 83. Let a be 9/(-15) - 179/i. Let d = -41 - -53. Is d greater than or equal to a?
True
Let i = -7365 - -12182. Is 4817 not equal to i?
False
Let s = 217 - 212.2. Let y = s - 5.41. Is -2 < y?
True
Let k be (1*-3)/(0 - 6*(-10)/1860). Let a(r) = -91*r**3 - 2*r**2 + r. Let i be a(1). Which is smaller: k or i?
k
Let n = -1.14 + -0.06. Let x = 4 - n. Let r = 6.2 - x. Is r at most -6?
False
Let a = -587 + 588.6. Which is smaller: 21 or a?
a
Let y(c) = c**2 - 15*c - 14. Suppose 0 = -4*g + u + 30, 3*g + 4*u + 2 = 15. Let f be y(g). Which is smaller: -71 or f?
-71
Let i = -78/5 + 1628/105. Let b = 246 - 99. Let g = b + -146. Are i and g equal?
False
Let c be ((-20)/(-4))/((-2)/(-6)). Let a = 16 - c. Let p be (-26)/(-264) + 42/(-231). Which is smaller: p or a?
p
Suppose 12*b + 14*b = -23*b - 963193. Is b > -19656?
False
Let a(l) = -10*l**2 - 177*l - 1462. Let g be a(-8). Are g and -684 equal?
False
Let y(r) = -r**3 + 10*r**2 - 31*r + 464. Let h be y(11). Let u = -40.27 + -0.73. Which is bigger: h or u?
h
Let u = 4602 + -4602. Which is smaller: -8/449 or u?
-8/449
Let b be (-14)/(-35) - ((-10)/(-25) - 3). Let n be (-124)/31 + (-47)/(-17) + b. Which is bigger: 3 or n?
3
Suppose 5*c + 4*w - 3161 = 0, -962*w + 964*w - 3173 = -5*c. Which is greater: 1/2 or c?
c
Let u = 3323 - 3322.8. Is u != 3.74?
True
Suppose 3*y + d + 4*d = 253, -2*d = 3*y - 256. Let g = -60 + y. Let l(h) = 7*h**2 - 462*h + 26. Let v be l(66). Is v != g?
False
Suppose 2*n + 27 + 3 = -5*z, -2*z + n - 21 = 0. Let g = 15706 + -204280/13. Do g and z have the same value?
False
Suppose 25*m - 20*m - 665 = -4*n, 4*m = -3*n + 500. Is n bigger than 182?
False
Let k be -9 - 1 - (-77 - -104)*(-1)/3. Let t(q) = -q**2 + q. Let y be t(2). Let m = y + 0. Which is smaller: m or k?
m
Let p = 104.1119 + 9524.0981. Let w = p + -9669. Let k = -41 - w. Is k at most 0?
True
Let t = -225.6 + 120.8.