e (-6)/4*276389/(-78). Let t = -5315 + l. Let a = 1/13 + t. Which is bigger: a or -1?
a
Let a = -68 - -4010/59. Let m(h) = -h**2 - 35*h - 124. Let x be m(-31). Is x greater than a?
True
Let d = -92345 + 648449/7. Which is smaller: d or 292?
d
Let a be 338/(-39)*(1 - 4). Which is smaller: a or 23?
23
Let j be (-8)/(-3) - 3/(-9). Suppose 0*p - j*p + 45 = 0. Let w be 4 + p/(-6) + -1. Which is bigger: 0 or w?
w
Let o be 477/(-5) + -14 + 72/5. Which is bigger: -283/3 or o?
-283/3
Let z be (-1 - -4)*(2 - 5). Let v = 49 + -229. Let c = v + 345/2. Which is smaller: z or c?
z
Let j = 29959532320421/3238 + -9252480559. Let g = -3/1619 + j. Let s = g - 85. Do 1/2 and s have different values?
True
Let q(w) = 2*w**2 - 83*w - 59. Let f be q(42). Is -174/11 at most f?
False
Let o = 45 + -39. Let c be 0*(9/(-3))/o. Let d = 1595/38 - 42. Is c equal to d?
False
Let d = 6.0822 - -0.0978. Which is smaller: 1 or d?
1
Suppose -2*q + 38 - 20 = -4*u, -4*q + 2*u + 12 = 0. Is q equal to 1/1564?
False
Let j = 18756/589 - 594/19. Is j <= 1?
True
Let a = -4.65 - -5.65. Which is smaller: a or -423?
-423
Let m = 594 + -661. Is m at most as big as -0.1?
True
Let u = -592 - -593. Let d = -4 - -4. Let q be 1*6/3 + d. Which is smaller: u or q?
u
Let j(v) = 5*v**3 + v**2 - 1. Suppose 0 = -2*s - 2*s + 28. Suppose -q + 5*p - 6 = 0, 3*p + s = -2*q + 8*p. Let i be j(q). Is -5 less than i?
False
Let j be 1118/(-9) - (-28 - -26). Which is greater: -123 or j?
j
Suppose 12 = 4*w, -3*w + 0*w + 45 = -4*b. Suppose 11*m - 45 = 6*m. Let f = b + m. Is f > 6?
False
Suppose 0 = -3*a - 37 - 23. Let y be (-4)/a*(-4)/(96/15). Is -1 smaller than y?
True
Let l = 120 + -125.7. Let t = 5.9 + l. Which is smaller: t or 0.7?
t
Let v(o) = 2*o + 16. Let h be v(-6). Suppose -2*b + 2*u + 18 = 0, 5*b - h - 59 = -u. Is 10 >= b?
False
Let a = -65.13 - -67.4. Which is smaller: a or -1/5?
-1/5
Let t = 72/941 + 184235/39522. Let n = 25/6 - t. Is -2 less than or equal to n?
True
Let a(r) = 4*r - 52. Let p be a(8). Is p not equal to -24?
True
Let t = 43/2 + -21. Let a be 2/(-10) + (-198)/(-90). Which is bigger: t or a?
a
Suppose -g + 2*a = 3, 3*g + 1 = 3*a + 4. Suppose -4*c + 8 = -4*m, 0 = -5*c - g*m + 1 - 11. Let j = 7414/13 - 570. Is c greater than j?
False
Let d = -7 + 4. Let z = 7.8 - 7.819. Let q = z - 0.021. Is q at least d?
True
Let x be ((-50)/40 - -1) + 1314/8. Which is bigger: 167 or x?
167
Suppose -4*g = 28 + 8. Let j be (86/g)/((-34)/(-3)). Let s = j - -3/17. Which is bigger: s or -1?
s
Suppose -j = -0*j - 2. Let t be (258 - j)/4 + 0. Let d be (180/t)/((-12)/(-16)). Which is smaller: 4 or d?
d
Suppose -2 - 10 = 4*w. Let y(m) = 140*m - 422. Let o be y(3). Which is greater: o or w?
o
Let b = 49 - 527/11. Let z = 4/1759 + 166797/135443. Let j = b - z. Which is smaller: 0.4 or j?
j
Let w = -0.58 + 0.7. Let b = 0.65 - 0.77. Let p = w + b. Which is bigger: p or -0.1?
p
Let j be (-22)/(-28) - (-4)/(-14). Suppose 3*p = -d - p + 24, 0 = 3*d - 5*p - 4. Suppose -d = -0*t + 5*t + 4*y, -t - y = 2. Which is smaller: t or j?
t
Let l = -8 - -11. Let q = -3219/4 - -809. Which is smaller: l or q?
l
Let g be ((-2)/30*-3)/(164/(-8)). Is g < -1?
False
Let a = 7261 - 167039/23. Is -1 equal to a?
False
Let z = -18/37 + 302/925. Which is smaller: z or 3?
z
Let p = 31 - -15. Is 45 < p?
True
Let a = 3421364/779 - 4392. Which is smaller: a or 0?
a
Let r = 10 - 12.3. Let t = r + 2.1. Let w be (1/5)/(12/15). Which is bigger: w or t?
w
Let d(y) be the first derivative of -5*y**2/2 - 9*y + 5. Let a be d(-7). Are a and 28 equal?
False
Let r = -0.19 + 0.16. Let h = -0.17 + r. Let z = -2.7 + 2.6. Which is smaller: h or z?
h
Let v = -12 - 1. Let j = 14 + v. Let k = -3 + j. Is 4/3 at least k?
True
Let u = 59 - 55. Suppose 3*p + 2*n - 11 = 0, 2*p + u + 14 = 5*n. Let o = 1 + -3. Is p >= o?
True
Let d = -25902/1193 - 160275693/23860. Let z = 6741 + d. Let p = z - 27/10. Which is greater: -2 or p?
p
Let p be (-5 - (-50)/40) + 5. Which is greater: p or 1?
p
Suppose -28*y + 24*y = -380. Which is smaller: y or 97?
y
Let w(r) = -9*r**3 + 8*r**2 - 11*r - 7. Let c be w(3). Which is greater: -212 or c?
c
Suppose 0*a + a + 1 = 0. Let b be (2 - 1)*(a + 1). Let i = -327/52 - -72/13. Is b greater than i?
True
Let b(v) = -v**3 - 6*v**2 - v - 3. Let y be b(-6). Suppose 0 = 4*j + y - 23. Suppose -5*l - j = 10. Is l < -4?
False
Let i be (3/(-12) - 0)*(-586)/(-8). Let r = -37/2 - i. Which is greater: 0 or r?
0
Let g = 136 - 135. Is g at most as big as 13/24?
False
Suppose 14*n - 13 = 15. Which is smaller: 12/17 or n?
12/17
Suppose 2*a + 5*y - 70 = 4*a, -2*a - 5*y = 30. Suppose 5*w = 4*l - 124, 3*w - 2*l = -0*w - 74. Is a greater than w?
False
Suppose 15 = 12*c - 9. Suppose c*i = -5*g - 4, -i = 5*g - 1 + 3. Is i bigger than 23?
False
Suppose f - 6 = 2*f. Let v = -2 + -10. Do v and f have the same value?
False
Let z = 847 + -535. Which is greater: 314 or z?
314
Let p = 5.41 - 7.41. Is 2/5 at most p?
False
Let o(l) = -9*l + 13. Let g be o(5). Suppose 108 = 4*y + 8. Let c = y + g. Which is smaller: c or -23/3?
-23/3
Suppose -3*j + 4*l - 220 = 2*l, 3*l = -4*j - 282. Let k = j - -68. Let w = 9 - 13. Is w at most as big as k?
True
Let z = 2.96 + 0.04. Let k = z - 1. Let g be 3/2 + 781/(-550). Are g and k equal?
False
Let n be (-38)/14 + 6/(-21). Suppose 13 - 41 = o - s, 3*s = -9. Let z be o/(-18) - 6/27. Is z bigger than n?
True
Suppose -2*k + 12 = 5*b, 62*b - 66*b + 6 = -2*k. Let f be (-2 + 1)/(1/(-1)). Suppose 4*q - 15 = f, 3*q = -3*r + 21. Which is smaller: k or r?
k
Let a = -4949/12 - -413. Is 0 > a?
False
Let b be (-6216)/51 + (-10)/85. Let p = -202 - b. Let l = p + 398/5. Which is smaller: l or -1?
-1
Let o be (9/(-2))/(-8 - 75/(-10)). Suppose 86 - o = -7*p. Which is greater: p or -8?
-8
Let g be (-6)/(-12) - (-3)/(-6). Suppose 16*h - 11*h = g. Which is bigger: -2/5 or h?
h
Let g(f) = -f. Let o(u) = -u**3 - 6*u**2 + 8. Let i be o(-6). Let a be g(i). Which is greater: a or 0?
0
Let u = -701/3 - -13349/57. Let m(b) = -b**3 + 13*b**2 - 12*b + 1. Let o be m(12). Is o > u?
True
Let b be (-4)/14 + 22/28. Let o(f) = -f**2 + 9*f + 10. Let d be o(10). Suppose d = -4*i - y + 13, 5*y - 15 = 3*i + 2*i. Is i at least b?
True
Let j be (4/(-38) + 0)/(-2). Suppose -11 = 2*d + 49. Let q be 12/d + 10/25. Is q less than j?
True
Let h = -175 - -228. Which is bigger: h or 54?
54
Suppose -o + 6*r + 2 = r, 96 = 4*o + 2*r. Let m be o/(-55)*20/22. Let f(k) = -k - 2. Let h be f(-2). Is m less than h?
True
Let w = -395.26 + 391. Let u = w + 0.26. Let n = 2 + 2. Which is bigger: u or n?
n
Let u be 4*3/(-18)*54/4. Is -81/8 bigger than u?
False
Let w(c) = c**3 - 5*c**2 - 13*c + 15. Let b be w(9). Which is smaller: 0.3 or b?
0.3
Let j(k) = k**3 + 7*k**2 + k + 7. Let f be j(-7). Suppose f = -25*a + 22*a. Which is smaller: a or -3/5?
-3/5
Let w = -4 - -3. Let x(c) = c**3 + 4*c**2 - 7*c - 9. Let u be x(-5). Let b be u + w + 12/(-48). Is -0.1 at most b?
False
Let l = 21 + -16. Suppose -8 = -l*t + 32. Let q = t + 2. Which is greater: 9 or q?
q
Let t = 95 + -93. Which is smaller: -4/9 or t?
-4/9
Let z(j) = -6*j + 6. Let d be z(4). Let y be d/(-7)*665/25. Let u = 68 - y. Which is smaller: 0 or u?
u
Suppose -q - 20 = -3*q. Let d be (q - 11)/(2 + -1). Which is greater: d or 0.16?
0.16
Suppose 7*c = -9*c + 6432. Let s = c + -2808/7. Let o = 8/105 + -10/21. Which is bigger: s or o?
s
Let v be ((-51525)/(-24))/15 + 2/(-16). Which is greater: v or 145?
145
Let p be (-39 - -19) + (-8)/(-1). Is p bigger than 8?
False
Let i = 488 - 437. Are i and 50 equal?
False
Let s be 905/((-2 - -4)/2*-2). Let y = -437 - s. Does 15 = y?
False
Let l = 3 - 53. Is -49 less than or equal to l?
False
Suppose 2*i = -0*i - u - 30, i - 5*u = -4. Let l be ((-21)/i)/(1/(-46)). Let g = -484/7 - l. Which is greater: -1 or g?
g
Let m = 1.1 + -1.1. Let l = m + 0.1. Let x = 0 + 1. Which is bigger: x or l?
x
Suppose 0 = -5*f + 13 + 312. Suppose y - 50 = 14. Is f at least y?
True
Let n be (-56)/98 + (-3142)/14. Is -229 < n?
True
Suppose 108*t - 104*t = 156. Which is smaller: t or 8?
8
Let z = 13 - 7. Let o(b) = -6*b**2 + 4*b. Let f(x) = -5*x**2 + 5*x - 1. Let p(g) = z*o(g) - 7*f(g). Let n be p(-11). Is 5 < n?
True
Let i be (2*-1)/(-2) + 3. Suppose 43 - 67 = -4*f. Let t be 5*9/45*(f + -2). Are t and i equal?
True
Let m = 160 + -466.