s n > y?
False
Let i = 613 + -601. Let z = -1 + 3. Let r be i/8*(z + (3 - 3)). Is -2 bigger than r?
False
Let d = -2.7 - 184.3. Let x be (-4)/60*6 - (-3 + 3). Is x at least d?
True
Let j be 171172758/4*(-1 - (-95)/87). Let i = -3935482 + j. Let n = -476 - i. Which is bigger: 1 or n?
1
Let a = -61.3 + 15.3. Let f = a + 85. Which is greater: 1 or f?
f
Let w = -848 - -849. Suppose -a + d + 2*d = -29, 10 = -2*d. Let f = a + -13. Is f at least as big as w?
True
Let b = -1116205/1036464 + 1/79728. Let l be 4/6 + (-8)/3. Which is bigger: l or b?
b
Suppose -3*q - j = -7*q + 1307, 2*q - 652 = 2*j. Let p(o) = -192 - 9*o - 196 + q. Let x be p(-10). Which is bigger: x or 2?
x
Suppose 4*g - 5*g - 4*q + 188 = 0, -3*q - 354 = -2*g. Let p be (-6)/8*(-20)/g. Let n = -3.9 + -0.1. Which is smaller: p or n?
n
Let z = -0.6 + 0.6. Let c = z + -0.2. Let u = 44.69 + -49.69. Which is bigger: u or c?
c
Let a = -530 - 283. Let f = a - -812. Is f < 501?
True
Let d = 0.325 + -0.125. Let i = 110.7 + -100. Let c = i + -10. Is d less than c?
True
Let c = 1/3290 - 3/70. Let q(m) = 17*m**2 + 53*m + 6. Let u be q(-3). Is u less than c?
False
Let u = 792251/2252705 + -1/24755. Which is smaller: -3/7 or u?
-3/7
Suppose 224*u = -104*u - 26568. Does 59 = u?
False
Let n = 5037 - 5070. Let f be 2/11 - (-730)/(-22). Is f at most n?
True
Let d = -1893/23 + 5843645/71001. Which is greater: 1 or d?
1
Let v be ((16400/15)/8)/((-4)/6). Let g = v + 204. Which is smaller: g or 1/546?
g
Let d(g) = -3*g - 3. Suppose -2*x - 10 = -0*x. Let k(p) = -5*p - 7. Let n(l) = x*d(l) + 2*k(l). Let r be n(-2). Is r bigger than -9?
False
Let r = -0.184 - -29.184. Let l = -144 + r. Are l and 0.1 equal?
False
Suppose 30*i + 15*i = 21*i + 48. Let y(d) be the second derivative of -d**3/6 + d**2/2 - d. Let s be y(i). Which is bigger: s or 36?
36
Let m(w) = -2*w - 35. Let h(b) = b + 33. Let g(a) = 3*h(a) + 4*m(a). Let v be g(-9). Which is bigger: 13/5 or v?
v
Let h(s) = -s**2 + 5*s + 5. Suppose r - 12 = -r. Let i be h(r). Let n = 41799/70 + -4182/7. Which is bigger: n or i?
n
Let a be -3 - 17/(918/(-161)). Which is smaller: -9 or a?
-9
Let m be (-5 + -1)*((-9)/240)/(48/(-40)). Suppose k = 2*k - 4. Let f = k - 3. Do f and m have different values?
True
Let u be (-3)/9*(-615)/5 + (16 - 26). Let t be (-2)/(-5) + (-163)/(-5). Is t at most as big as u?
False
Let r(t) = -t**3 + 8*t**2 + t - 6. Let v be r(8). Suppose 3*w + 65 = -5*f, -14 = v*f + 3*w + 21. Let b = 40 - 49. Which is bigger: f or b?
b
Let c = 44 + -42. Suppose 0 = -5*i + c*j - 4*j + 9, i - 2*j = 9. Suppose 15 = i*s - 6*s. Is s less than 0?
True
Let k be 677 - -11 - (5 + 0). Let q = -626 + k. Do q and 54 have different values?
True
Let m(d) be the second derivative of d**4/3 + d**3/6 - 3*d**2/2 - 52*d. Let q be m(-2). Let o(f) = f + 6. Let h be o(7). Is h < q?
False
Suppose -2*u - 2*c + 412 = 0, 837 - 19 = 4*u - 2*c. Let z = u + -487. Is -282 greater than or equal to z?
True
Suppose -q + 3*z + 623 = -0*q, z = 5*q - 3157. Suppose -u + 5*u + q = 0. Let l be -3 - (-1 + u/(-80) + -4). Is l at most as big as 0?
False
Suppose -17 = 5*g - 3*a, -5*g = -5*a + 13 + 2. Let w be (2 + g)*2/(-2). Let i(x) = 2*x**2 - 3*x + 2. Let v be i(w). Which is smaller: v or -1?
-1
Let v = -158 - -210. Suppose -v = 13*y + 156. Is -16 bigger than y?
False
Suppose -10*x - 22 = 18. Let y be 7/(126/57) + x. Which is bigger: 3 or y?
3
Suppose 3*d = d. Suppose -4*c + d*c = 132. Let y be (31 + -35)/(10/85). Which is bigger: c or y?
c
Let q = -1/142068 + 323701939/142068. Let h = q + -15878/7. Let n = h - 9923/966. Are n and -1 nonequal?
True
Let i(k) = 4*k**2 - 139*k - 139. Let v be i(-1). Let o(x) = x**3 - 2*x**2 - 3*x + 3. Let f be o(3). Let b be 1/f + (-35)/(-12). Is b not equal to v?
True
Suppose -4*c + 5*f = 8*f + 149, 5*c - 3*f = -193. Let t = -12 - -6. Let o be 12/t + -32 - (-3)/(-1). Which is bigger: c or o?
o
Suppose k + 0 = -27. Suppose 18507 = -33*w - 9180. Let o = -866 - w. Is k less than o?
False
Let k = -18.4074 - -18.239. Is 4 less than or equal to k?
False
Let u = 19/3 - 263/42. Suppose -9*p + 3694 = 2*p + 3683. Which is smaller: p or u?
u
Let p = 68 + -126. Let f = p - -61. Let b be -1 + f + 4/(-4). Is 4/39 less than b?
True
Let k = -3436 - -3530. Which is bigger: k or -2/7?
k
Let b = 27 + -13. Let r be (-897)/91 - 2/b. Let s be ((-3)/((-15)/20))/(2/r). Which is smaller: s or -21?
-21
Suppose 18*d = 16*d + 17*d. Which is greater: -1/4249 or d?
d
Let h(s) be the second derivative of s**4/6 - s**3/3 - 3*s**2/2 - 276*s. Let w(k) = k - 1. Let i be w(0). Let g be h(i). Is g > -3/31?
True
Suppose -256*t + 2*q - 2119 = -251*t, -q = -4*t - 1694. Which is bigger: t or -421?
-421
Let a be (120/(-45))/4*-9. Does a = 301?
False
Let j(g) = -4*g**3 - 36*g**2 + 10*g + 90. Let s be j(-9). Which is bigger: 1/6433 or s?
1/6433
Let l = 0.016 - -1.984. Which is bigger: l or -111?
l
Let s = 141218/3 + -47204. Which is bigger: 2/7 or s?
2/7
Let b = -1/60 - 13/1020. Let d(q) = -21*q + 146. Let s be d(7). Which is greater: b or s?
b
Let y = 178 - 140. Suppose -w + 2 = -2*w. Let k = w + 41. Which is bigger: y or k?
k
Let u = 2.36 + 9.34. Let g = 108 - 97. Let a = g - u. Is a less than or equal to 0?
True
Let u(j) = -j**2 + 37*j - 305. Let o be u(11). Are 146 and o unequal?
True
Suppose -6528*t + 7387 = -6611*t. Is t <= -88?
True
Let q = -16805736 - -655387237/39. Let j = q + 935. Let b = -311276 + 311275. Which is smaller: j or b?
b
Let l be (-90)/(6/(-64)*4). Suppose -15*r + 3*r = l. Which is greater: -22 or r?
r
Let f = 1429 - 1458. Is 2/5 bigger than f?
True
Let j = -1990 + -1427. Which is greater: -3416 or j?
-3416
Let k be -10 + 1 + 2 + 7. Which is bigger: k or 2/1279?
2/1279
Let k = -73 + 58. Let l be (-1)/5*k/(-3). Which is greater: -4/3 or l?
l
Let f be 12/(-18) - ((6 - 12) + 5). Which is smaller: -2642 or f?
-2642
Let d(n) = -4*n - 47. Let i be d(-12). Let b be (-2)/(-2) + i + (-16)/7. Which is bigger: b or 27?
27
Let r be 8/14 - 10*73546/33880. Which is smaller: r or -20?
r
Let m be (-8)/20*15/159. Which is smaller: m or 1?
m
Suppose -2*j = 5*c - 248, 2*c - 10*j = -9*j + 92. Suppose c*k - 285 = 67*k. Which is smaller: k or -12?
k
Suppose 159*u + 98*u - 104314 = 1570. Are u and 411 nonequal?
True
Let k be 8 + ((-444)/8 - 3). Let y = 307/6 + k. Which is bigger: 13/27 or y?
y
Let m = 8.4 + 2.6. Let a = -21.546 + 20.546. Which is greater: m or a?
m
Suppose -5*a - 368 + 3658 = 0. Which is smaller: 655 or a?
655
Let f = -4029230/14849 - -8408/31. Which is bigger: 1 or f?
1
Suppose -2*x = -4*p - 26, 0 = 226*p - 222*p + 2*x + 14. Is p < 271?
True
Let y(o) = 1119*o**2 - 252*o + 506. Let i be y(2). Which is bigger: i or 4479?
4479
Let x = -114 - -114. Suppose x = 31*s - 696 - 761. Which is smaller: 44 or s?
44
Let v = 334.73 + 5.27. Let c = -339 + v. Is c < 400?
True
Suppose 3*z - 8*z + n = -1, -z + 29 = -5*n. Which is smaller: -26/367 or z?
z
Let l(o) be the second derivative of -o**5/10 - 23*o**4/4 - 35*o**3/6 - 11*o**2/2 - 15*o + 2. Let v be l(-34). Let g be (4/24)/(4/(-6)). Is v smaller than g?
False
Let d be 290/56 - (-3)/(-6)*6. Which is smaller: d or 1?
1
Let k(s) be the third derivative of -5*s**4/3 + 33*s**3 + 2*s**2 + 60. Let t be k(5). Which is smaller: -84/25 or t?
-84/25
Let s be 5 - (3/(-2) + (-623)/(-126)). Are s and -25 equal?
False
Suppose -28 = 2*y - 5*a, 33*y = 34*y + 5*a - 31. Which is bigger: y or 43/92?
y
Suppose -133*o = -207*o + 3626. Which is greater: 16 or o?
o
Let v be (-1575)/(-49) - 2/14. Let w(f) = -f**2 + 3*f + 2. Let m be w(4). Let i be (m/(-4))/(0 + 1/60). Are i and v unequal?
True
Let j = 1.56 - -1. Let h = -1.96 + j. Which is smaller: h or 21?
h
Let c be ((-12)/(-40))/((-765)/(-2125)). Let l = 7 - 7.03. Which is greater: l or c?
c
Suppose -5*y - 1644 = -2*p, 2*p + 42 - 1686 = 2*y. Which is smaller: p or 820?
820
Suppose 0 = 2*h + 4*y - 18, -14 = 3*h + 3*y - 26. Does h = -1/638?
False
Let h be 4 + (6/(-15) - 335/(-25)). Suppose -207 + 71 = -h*v. Which is smaller: 16 or v?
v
Let o(m) = -48*m - 44. Let h be o(-4). Which is smaller: h or 154?
h
Let g be 18 + 130/121 + -19. Which is greater: -3 or g?
g
Let q = 114 + -221. Let r = q - -22. Let i = r - -93. Is i at most 9?
True
Suppose 8*c - 7*c + 388 = 3*q, -5*q - 5*c = -660. Let r = q - 145. Is -22 not equal to r?
