s smaller: 0 or b?
0
Let f be 28/6*((-294)/(-4))/(-1). Is f at least as big as -342?
False
Let d be 303/2 + 222/(-148). Is d greater than 149?
True
Let t = -16 - -10. Let m be (-6)/((-12)/(-10)) + 3. Let c be 1/m + (-48)/(-24). Which is greater: c or t?
c
Let q be 22/6 - 2/(-6). Suppose 5*p + 0*j + 5 = 5*j, q*p + 40 = -5*j. Let t be 2/(-6)*(-126)/(-10). Is p < t?
True
Suppose 0 = -u - 4*v - 43, 0 = 3*v - 3. Is u < -44?
True
Let f be -138*1/(-8) - 0. Let b = 159/8 - f. Which is bigger: 2 or b?
b
Let u = -494 - -516. Is 0.15 greater than u?
False
Suppose 0*n + 3*n = 3. Let r(i) = 21*i + 3. Let s be r(1). Suppose -3*a - 23 = h, 0 = 5*a + 5*h + n + s. Which is smaller: a or -15/2?
a
Let r = 15 + -8. Let c(o) = 7*o + 1. Let v be c(-1). Let j(q) = -q**3 - 5*q**2 + 6*q + 7. Let k be j(v). Is r >= k?
True
Let m be (6/(-8))/((-459)/(-108)). Let u be -1*(1 + (1 - 1)). Which is smaller: u or m?
u
Let u(j) be the third derivative of 1/60*j**5 - 4*j**2 + 0 + 0*j + 4/3*j**3 + 7/24*j**4. Let z be u(-6). Which is smaller: 3 or z?
z
Let t be (-3 - -1)/2 - -9. Let i(c) = c**2 - 8*c. Let j be i(t). Is j bigger than 0?
False
Let d = 72 + -72.1. Let l = -0.026 - -22.026. Let w = l - 22.09. Is w less than or equal to d?
False
Let h = -687/85 + 36/5. Which is bigger: 0 or h?
0
Let j(w) = -3*w**3 - 16*w**2 - 7*w - 3. Let o be j(-5). Let h be 1/o*105/(-18). Which is smaller: h or 2/3?
h
Suppose -8*i + 9 = -5*i. Let j = 5823 - 395983/68. Let g = 42/17 - j. Are i and g nonequal?
True
Let h = 24 - 25. Let t be 3/(9/1)*h. Suppose -3*g + 2 = -2*d - g, -2*d = 5*g - 5. Are d and t equal?
False
Let j = 0.221 + -0.121. Let c be (-24)/15*(-2 + 4). Is c != j?
True
Let d = 54.5 + -54.6. Which is smaller: d or -73?
-73
Let o(k) = 0*k + 19 - 3*k + 5*k - k. Let s be o(-15). Suppose 4*a = 2*a - s. Which is greater: a or -4?
a
Let t(c) = 56*c + 6. Let d be t(-2). Let j = d + 847/8. Suppose 5*s = 6*m - m - 5, -2*s - m = 2. Which is bigger: s or j?
j
Suppose 0 = -4*q + 5*w, 9 = -q - 0*q - w. Let p = 184.8 + -185. Is q at least as big as p?
False
Let s = 1/3344 - 13707/1106864. Let t = 450/17543 - s. Are 1 and t non-equal?
True
Let v = 10 + -21. Let x = v - -11. Let u be 18/(x + -3 - -1). Which is smaller: u or -8?
u
Let q = -164 + 57. Let j = q - -99. Suppose -3*a - 5*l - 29 = 0, 3*a + 18 = a - 2*l. Is j != a?
False
Suppose 4*l = 3*f + 93, 0 = l - 0*l - 5*f - 19. Suppose r - 5*r = -l. Suppose 0 = -r*s - 4 + 10. Is 2/11 at most as big as s?
True
Let y be (43/(-5))/(95/25 - 4). Let z = y - 51. Let x = 0 - 0.1. Is x < z?
False
Let s be 2/2 - (-7384)/23. Let v = -322 + s. Let j = v + -49/69. Which is smaller: 0.1 or j?
j
Suppose -15 = -z - 6. Suppose 2*f = 2*n + 18, -n - 5*f - 21 = -0. Let h be (-1)/(-3)*(z + n). Which is smaller: h or 4?
h
Suppose n + 19 = 18. Which is bigger: 67 or n?
67
Let a = 471/2 - 40979/174. Are -1 and a nonequal?
True
Suppose 59*j - 276 = 55*j. Is 69 less than or equal to j?
True
Let q be (-2 + 7/3)*36/(-16). Is 48 at least q?
True
Suppose 3*h = 5*s + 8*h + 435, 5*s + 431 = -3*h. Is s less than or equal to -87?
False
Let t = -3376/5 + 719. Which is bigger: t or 43?
t
Let y(l) = 63*l**2 - 18*l + 79. Let z be y(3). Which is smaller: z or 1/4?
1/4
Let k = 160/11 + -162/11. Suppose 5*g - 6 = 2*g. Let m = g + -2. Is m bigger than k?
True
Let v be (1 + 908/(-906))/(2/12). Which is smaller: v or -2?
-2
Suppose 0 = -6*k + 5*k + 10. Is k at most as big as 11?
True
Let z = 695 - 695. Which is smaller: -22/41 or z?
-22/41
Let f(p) = 3*p**2 + 9*p - 21. Let o be f(6). Suppose -o = -4*a - 53. Is a less than or equal to 21?
False
Let l be 4/10 + (-442)/5. Let a be 1 + 0 - (45 + -46). Let b be a/(l/148) - -3. Which is bigger: b or 0?
0
Let a = 5174/301 + -120/7. Let d = -7 + 13. Suppose 0 = -4*s - d + 2. Is s bigger than a?
False
Let k be -3 + (-796)/20 + 3. Are -39 and k nonequal?
True
Let x be (87/6 + -1)/((-3)/(-4)). Let y be 18/(-5) + 2/(-5). Let d be (-2 + y)/(x/4). Which is smaller: d or -2?
-2
Let h(r) = -r**2 - 10*r + 23. Let l be h(-12). Which is smaller: l or 6/53?
l
Let o(g) = g**2 - g - 1. Suppose -2*n = -n - 3*c + 14, 2*n - 5*c + 28 = 0. Let r = n - -13. Let h be o(r). Is 1 >= h?
True
Suppose 3*i = 6 + 6. Suppose i*v + 2*v = 48. Suppose v + 18 = -2*a. Which is smaller: a or -14?
-14
Suppose 3*l = l + 26. Suppose 2*f = z + l, 2*z + 3*f - 3 = -15. Which is smaller: z or -10?
-10
Suppose -5*i - 19 = 4*y, -i - 6 = 3*y - 0. Is -18/13 < y?
True
Let b(o) = o - 10. Let d be b(10). Which is smaller: 1/109 or d?
d
Let r = -3086 - -3089.4. Is r bigger than 41?
False
Let o be (-2 + 1)/(6/12). Let g be 5/(-70)*-16 + o. Do g and -1 have the same value?
False
Suppose -8*p = 3010 + 1270. Which is greater: -534 or p?
-534
Let l = -0.38 + -45.62. Suppose -15843*v = -15853*v + 10. Is l greater than v?
False
Let n = -444030 - -3102088/7. Let p = n + 872. Is -4 <= p?
True
Suppose -15 = -8*p + 3*p + t, 4*t = 0. Suppose p*g + 1 = -5. Let x = -1 - 1. Is x not equal to g?
False
Suppose -2*t + 2*q + 30 = -14, -4*t = -q - 79. Suppose 0 = -o - 0 + 5, r - 5*o = -t. Which is smaller: r or 11?
r
Let s = 27.8 - 30. Which is bigger: s or -3?
s
Let g = 0 + 7. Let d(z) = -6 - z**2 + 0 + 9*z - 1. Let i be d(g). Are 0 and i non-equal?
True
Let g(m) = -10 + 6*m - 14 + 5 + 2*m. Let w be g(0). Suppose -81 = 3*t - 21. Is t < w?
True
Let h = 16 - 9. Let n(a) be the second derivative of -5*a**3/6 + 8*a**2 - 2*a - 45. Let d be n(h). Which is greater: d or -18?
-18
Let t = 3942 + -4103.7. Let c = t + 161. Which is smaller: c or 1?
c
Let d = -5239 + 508147/97. Which is smaller: d or 1/4?
d
Let d be (-8)/(8/(-4) - 0). Let v be 2/(-11) - (-204)/33. Is d greater than v?
False
Let o = 45 - 24. Suppose 2*z = 2*k + 2, k = 5*z + 4*k - o. Suppose -3*q + 8*m - 4*m = 20, -4*q - 15 = -z*m. Is 3 smaller than q?
False
Suppose -26*k + 16 = -22*k. Suppose 0 = -4*j + 5*w + 6, k*j + 2*w = -14 + 6. Is j >= 1/29?
False
Suppose 2 = 2*p - 0. Let d be (-32)/(-10) - (20/4 - 4). Do d and p have different values?
True
Let d(r) = 11*r**2 + 6. Let n be d(3). Let c be -8*3*(-5)/n. Is -0.2 less than c?
True
Let t be ((-2)/(-8724))/((-23)/(-4) - 6). Which is smaller: t or 0?
t
Let t = 1018 + -1019. Which is greater: 323 or t?
323
Suppose 0 = 4*c - 3*c - 2. Let d be -16 - (0 + (0 - 1)). Let l be (9/(-6))/(d/20). Are c and l equal?
True
Suppose a - 5*v + 47 = 0, 127 = 4*a - 7*a + v. Which is smaller: a or -4?
a
Suppose 5*s + 20 = 18*l - 23*l, 4*l + 2*s + 16 = 0. Which is greater: 0.101 or l?
0.101
Suppose -4*n - 5*s - 40 = 0, 0 = -7*n + 4*n - 3*s - 30. Do n and -21/2 have different values?
True
Let l(k) = -k - 3. Let i be l(-3). Let o = -1/795 + 1613/18285. Does i = o?
False
Suppose 3*w + 4*f - 17 = 0, 2*w + w - 24 = 3*f. Suppose 0 = 4*t + 9 - 29. Is t less than w?
True
Let w(a) = 4*a + 21. Let c be w(-6). Let i be ((-4)/(-8))/((-1)/4). Which is smaller: c or i?
c
Let g be 26466/(-26454) + 6 - 5. Is g at least as big as -1?
True
Let p = 21.46053 + 0.02947. Let k = p + 0.51. Does k = 1/3?
False
Let q be 5 + -7 + (-3 - -90). Suppose 6*l = l - q. Let r = l + 16. Which is smaller: -8/11 or r?
r
Let q = -2/103 - 9571/412. Is -23 greater than q?
True
Suppose 5*f - 2 = 3. Let h = -566 + 554. Which is greater: f or h?
f
Suppose -4*g + 2*g = 0. Let f = 11897/418 + -2171/77. Let a = f - 3/14. Is g at least a?
False
Let g be (3 - (-8 - 3))*2. Let i be 2 + -1 + (-16)/2. Let j be (-2)/(-8) + i/g. Which is greater: 7 or j?
7
Let w be (-7 - -4 - -1)/(-1 - 1). Suppose 2*k - 17 = -4*p + w, -5*p + 19 = -k. Which is smaller: -1/94 or k?
-1/94
Let x(s) = -8*s - 35. Let d be x(-16). Let b = d - 94. Is -2/15 at least b?
True
Let k = -7.15 - -7. Let r = 10.9 - 18.8. Let j = -8 - r. Which is greater: j or k?
j
Let v be (-813)/56 + (-11)/(-44). Let l = v - -99/7. Is l greater than or equal to 1?
False
Suppose -6*b + 2 - 8 = 0. Let p = -5/91 - 121/91. Is p greater than b?
False
Suppose 3*d - 29 + 7 = -p, 5*d - 82 = -3*p. Which is greater: 2 or p?
p
Let l = -1/1780 + 25813/5340. Let b = -5 + l. Let m = -2.43 - -1.43. Is b bigger than m?
True
Let q = -50 - -124. Let j = -69 + q. Is 5 less than j?
False
Let j(n) = -18*n - 742. Let i be j(-20). Is -384 at most i?
True
Let q be -1*((-160)/(-156) - 1). Which is greater: q or 1?
1
Suppose 3*d = -3 + 18. Suppose -2 + 17 = 