). Do b and -30 have different values?
True
Let t = 655/2 - 329. Which is smaller: t or 9?
t
Let h be ((36/105)/2)/(189/135). Which is smaller: h or -1?
-1
Let a(n) = 2*n**3 - 3 - n**3 - 2*n + 2. Let h be a(2). Let v be 2/((-26)/10 + h). Is 5 at least v?
True
Suppose 5*v = 3*y - 13, 14*v - 5*y = 9*v - 15. Is -21/20 <= v?
False
Suppose 11*x - 13 = -2*x. Suppose -6*b + b = 4*m - 5, b = -5*m + x. Is -1/18 less than or equal to m?
True
Let m = 147 - 151. Which is smaller: 1/24 or m?
m
Let q(y) = y**3 - 21*y**2. Let s be q(21). Is s greater than -0.089?
True
Let a = 0.92 + -1. Let z = 26.42 - 26.5. Let r = z - a. Is 1/5 less than or equal to r?
False
Let m be (2/33)/(38 - 50). Is m greater than or equal to 1?
False
Let q(c) = -2*c**2 + 2*c + 53. Let t be q(0). Let z = 36 - t. Which is smaller: z or -16?
z
Let l be (1 + 0)/(9 + -10). Let s be (3 + -2)/((-2)/8). Let p be s/(-14) + 12/(-189). Which is smaller: p or l?
l
Let n = 866 + -618. Which is smaller: -1/3 or n?
-1/3
Suppose 89 = 2*h - 5. Let p = 422/9 - h. Which is greater: p or -1?
p
Suppose 0 = -b - y - 3, -3 = -2*b + 5*b + 5*y. Let p be b + -6 + -1 + 3. Is p greater than or equal to -11?
True
Let d be 1*1/(-1 + 64/62). Suppose 6 = 5*c + d. Is -1/3 greater than or equal to c?
True
Let i = -100 + 99.56. Is -5 at most as big as i?
True
Suppose 0 = -3*a - c - 12 - 7, 2*a + 13 = -c. Suppose -2 - 8 = 2*w. Is a > w?
False
Let m = 2/10369 - 62440/1171697. Let f = 460/4407 + m. Which is bigger: f or 0?
f
Suppose -4 = 5*i + 2*k + 39, -2*k = 2*i + 22. Let j be i*2*3/(-6). Suppose -67 = d + 3*d - x, d = -3*x - j. Is -17 less than d?
True
Let k be (-10)/(-1)*2/388. Let l = k + -893/388. Suppose 0 = -5*p - 2*v, -v + 7 = -3*p + 2*p. Which is smaller: l or p?
l
Let s(q) = -16*q - 463. Let m be s(-29). Which is smaller: m or 25/81?
25/81
Let b(k) = -12*k - 5. Let d be b(4). Let p be (53/(-4))/((-3)/(-12)). Is p < d?
False
Let h = 63 + -52. Which is bigger: h or 13?
13
Let r be 72187024/342 + (-2)/9. Let k = r + -211022. Let w = k - 51. Which is greater: w or 1?
1
Let o(r) = 179*r + 40. Let u be o(-1). Is u >= -140?
True
Let u be (1/19*-1)/((-16)/(-2256)). Is -8 at least as big as u?
False
Let u(q) = -3*q - 7. Let y be u(-6). Let t be (-49 + 15)*(1 - 6/4). Let c = t - y. Which is smaller: c or 5?
5
Suppose -4*g = -5*j - 41, -12 = -5*g + 2*j + 18. Let c be (-1)/((16/(-12))/g). Which is bigger: 2 or c?
c
Let m be ((-184)/(-3))/(16/72). Suppose -c - m = -3*c. Let o = 1244/9 - c. Which is smaller: -2/3 or o?
-2/3
Let z be (24/8)/(0 + -1). Let n be (-1)/z + (-70)/21. Is -4 at least as big as n?
False
Let g = 5 - 4.9. Suppose 0*j + 4*j - 16 = -2*u, -5*j = -4*u - 20. Let s be j/15*24/(-16). Which is greater: g or s?
g
Let y be 4 + ((-49)/357)/(5/(-15)). Which is smaller: 4 or y?
4
Let s = -8 - -23. Let l = 14 - s. Which is bigger: l or -0.05?
-0.05
Let r = -1/234 + -301/2574. Is r equal to -1?
False
Suppose -n = -0 - 12. Suppose 4*r + 12 = -n. Let m = 5 + r. Which is greater: m or -3/13?
-3/13
Let t = 20 + -18. Suppose 5*x + t*d - 5*d = 0, 0 = 5*x + 5*d. Is -4 smaller than x?
True
Let l = 1.8 - 2. Is 24 greater than or equal to l?
True
Let z = 1076 - 1159. Is -83 not equal to z?
False
Suppose d + d = -16. Let i(r) be the second derivative of r**5/20 + 2*r**4/3 - r**2 - 11*r. Let c be i(d). Is c smaller than 0?
True
Let n = -0.839 + -0.161. Which is smaller: -524 or n?
-524
Let w = 5244 - 5236. Let a(l) = -2*l + 4. Let q be a(-3). Which is greater: q or w?
q
Suppose 2*n + 4 = 3*n + x, 0 = -5*n + 3*x + 12. Let r = n + -15. Let o be 66/(-9)*(-18)/(-12). Is o smaller than r?
False
Let r(d) = -d**2 + 13*d + 19. Let x be r(14). Suppose 0 = -5*n + 5*o - x, -2*n - 23 = n + o. Is -6 <= n?
True
Let y(n) = -n**3 - 9*n**2 + 7*n + 43. Let o be y(-9). Is -4 <= o?
False
Let t(x) = -x**3 + 8*x**2 + x - 10. Let b be t(8). Let d be 12/(-18)*21/b. Let s = 39 - 32. Is d at most s?
True
Let b(f) = f**2 + 4*f - 5. Let u be b(-6). Let m(s) = s**2 - 16*s + 23. Let o be 1*(-60)/(-2 + -2). Let r be m(o). Which is smaller: r or u?
u
Let y = -290.7 + 291. Which is smaller: y or -21/4?
-21/4
Let r = -53298/37 - -1440. Is 0.1 greater than r?
True
Let h = 2344/5 - 119524/255. Is h greater than 0?
True
Let q be -6 + ((-1736)/(-44))/7. Which is greater: q or -1/2?
q
Suppose -5*h + w - 11 = -2*w, -h + 8 = -4*w. Let r be (2/114)/(h/(-36)). Which is greater: -1 or r?
r
Let j(p) = p**2 + 16*p + 31. Let k be j(-16). Which is smaller: 21 or k?
21
Let h(v) = v**3 + 6*v**2 - 8*v + 9. Let f(q) = -4*q + 8. Let g be f(2). Let r = -7 + g. Let s be h(r). Which is smaller: s or 14?
14
Let h be (9 - -3)*(1 + (-12)/(-2)). Is 85 >= h?
True
Suppose 3*z + 8 = 4*z. Suppose 0 = -4*n + z*n - 8. Let v be (n/(-4))/((-2)/(-4)). Do 1/15 and v have different values?
True
Suppose -3*x - 4*r + 190 = -306, -2*x - 3*r + 332 = 0. Is 158 bigger than x?
False
Let r be ((-1030)/80 + 13)*(-44)/(-35). Is 2/5 not equal to r?
True
Let y = -16 - -23. Suppose -y = 3*m + 4*m. Are -4/13 and m nonequal?
True
Let h = -13831/226 - 34/113. Is -61 smaller than h?
False
Let a(f) = 20*f - 4. Let o be a(1). Suppose 3*w + 2*v = -o, w - 3*v - 4 = v. Which is smaller: w or 0?
w
Let z = 71 + -200/3. Which is smaller: z or 3?
3
Let f be (-3)/6*-8*(-1 - -27). Let l = f - 92. Which is greater: 105/8 or l?
105/8
Let s be (57/9*-3)/1. Which is smaller: s or -88/5?
s
Let v = -50 + 70. Suppose -4*l = -8*l - v. Which is smaller: 1/5 or l?
l
Let b = 2.34 - 2.24. Which is smaller: b or 50?
b
Let b be 5 + 2 - 5766/822. Does 0 = b?
False
Let s = -2 + 1.7. Let t = 18.2 + -2.2. Let j = -17 + t. Is j less than s?
True
Let q(t) = -t**2 - 6*t + 7. Let a be q(-7). Suppose -g = 7 - 14. Suppose -l + 2*z + 3 = -g, -2*l + 15 = -3*z. Is a at most as big as l?
True
Let a be (-1 - 0) + (-10)/5 + 8. Suppose 5*x = v + 2*v - 4, -a*v + 18 = 3*x. Is -5 <= v?
True
Let j be 2 + (-2)/6*-3. Let v = -2018 - -22228/11. Do v and j have the same value?
False
Let x = 10 - 6. Suppose -x*y + o - 20 = -0*o, 0 = 2*o - 8. Let d be (-4)/(-56)*1*y. Is d bigger than 5?
False
Let p(i) = i**3 + i**2 - 4*i - 3. Let r be p(-2). Let l be r + -11 + (-13 - -17). Is -13/2 >= l?
False
Let n be 6/4 - 65/10. Let m = n + 21/4. Which is bigger: -19 or m?
m
Let f = -26391 - -2401621/91. Let k = 2/13 - f. Let y = -2 - 0. Which is greater: k or y?
k
Suppose -k + 12 = -5*k. Let d = 41 + -124/3. Is d greater than or equal to k?
True
Let i be ((-18)/15)/((-12)/40). Let z = -359853/76 - -4735. Let x = z + 3/19. Is x equal to i?
False
Let f(z) = -2*z**2 + 25*z - 11. Let c be f(12). Which is greater: c or 2/111?
c
Let n be 2 - (225627/(-53))/(-3). Let i = n - -1417. Let w be 1*(-2 + (-3 - -6)). Which is smaller: i or w?
i
Suppose -p - 5*h + 7 = 0, -p + 0 = -3*h + 9. Which is smaller: p or 14?
p
Suppose 30*a = 26*a - 64. Let q be -2 - (30/a + (-2)/6). Is 0 at least q?
False
Let u be -3*1*2/3. Let p be (u/(-8))/((-8)/6). Let o = -6636 - -6637. Is o <= p?
False
Let f be (-1)/3*(-80 + 95). Is f greater than 5?
False
Suppose -4*r + 1 = 5. Let s be (-1)/(-8)*r*-4. Which is smaller: 2 or s?
s
Suppose -14*a + 3*a - 22 = 0. Let z be (-39)/(-54) - (a - (-5)/2). Which is smaller: -1 or z?
-1
Suppose -2*o = -o - 712. Let t be 2/(-19) - o/(-2432). Which is smaller: -1 or t?
-1
Let v = 47 - 234/5. Let f = 21 - 24. Let s be -3 + 6 + f + -1. Are s and v equal?
False
Let f = -67 + 11. Let n = f - -55.9. Is n smaller than -6?
False
Let u(f) = -f - 1. Let s(w) = -w**2 + 11*w - 1. Let j(b) = -s(b) - 4*u(b). Let i be j(7). Suppose 5*d - 34 = -2*o, 3*d - i*o - 15 = 24. Which is bigger: d or 9?
9
Let y(w) = w**2 - 12*w + 16. Let v be y(9). Let d be 2/v + (-153)/(-660). Is d at least -0.2?
True
Let x(s) = -s**3 - 6*s**2 + 8*s + 8. Let r be (-4)/(-24) - (-86)/(-12). Let m be x(r). Which is bigger: m or 1/46?
m
Let u = -32708 - -29077406/889. Is u less than -1?
False
Let m = 84 + -138. Let o be m/(-15)*(-25)/(-70). Is o smaller than 1?
False
Suppose -4*i + 11 = l, 3*i + 4*l - 2 = 2*l. Let z be -8*2/8*i. Let m be -14*(-3 + 21/6). Which is bigger: z or m?
m
Let b = -1958711/7410 + 1/7410. Let j = 267 + b. Are 3 and j unequal?
True
Let s = 370 - 369.5. Is 48 less than or equal to s?
False
Let b = 0.46 - 0.518. Do 9/4 and b have the same value?
False
Let f be 4/(-14) + 36/(-70). Let x = -0.93 +