= f + a. Is y at least -48?
False
Suppose 3*y - 18 = 5*y - 4*a, -5*y - 9 = -a. Let x(u) = -2*u**3 - 3*u**2 - 4. Let l(w) = 2*w**3 + w**2 + 1. Let b(d) = 4*l(d) + x(d). Let q be b(y). Is -10 < q?
True
Let u be 4/14 - (-71247)/119 - 1. Which is smaller: 599 or u?
u
Let h = 14747.2 - 14749. Is -2/149 greater than h?
True
Let k = 7769.863 - 7770. Which is smaller: k or -46?
-46
Suppose -6*w + 839 - 119 = 0. Let b be (52/w)/(5 + 23/(-5)). Let j = 1 + -1. Which is bigger: b or j?
b
Suppose 12*m + 753 = 2397. Suppose 0 = -m*s + 130*s + 7. Is s at least as big as 2/17?
True
Let y = 1981 - 1915. Suppose -78 = -2*m + 56. Let d = m - y. Is d < 1/27?
False
Let b = 11.7 + -5. Let t = b - -6.4. Let l = -13 + t. Is 0.3 < l?
False
Let i be 7 + 1 + -4 + -52748. Let z be 4/(-14) + i/(-185535). Is z < 0?
True
Let f(w) = w**3 - w**2 + 3*w + 4. Suppose 5*i = 38 - 18. Let t be f(i). Let s = -125 + t. Are -61 and s nonequal?
False
Let p = -570 - -553. Let u be p/28 - (7/49 + 0). Which is greater: 0.039 or u?
0.039
Let i(o) be the third derivative of o**6/120 - o**5/20 + 5*o**3/6 - 3*o**2 + 5*o. Let t be i(2). Which is smaller: t or 3/40?
3/40
Let u be ((-11015)/(-280)*-6)/(20/(-16) - -1). Which is smaller: u or 945?
u
Let l = 5822 - 4190. Which is smaller: l or 0?
0
Suppose 52*x = 54*x + 1136. Let k = 572 + x. Is 0.085 >= k?
False
Let t = 1/4692 - 118867/14076. Which is bigger: 21 or t?
21
Let y(a) = -2*a + 3. Let p be y(2). Let m(v) = 3*v**2 + 26*v + 121. Let l be m(-11). Let o = -5153/26 + l. Which is bigger: o or p?
o
Suppose 5*m = -1 + 41. Let a be m*(-1)/(-1 + -1). Suppose 2*d + 3*d - 3*q = 20, -d + a = -2*q. Which is smaller: 3 or d?
3
Suppose -2*k + 11*k - 182 = -20. Which is greater: k or -8?
k
Suppose -4*y = 12 - 0. Let n be ((-15)/54)/(1/y). Suppose 985*a - 318 = 826*a. Which is bigger: n or a?
a
Let f be 8 - 95*4/50. Let y = 1.1 - 1.06. Let v = y + -0.14. Do v and f have different values?
True
Suppose -w - 18*w = 3287. Which is bigger: w or -175?
w
Let q(j) = j**3 + 2*j**2 + 3*j + 348. Let l be q(0). Let c = -352 + l. Is -15/4 less than or equal to c?
False
Let y = -2450539/4 - -612634. Let g = 146 - 155.96. Let z = 0.04 - g. Which is bigger: y or z?
z
Let v be (22 + -1)*8/(-56). Is v greater than 28?
False
Let w = 455 + -457. Let n be 1/(w/(-8)) - 602/140. Is -20 > n?
False
Suppose 2634 = -2*l - 3*y, -3*l = -y + 1322 + 2596. Which is bigger: l or -1306?
-1306
Let k be (1 + -2 + 28/12)*-12. Let d be k/(-12) + (-10)/(-15). Suppose 3*s - 26 = -d*g - 0*s, -4*s = 2*g - 28. Is 8 smaller than g?
True
Let u = 25660 + -130914/5. Which is smaller: u or -2?
u
Suppose -t - 3*i = -461, -11*i + 1333 = 3*t - 12*i. Does 448 = t?
False
Let z be (-56)/(-13 + 6) - -2. Suppose 4*f - 5*x = -25, z*x = -4*f + 12*x - 10. Do 4/11 and f have the same value?
False
Suppose -31*g + 20976 = 83*g. Do g and 182 have the same value?
False
Let f = 692 + -220. Let k = f - 470. Let d = -9.81 - 0.19. Which is bigger: d or k?
k
Let j(b) = 12*b - 8. Suppose o = 2, -f + 4*o = 2*f + 11. Let n be j(f). Let l be (8 + (-126)/15)/(7/n). Are 1 and l equal?
False
Suppose -37*r - 18198 - 1227 = 0. Which is greater: r or 1?
1
Suppose 3*o + 1519 - 17302 = 0. Suppose -o + 229 = -4*w. Let n = w - 74216/59. Is -1 not equal to n?
True
Suppose 1429*b = 1466*b + 18315. Does b = -500?
False
Let l = -6 - -1. Let b = -0.5968 + 0.3668. Which is smaller: l or b?
l
Let x = -1464 - -532. Is -2 <= x?
False
Let b = 10 + -3. Let d = -393 + 401. Let x = b - d. Which is greater: x or -9?
x
Let a(x) = x - 7. Let l be a(4). Let v be (522/5 + l)/(-1). Let n = 305/3 + v. Which is smaller: -1 or n?
-1
Let r = -107/6 - -35/2. Let b = -9.1 + 680.1. Let f = -659 + b. Is f at least r?
True
Let l = -70 - -73. Let v be l - -1*(-168)/49. Which is greater: 2 or v?
2
Suppose -4*z - 76 = -0*v - 2*v, -3*v + 98 = -2*z. Suppose 0 = -q + v - 29. Is -15 at most as big as q?
True
Let z be -4 + (-84)/(-42)*3*(-21)/(-18). Which is smaller: z or 220/117?
220/117
Let d be (-81)/12*1/615. Do d and 1 have the same value?
False
Let d = 433 - 432. Let l = 2.648 + -2.7. Let j = l + 0.093. Which is bigger: j or d?
d
Let o(f) = -f**2 + 4*f. Suppose -6*p + r + 167 = -2*p, 165 = 4*p - 3*r. Let i = -38 + p. Let t be o(i). Which is greater: t or -3/47?
t
Suppose 69*a - 32*a - 14*a = -2852. Let u be 4/(-3) - 2/(-1). Is a > u?
False
Suppose -5*y - 207 = -212. Is y not equal to 20/13?
True
Suppose -197*p + 105 = -683. Which is bigger: p or 49/16?
p
Let s = -35974.414 + 35974. Which is smaller: -26 or s?
-26
Let f be 12/(-8)*(-5 + 3). Let s be 4/528*670 - (f + 2). Is -1 at most s?
True
Suppose 2*a = 4 - 8, -2*a = -5*k + 4. Suppose 5*t + 3*m = -8, -6*t + 2*t + 2*m - 2 = k. Let v = 1 + 1. Is t >= v?
False
Let l(f) = 598*f - 6579. Let y be l(11). Let n be 1/(-3) + (-8)/(-6). Let a be (-192)/(-93) + -1 - n. Which is greater: a or y?
a
Let j = -472 + 370.9. Let z = 101 + j. Let f = -10.8 + 11. Which is smaller: f or z?
z
Let q = 11 - -7. Suppose 3*b = q*b. Is -2/5 not equal to b?
True
Let d = -0.013 - -7.013. Let m be ((-33)/(-451))/((-12)/8). Is d less than or equal to m?
False
Let x(y) be the third derivative of y**5/30 - y**4/3 - 4*y**3/3 - y**2. Let c be x(5). Let m be ((-4)/(-8) + -1)*c. Is m bigger than -9/5?
True
Let j = 0.6565 + 1.1435. Is -57 at least as big as j?
False
Let s = -9020 - -9022. Which is bigger: s or 624?
624
Suppose 4*k + 4*g = 36, -4*k + 24 + 13 = 5*g. Suppose 3*j = -3*h - j - 4, -k = 2*j. Suppose h*x = -2*x. Which is bigger: x or -6?
x
Let f(g) = 42*g**2 - 3*g - 12. Let u be f(-3). Suppose -176 = -371*l + u*l. Do -41 and l have different values?
True
Let k = -410 - -544.6. Let l = 124 - k. Do -3 and l have different values?
True
Let p(j) = -4*j + 33 - 15 + j + 2*j. Let i be p(11). Suppose -1 = i*u - 8. Which is greater: 5 or u?
5
Let r be ((0 - 1)*0)/1. Let t = -384 + 968. Let y = -600 + t. Do r and y have different values?
True
Let l(i) = -i + 11. Let c be l(6). Suppose 4*t + 46 = -2*o - 0*o, c*o = 5*t - 55. Let u = o + 2. Which is greater: u or -14?
u
Let h = 2.452 - 3.032. Which is greater: 1/20 or h?
1/20
Let c = -3668 + 4259. Is 593 > c?
True
Let r = 97.0632 - 0.0632. Which is greater: r or -3?
r
Let m = -21337.028 + 21337. Is -182 equal to m?
False
Let u(n) = -17*n**3 + 5*n**2 - 4*n + 6. Let c(z) = -z**3 + z**2 + z + 1. Let l(q) = -c(q) + u(q). Let t be l(2). Which is bigger: t or -118?
t
Suppose 3*u + 9 = 3*j, 5*j - 145 = 4*u - 131. Is u at least as big as -4/1907?
False
Suppose -h = -2*p - 2*p + 148, -3*p + 540 = -4*h. Let r = 94 + h. Let z be (57/r)/(-2 + (-58)/(-38)). Is 4 at least z?
True
Let m(r) = -r**3 - 4*r**2 - r + 10. Let t be m(-3). Let n(l) = 14 - t*l + 0*l + l + 9. Let f be n(7). Which is smaller: 4 or f?
f
Let u = 103024/77 - 1338. Suppose 3*z = 8*z. Let i be z*(-4)/(-12)*-1. Which is bigger: u or i?
i
Suppose 19 + 495 = -2*y + 2*b, -3*b + 255 = -y. Which is smaller: y or -257?
y
Let r = -21.91 - -22. Let g be 0*(-1)/6*2. Suppose i - i - 4*i = g. Is r != i?
True
Let z = 0.55 + -31.55. Let m = z - -44. Let h = -13.1 + m. Is h > 0.08?
False
Let k = 6346455935 + -4442074902589853/699930. Let a = k - 2/5555. Which is smaller: -1 or a?
-1
Let i = -1775/38 + 2759973/59090. Which is smaller: 0 or i?
i
Let i = 87 - 107. Let o be -3 + (-33)/i - (-18)/24. Is o < -3/4?
False
Let w = 165 - 249. Let t be 2/w - (-3)/(-18). Let c = 630 - 631. Which is bigger: t or c?
t
Let q(i) = -14*i**3 + 4*i**2 - 4*i - 169. Let d be q(7). Is -4803 less than d?
False
Let x(h) = -h**2 + 7*h - 5. Let c be x(4). Let m be ((-1377)/135)/(1/(-5)). Suppose -77 - m = -16*t. Which is greater: c or t?
t
Let d = 2621 + -548. Let r = d + -8169/4. Which is greater: 30 or r?
r
Let l = 72 - 43. Let d be (8/2)/(33 - l). Suppose 0 = 4*w, -2*s + w = -4*w. Which is greater: s or d?
d
Let y be (-15 + (-1272)/(-72))*(-90)/(-244). Is 1 >= y?
True
Let u be (-30 - 447)/(3 + -4)*(-34)/6. Is -2702 < u?
False
Let l(r) = -r**2 + 8*r + 27. Let y be (-19)/(-2) - 17/34. Let h(c) = -c**3 + 9*c**2 + 11. Let b be h(y). Let p be l(b). Are -8 and p equal?
False
Let a = 27.7 + -16.4. Let t = a - 11. Let v be (-1 - 28/(-48))*-6. Which is smaller: t or v?
t
Let u be 364/(-3) - (3 + (-104)/24). Let r = u + 112. Let q be (-32)/(-1) - (-11 - r). Which is bigger: 33 or q?
q
Let h be 4*