 t = d + m. Is t bigger than 2?
False
Let c = 626 - 1883/3. Is c greater than or equal to -2?
True
Let l = 18 - -19. Let z = l + -22. Which is smaller: z or 16?
z
Let y be -5 + -7 - 8 - -4. Is y < -18?
False
Suppose -4*g = -2*g - 126. Suppose m + 5*r = 25, 2*r + r = -3*m + g. Is 37/2 bigger than m?
False
Let b = 906 - 904. Are 23/13 and b nonequal?
True
Let o be 9/(-2)*(-76)/(-57). Let d be o/(-8) + 441/180. Do 2 and d have the same value?
False
Let b be (-104)/720 + (-4 - 42/(-10)). Is b smaller than 0?
False
Let q = 119 + -119. Let d be (-21)/(-9)*14/(-49). Is d > q?
False
Let r = 394.68 - 399. Which is smaller: 0 or r?
r
Let f be (6/4)/((-2)/(-4)). Let r = 0.4 - 1.4. Is r < f?
True
Let i(j) = j**2 + 4*j + 3. Let y be i(-2). Let c be 20/(-10) + 1/y. Let f be 2/(-3) - 4/c. Which is greater: f or -2?
f
Let z(l) = -l**3 - 3*l**2 + 3*l - 4. Let s be z(-4). Let j be s - -1 - (2 - 1). Is 6/13 >= j?
True
Let y = 4226/5 + -840. Is 5 >= y?
False
Let v = -835 - -834.9. Which is smaller: v or -33?
-33
Let v(t) = -2*t**2 + 4*t + 5. Let h be v(5). Let b be -1 + (-5)/(h/35). Suppose -k - 1 = -5. Is k >= b?
False
Suppose -1716 = -3*p - 3*b, -2*p + 0*b + 1144 = -4*b. Let v = -2305/4 + p. Which is bigger: -3 or v?
-3
Let a be 2/12 + 72085/(-132). Let r = -546 - a. Which is smaller: 1 or r?
r
Let a = -5.21 + 0.21. Let b = -3.8 - a. Are 0 and b equal?
False
Suppose 3*j - 11 = y, 3*y - 4*j = -6*j. Let b be ((-4)/(-6))/(16/(-168)). Let w be ((-364)/(-16))/b + 3. Which is bigger: w or y?
w
Let i = 37.7 - 37.6. Is 38 less than or equal to i?
False
Let f = 3105 - 21775/7. Is -6 at least as big as f?
False
Let p be (-140)/8*(-4)/7. Let x be -6 + 10 - 2/p*11. Is 1 less than or equal to x?
True
Suppose 0 = m + 2*d + 1, 2*d = 4*m - 0*m + 14. Suppose -3*a + 5*g = 17, 0*g + 7 = 3*a + g. Is m != a?
True
Let i = 21 - 20.68. Let j = 0.12 - i. Which is smaller: j or 2?
j
Let u = -367.4 + 161.4. Are 0.2 and u equal?
False
Let k = -11.2 + 10. Let g = -3.5 - -5.1. Let o = k + g. Which is smaller: o or 1?
o
Let m = 5 - 3. Suppose m*x - 2*s + 7*s = 17, 3*x + 4*s = 15. Let v be 1 - -2*14/(-20). Is x > v?
True
Let j(y) = -2*y + 34. Let m be 77/28*(-1 + 5). Let o be j(m). Let x be (o/16)/(50/8). Are x and 0 equal?
False
Let o be (-2)/(32/(-40)*(-1)/8). Let r be -2*(-2)/o - (-177)/(-15). Which is smaller: r or -10?
r
Let m = 31226/11 - 2842. Which is bigger: m or -2?
-2
Suppose -3*w = -0*w + 2*z + 20, 5*w = -z - 24. Let t(a) = a**2 - 8*a - 33. Let c be t(-3). Let u be (12/w)/(c + 7). Is u at least as big as 0?
False
Let y = 341 + -342. Let t = -2/3 + 17/21. Which is smaller: t or y?
y
Let f be (468/(-300))/(1/5). Which is smaller: f or -8?
-8
Let n = 11.05 + -12. Let z = 0.15 + n. Is 1 at most z?
False
Suppose x = 21 - 17. Let i be 8/((-5)/(-20)*x). Which is greater: 4 or i?
i
Let u be 63/(-55) - (-18)/(-45). Is -1 > u?
True
Let q = 221 - 219. Which is smaller: q or 0.78?
0.78
Let x be (-30)/25*(-15 + 30). Let r = -9 + -8. Is x at most as big as r?
True
Let s(o) = 2*o + 4. Let r be s(-2). Suppose 0 = 4*a + 5*c - 18, -3*a + c - 4 = -8. Which is greater: a or r?
a
Let h(k) = -k**2 - 5*k - 11. Let x(u) = u**2 + 6*u + 12. Let g(c) = 3*h(c) + 4*x(c). Let j be g(-7). Suppose -j = n - 2. Is 5 <= n?
False
Let g = 70313/1162 + -6/581. Is g >= 62?
False
Suppose -d = -5*d + 20. Suppose -3*y + t - 2 = 0, d*y + 4*t + 12 = 37. Let h = 47 - 45. Is y greater than or equal to h?
False
Let o = -1392 + 1358. Is o less than -35?
False
Let i = 36.9 + -34. Let n = -2.9 + i. Is 33 smaller than n?
False
Let z be 3*(-1 + (-4)/4). Let r be z/9 + (-12)/(-20). Suppose 0*m = -3*m. Which is smaller: m or r?
r
Let t = 3333/2 - 9337/6. Which is smaller: 110 or t?
110
Let w = -11 + 16. Suppose -d + 3 + w = 0. Let k be 14/d + (-3)/2. Which is greater: k or 0.08?
k
Suppose -5 = -g, v - 4*v + 4*g = 1091. Is v bigger than -355?
False
Let n = 44.82 + 0.08. Let h = n + -26. Let a = h - 19. Which is smaller: 1/24 or a?
a
Let f = 53 - 99. Let i = f + 47. Which is smaller: i or -1/40?
-1/40
Let o be (-2)/1 + 63 - (-6 + 4). Is o smaller than 63?
False
Let g = 2.3 - -7.7. Suppose -3 - 1 = m, -2*r = m + 2. Which is greater: r or g?
g
Let j = 35 - 23. Suppose -j = 4*w + 56. Let x = -28 - w. Do -10 and x have the same value?
False
Let l = -8 - 1. Let h(r) = -r**2 - 8*r + 141. Let v be h(9). Which is greater: v or l?
l
Let x = 19 - 16. Suppose x = -4*s - 1. Does 2/5 = s?
False
Let j be 11/(-33) + 4366/14490. Let n = -2/161 + j. Which is bigger: -2/9 or n?
n
Suppose 5*j - j - 292 = 0. Suppose 4*f - 2*v + 38 = -32, 0 = 4*f - 5*v + j. Which is smaller: -18 or f?
-18
Let a = -2/7889 + 16480/2769039. Which is greater: a or 1?
1
Suppose 0*r = -r - 7. Let y(f) = -f**3 - 8*f**2 - 6*f + 6. Let j be y(r). Which is greater: 13/5 or j?
13/5
Suppose 12*l + 187 + 149 = 0. Which is smaller: -1/5 or l?
l
Let x = -3615/11 - -329. Let c = 6 - 4. Suppose -3*k + 2 = s, 4*k + c*s - 4*s = 6. Which is greater: k or x?
k
Let z(r) = -r**2 + 9*r + 10. Suppose 2*c + 1 = 5. Let q(x) = -x. Let y(h) = c*q(h) + z(h). Let d be y(8). Which is greater: 1 or d?
d
Suppose -q + 3 = 7*v - 8*v, -q + 4*v = -9. Suppose -2*p = -0*p + 1334. Let w = p + 20674/31. Which is bigger: w or q?
q
Let z = -12.7 - -0.7. Let i = z + -8. Let n = i + 20.1. Is n greater than or equal to -0.02?
True
Let t = -5.379 - 0.271. Which is greater: -0.1 or t?
-0.1
Suppose 0 = 4*t - 5*g - 71, 3*t + 4*g + 76 = 7*t. Suppose t = 14*p - 17*p. Is -7 smaller than p?
False
Let x = 2/6653 + 6053/1995900. Which is greater: x or 1?
1
Let c = 18763 - 18763. Let l be (-95)/(-93) - (-2)/(-2). Let p = l + -97/186. Which is smaller: c or p?
p
Let p(h) = 2*h + 3. Let s be p(-9). Let x be 6 - (1 - -7) - s/8. Which is smaller: x or -2?
-2
Suppose -g - 4 = 3*l + 20, -4*g - 12 = 0. Let z(c) be the third derivative of -c**4/24 - 3*c**3/2 + 2*c**2. Let b be z(l). Is b less than or equal to -2?
True
Let u be 1*6/(-2) - 232/(-40). Is 4 >= u?
True
Let m be (24/21 - 1) + -1. Suppose 5*y = 4*j + 4, 6*y = y - 4*j - 4. Which is bigger: y or m?
y
Let j = 60307 + -73152385/1213. Is -1 at most j?
True
Let w be (0 - 1)*0/2. Let x = -10 + 14. Suppose -4*l - 7*q + 2*q = 24, 15 = l - x*q. Are l and w non-equal?
True
Let s = 7/2 + -37/10. Let q = 0.05 - -0.15. Which is greater: q or s?
q
Let o = -0.253 - -0.233. Is o greater than or equal to -0.3?
True
Let n = -56 + 59. Suppose -3*l + 5*s = -0*l + 19, n*l = s - 23. Is -7 less than l?
False
Let j = 144 - 174.8. Let a = j + 31. Let y = -9 - -14. Do y and a have different values?
True
Let z(y) be the second derivative of 2*y**3/3 + 17*y**2/2 + 13*y. Let l be z(-12). Is l equal to -33?
False
Let r = 58 + -45. Let m = 12.7 - r. Which is smaller: 2/17 or m?
m
Let z be (408/235)/(-2) - 8/(-20). Is -1 >= z?
False
Suppose 56 = -5*m - q, 28 = -2*m - 2*m - 5*q. Let k = m + 25/2. Let l(c) = -3806*c - 7615. Let u be l(-2). Is u < k?
True
Let k = 1429/119341 + 3/911. Which is smaller: -1 or k?
-1
Let q = 20 - 61/3. Let i = 2999 + -2998. Are q and i equal?
False
Let g = -279 + 275. Let m = -29.4 + 21. Let w = m + 8. Is g > w?
False
Let j = 1446761510/801 + -1806195. Let i = 3/89 - j. Which is smaller: 1 or i?
i
Suppose -m - 2*d - 128 = 0, m = -4*m + d - 629. Let r = -125 - m. Which is bigger: 3 or r?
3
Let m = 13 - -31. Let u be (-1)/(1/(-4) + 7/m). Is u >= 9?
True
Let h = 0.5 + -4.5. Let r = 3.93 + h. Let o = 0.27 + r. Is -6 equal to o?
False
Suppose 4*m - 36 = 10*q - 14*q, 4*q = 4*m + 52. Let w(v) = v**3 - 3*v**2 - v - 5. Let a be w(4). Suppose 3*x + a = 40. Is q at most x?
True
Let x = -51 - -60. Suppose -x*f - 396 = -3*f. Which is smaller: -65 or f?
f
Suppose -y + 10 + 87 = 3*q, 5*q + y - 163 = 0. Suppose 0 = -h + 3*l + 27, h - 3*l + 6*l = q. Suppose -6*d = -3*d + h. Is d != -9?
True
Let v = 1630 + -1810. Is v not equal to -723/4?
True
Let d = 24434 + -1441639/59. Which is smaller: d or 0?
d
Let h = 872713 + -180652930/207. Let f = h - -59/9. Which is bigger: 1 or f?
1
Let b(t) = -24*t - 22. Let h be b(-4). Let z be (8 - h) + (5*-1 - -2). Is z greater than -70?
True
Let v = -153/2 - -76. Suppose 4*x - 54 = 10. Is v less than or equal to x?
True
Suppose -3*c + 4*h = -76, -2*h = -5*c - 0*h + 150. Suppose 2*v + c = a, -3*a = 5*v - 47 - 16. Suppose -34 = -3*u + a. Are u and 20 non-equal?
Fals