d be (2 - -1)/(-6 - -9)*j. Let m = 1921/14 + -137. Is d at most as big as m?
True
Let l = -79 - -68. Is l bigger than -1?
False
Let q = -6.8 - -6. Let v = -1 - q. Let s = -64 + 64. Is v not equal to s?
True
Let z = 5 + -10. Let b = z - -6. Suppose 2*v = 3*v + b. Which is smaller: v or 1?
v
Let x = -48 - -54. Suppose x = -0*d + 3*d. Which is smaller: d or 1?
1
Let g = 3123 + -3124. Are g and -2/683 equal?
False
Let t be (-11548)/120 - (-10)/25. Let a be ((-10)/(-6))/(2/(-114)). Let n = t - a. Which is greater: -1 or n?
n
Let p(d) = -d**3 + 10*d**2 - 9*d + 4. Suppose 0 = 4*g - 0*g - 36. Let m be p(g). Let y be 24/(-20)*10/m. Is y < -3?
False
Suppose -2*x - 6 = -5*x. Let p = 111 + -105. Suppose p*b = -16 - 8. Is x equal to b?
False
Let t(j) = -75*j - 374. Let k be t(-5). Which is bigger: 2/3705 or k?
k
Let n(m) be the second derivative of -m**5/20 + 11*m**4/12 - 3*m**3/2 - 6*m**2 + 10*m. Let g be n(10). Which is greater: g or -0.08?
-0.08
Suppose 4*h + 28 = -0. Suppose -w - 26 = -4*w + 4*f, -4*w + 4*f = -28. Suppose 0 = -4*o - 12, w*v - 32 = 7*v - o. Is h < v?
False
Let d be (-3)/3 - (-56)/20. Let l = 1/65 + 5/13. Is l less than or equal to d?
True
Let k(m) = -4*m**3 + 31*m**2 - 2*m + 1. Let j be k(8). Is j less than or equal to -79?
True
Suppose -4*v - 2*x = -1782, -x - 4*x = 4*v - 1773. Is v <= 448?
True
Let a = -464.72 + 464. Which is greater: a or 1?
1
Let t(c) = 9*c - 588. Let n be t(57). Are -81 and n non-equal?
True
Let f = -32.04 + 33.04. Do f and -49.1 have different values?
True
Let y(k) = -k**3 - 25*k**2 + 26*k + 6. Let g be y(-26). Let c be -3*(4 - g/9). Is -8 less than or equal to c?
False
Let m = 149.9833 + 0.0167. Is 2/3 at least as big as m?
False
Let b be -2*51/(-210) + 30/(-70). Which is bigger: b or -1?
b
Suppose 3*w - 63 = -81. Is w < -56/9?
False
Let o = 503 + -487. Which is smaller: -1 or o?
-1
Let o(p) = p**3 - 21*p**2 + 3*p - 44. Let z be o(21). Is 13 bigger than z?
False
Let d = -280 - -222. Do d and -59 have different values?
True
Let o be (-1 - (2 - 0))*3. Let x be -3 - 52/o - 3. Let u be (3/14)/(24/28). Is u smaller than x?
False
Suppose 0 = 2*d + 1 - 7. Suppose d*c = c - 4. Let x = 5 + c. Which is greater: x or 4?
4
Let m be 17/11 + -2 + 1. Let t = 654 + -654. Do t and m have the same value?
False
Suppose r = -7 + 8. Which is smaller: 11/9 or r?
r
Let n = -575 - -576. Is 18/73 at most n?
True
Let f = 0.2 - 0.2. Let n = 5.1 + -5.1. Let m = n + f. Which is smaller: m or 2?
m
Suppose 0*a + 12 = a. Let s = -8 + a. Suppose -5*c - 15 = -2*z, -3*z = -s*c + 5*c + 3. Which is smaller: c or -11/3?
-11/3
Let z = -112 + 68. Let n = -43.97 - z. Which is greater: -8 or n?
n
Let l be (-74)/185*(-15)/6. Which is bigger: -1/195 or l?
l
Let h(d) be the second derivative of -d**3/2 - 21*d**2/2 + d. Let a(v) = -v. Let u(f) = -2*a(f) + h(f). Let o be u(-10). Is -19/2 greater than o?
True
Let y = -27.1 + 26. Which is bigger: 3 or y?
3
Let m be (-2)/(-6) - (-15)/9. Let d = -901/3 + 302. Is d <= m?
True
Let c = -201 + 202.19. Is -2 bigger than c?
False
Let y = -7 + 5. Let a = -4 - y. Let p be 13/(-4) + 9/(-12). Is a > p?
True
Let k be (10/(-5) - -3) + 5. Let z(x) = -6*x - 21. Let o be z(k). Which is bigger: 0.1 or o?
0.1
Let j be (-16)/104 + 2/4. Let v = j + 2/13. Which is greater: -4 or v?
v
Let q = 935/3 - 317. Let l(o) = o + o**2 - 14*o + 6*o - 13*o + 15. Let k be l(19). Is k bigger than q?
True
Suppose -2*r + 18 = -5*k - 4*r, k = -4*r - 18. Let m be k/(-7) + 27/(-21). Let z be (5 - (4 + m)) + -1. Which is smaller: z or 10?
z
Suppose -24*g - 512 = -56. Suppose 0 = 3*k - 4*p + 7 - 17, 0 = -4*k + 5*p + 12. Is g greater than or equal to k?
False
Let a be 2*(-3 + 4) - -4. Let v be 2/4 - a/12. Let g be 1 - -1*(v + 4). Is g bigger than 6?
False
Let h(w) = -w**2 - 5*w + 8. Let s be h(-6). Suppose 90*t - 2 = 89*t. Suppose -l + 5*f - s = 0, t*f + 2 = 2*l - 2*f. Which is greater: 1 or l?
l
Let k = -2.99 - 0.01. Let c = -5 - k. Let z = c - -2.5. Which is smaller: z or 0.2?
0.2
Let v = -5678660883/3511835 - -299/22657. Let k = v - -1617. Which is bigger: k or 0?
k
Let t = 66 + -44. Let g = -7 + t. Is g > 14?
True
Let s = -0.47 + 0.24. Let m = 50 + -50.23. Let j = m - s. Is j at least as big as 0?
True
Let d = -0.641 - -0.564. Which is bigger: 6 or d?
6
Let p = 785 + -415. Which is smaller: 369 or p?
369
Suppose 3*y = -528 + 636. Is 36 smaller than y?
False
Suppose 20*a + 1122 = 9*a. Which is greater: a or 1/2?
1/2
Let m = -6680952/25 + 267593. Let i = -355 + m. Let c(u) = u**2 - 5*u + 5. Let j be c(2). Is i at most j?
False
Let y = 8 - 6. Let g be (-528)/(-9768) + (-558)/(-629). Is y at least as big as g?
True
Let n be (-28)/(-6) - 99132/21285. Suppose 0 = -5*d - 0*d. Is d < n?
True
Suppose -4*l + 5 = -7. Suppose 57 = -3*y + l*g - g, -2*g + 23 = -y. Let j = 13 + y. Which is bigger: -5 or j?
j
Let s = 3 - -5. Suppose -2*w - 28 = -4*g - 4*w, g + 5*w + 2 = 0. Is s >= g?
True
Suppose 0 = -z - 0 + 20. Suppose -m - k + 608 = -6*m, 5*m + 602 = -k. Let u = -103 - m. Is z equal to u?
False
Let l = -0.04 - -0.05. Let u = -0.4 + -1.6. Is u != l?
True
Let j(l) = 7*l + 36. Let h be j(-5). Is -2/1795 smaller than h?
True
Suppose -13*v + 9*v - 480 = 0. Let l be ((-1)/2)/(((-52)/v)/13). Which is smaller: l or -16?
-16
Let z = -290 + 303.9. Let u = -17.74 + z. Let k = u + -0.16. Which is bigger: k or 2?
2
Let z = 186.2 - 186. Which is bigger: -1.53 or z?
z
Let i = -38 + 25. Let o = -14.8 + 2. Let w = i - o. Is w != -2?
True
Suppose 6*y = -y - 595. Let h = y - -164. Which is greater: h or 78?
h
Let i be (832/78 + -12)*2/(-6). Which is smaller: i or -92?
-92
Suppose -t + 18 - 17 = 2*s, 4*s - t - 11 = 0. Is s equal to 83?
False
Suppose -4*c - 8 + 48 = 0. Let g = -95 - -57. Let q = 47 + g. Which is bigger: c or q?
c
Suppose -3*m + 4*m = -11. Is m at least as big as -110/9?
True
Let k = 11 - 44. Let g = k + 27. Let a = -0.4 + -1.6. Which is smaller: a or g?
g
Let q be (4/4272)/(4/(-6)). Which is bigger: q or 0?
0
Suppose 0 = 3*s + 4*q - 16 - 69, q = 5*s - 134. Is 23 >= s?
False
Let t be ((-24)/(-108))/(6/(-9)*2). Are 2/9 and t non-equal?
True
Let g be 2/3 - (-105)/45. Suppose -5*b + 3*m = -74, -3*b + 2*b = g*m - 22. Suppose h = 2*n - 3*n + 2, 2*n - h = b. Are n and 4 equal?
False
Let s = -386.2 - -464. Let i = -78 + s. Which is greater: 6 or i?
6
Let m = 65.345 + -1.445. Let l = m + -61. Let a = -3 + l. Is 3 > a?
True
Suppose 125 + 247 = 62*d. Suppose -5*p + 16 + 19 = 0. Which is greater: d or p?
p
Let a = 2.7 - 2.6. Let f = -89 - -88.73. Which is greater: f or a?
a
Let d(m) = m**3 - m**2 - 7*m - 30. Let c be d(0). Which is smaller: -23 or c?
c
Let d = 2 - 1. Let w = -20 + 20. Let o be w + ((-84)/(-32))/7. Is o greater than d?
False
Let l be 9 + 28/(-14) + (-2 - -1). Let x(o) = -o**3 + 5*o**2 - 3*o + 1. Let d be x(4). Which is bigger: d or l?
l
Let i = -9 + 16. Let l(b) = -i - 11*b + 11*b - 3*b. Let x be l(-3). Which is smaller: 1/5 or x?
1/5
Let y = -138 + 157. Suppose 2*z + 24 = 3*z + 2*x, -5*z = -5*x - 90. Is y > z?
False
Let x = -39 + 89. Which is greater: x or 48?
x
Let b be 3/2 - (1 + 0). Let n = 60.84331 - -0.15669. Is b at most n?
True
Let x(p) = p**3 - 9*p**2 + 20*p - 5. Let s be x(6). Is -34 < s?
True
Let g be (-25)/30*-6 + -269. Which is bigger: -265 or g?
g
Let s = -89 + 120. Which is smaller: 1 or s?
1
Let i be (-7)/(-35) + (-11)/(220/1064). Are i and -53 non-equal?
False
Let w = 54 + -53.7. Let v = 26.423 - -0.077. Let s = v + -26. Which is greater: w or s?
s
Let g be 16/(-32)*(10/2 + 1). Is g less than 7?
True
Let k = -488.1 + 488. Let o be 2 + 30/2 - -2. Is k at most o?
True
Suppose -3*f + 2*f = 2*v + 1, 3 = 3*f + 3*v. Let t(z) = -z**3 + 3*z**2 - z - 5. Let a be t(f). Are -1 and a non-equal?
True
Suppose 16*y - 13*y = 6. Suppose -4*a + 2 = -3*v, a - y*v = 2 + 1. Let o be 3/(-6)*(15 + a). Which is bigger: o or 1?
1
Let d = -347 + 347. Is d at least as big as -2/35?
True
Let j = -142 - -141. Let o(u) = -u**3 - 6*u**2 - 4*u + 3. Let y be o(-5). Is j < y?
False
Let d = -2.04 - -0.04. Let t = d - -2. Is t < 10?
True
Let c = 36619/4 - 9074. Let w = -81 + c. Is w greater than or equal to -2/51?
False
Let k be (-10571)/(-99) + 4/18. Let s = 748/7 - k. Which is greater: s or 0?
0
Let t = -104 + 87. Let g be (t/(-51))/((-2)/(-108)). Is 18 >= g?
True
Suppose -3*