?
True
Let b be (-1)/4*85 + 15/60. Let g be 6/(-152)*(b/(-9) - 3). Which is bigger: g or 1?
1
Let m(b) = b**3 - 12*b**2 - 14*b - 3. Let a be m(13). Let s be (1 + 0)/((-8)/a). Suppose -3*p - 2 = -s*p. Is -7/5 at least as big as p?
True
Let u be 28/2 - (-4 + 0). Let j be ((-2)/u)/((-2)/12). Suppose -2 - 2 = -2*a. Which is greater: a or j?
a
Let g be -16 + 16 + (0 - (-6)/15). Which is smaller: g or 1.87?
g
Suppose 0 = -b - 2*b. Suppose 5 + 0 = -n + 3*t, -3*n + 4*t - 5 = 0. Suppose n + 11 = 4*x. Which is greater: x or b?
x
Let z = -1458 - -1116. Which is bigger: z or -343?
z
Let r(k) = -k**3 + 4*k**2 + 2*k - 4. Let h(a) = -a**2 - 3*a + 4. Let p be h(-3). Let z be r(p). Let c be (-5)/(10/z) - -3. Is 2 smaller than c?
False
Suppose -3*i - 27 = -4*w, 4*w - 18 = 2*i + 2*w. Let f be i/26 - (300/(-78) + 4). Which is smaller: -5.8 or f?
-5.8
Let c = -8 - -11. Let r(a) = -8 + 1 + c*a - 2 - a. Let l be r(6). Is 8/5 at most l?
True
Let s be ((3 - 0)*4)/(12/(-8)). Let u = -402 + 789/2. Is u smaller than s?
False
Let a be 4/16 - 3/20. Which is smaller: a or 1?
a
Suppose -4*m = -3*k + 5 + 3, m - 21 = -5*k. Suppose -5*b - 14 = -o - 62, 4*o = -4*b + 24. Let p be (4/(-6))/(3/b). Which is greater: p or m?
m
Suppose -9*m = -6*m - 6. Let r(q) = -q**2 + 3*q - 1. Let l(g) = g - 1. Let k(d) = 2*l(d) - r(d). Let t be k(m). Do 1/17 and t have the same value?
False
Suppose -14*p = -24*p - 110. Which is smaller: p or 3?
p
Let j = -427 - -426. Are j and -2/499 equal?
False
Let w(c) = -c**2 - 7*c - 6. Let f be w(-6). Suppose -5*n + 6 = -3*t + 15, -2 = 4*n - 5*t. Let m be (1 + f/n)*-1. Does 9 = m?
False
Let m = 14632415/1384281 - -6180/4157. Let t = -109/9 + m. Let r(n) = -2*n**2 + 11*n + 5. Let g be r(6). Which is smaller: t or g?
g
Suppose -r - 5*h = -31, 4*r - h - 11 = 8. Let s be r + -5 + 2/5. Suppose d = 2*d - 1. Which is greater: s or d?
s
Let x = 27 - 25.75. Let m = x - 0.25. Which is smaller: m or -2?
-2
Suppose 4*n = -n - 20, 4*n - 208 = -4*u. Suppose 0 = 12*r - 8*r + u. Which is greater: r or -10?
-10
Let m = 2 + 0. Let d = 13/32 + -7/96. Is d bigger than m?
False
Let d = 24.15 - 23.92. Is d >= -15/7?
True
Let a be ((-297)/(-18))/3 - 5. Does 1/71 = a?
False
Let y(h) = 36*h + 3. Let w be y(-1). Let q = w + 48. Suppose -a + 3*z = -q, a = 3*a + 3*z + 6. Is a < 21/5?
True
Let v = 87/2014 + 1/106. Let p(y) = y**3 + 4*y**2 - 3*y + 3. Let k(u) = -u**2. Let t(r) = -k(r) - p(r). Let b be t(-4). Is b > v?
True
Let y(f) = f**2 - 11. Let o be y(-8). Which is smaller: o or 54?
o
Let m = 53 - 52. Let x(b) = -b**3 + 5*b**2 + 5. Let y be x(5). Let d be 6/9 + y/(-3). Which is smaller: m or d?
d
Let z = -798 - -788. Let b(m) = -2*m + 4. Let a be b(5). Which is greater: z or a?
a
Let c = -201 - -173. Which is greater: c or -4?
-4
Let b = 11 + -10. Let n be b + -3 + 30/(-20). Let i be (0 + -3)/(6/8). Which is greater: i or n?
n
Let a be (7/2)/(-7) + (-14)/(-16). Which is greater: 0.06 or a?
a
Suppose 27*u - 44*u + 68 = 0. Which is greater: 51/16 or u?
u
Suppose 3*s + 1 = 4. Let t = s - 26. Let a be ((-6)/10)/(20/t). Which is greater: a or 3?
3
Let s be 3 + -7 - 2 - (-7332)/(-598). Which is bigger: -17 or s?
-17
Let b = -114/41 + 383/123. Which is greater: b or -37?
b
Suppose -2*t + 5*h = -2 - 1, 4*t - 21 = -5*h. Is 96/19 at most t?
False
Let t = 91 - -10. Suppose -2*h + 3*c + t = 0, -5*h - 2*c - 105 = -348. Is 49 at least h?
True
Let o be (1 + -16)/3 - -2. Let v(d) = d**3 + 5*d**2 + 8*d + 4. Let h be v(o). Which is bigger: 1 or h?
1
Let o be 8/10 - 0/6. Is o <= -31?
False
Suppose -122*t + 120*t = -4*m - 2, 4*t = 4*m + 4. Which is bigger: m or 52/53?
52/53
Let j(p) = p**3 - 6*p**2 - 6*p + 4. Let i be -6*(9/(-6))/3. Suppose -14 - 7 = -i*x. Let a be j(x). Which is smaller: 12 or a?
a
Let i = 0.0051 - -0.9949. Let b(g) = g**2 + 2*g - 7. Let j be b(-8). Is j greater than or equal to i?
True
Let r be -2 + (-46060)/(-4188) + -9. Which is bigger: 1 or r?
1
Suppose -2*t - 4 = -2*y, -5*t + 4*y = -4 + 13. Is 10/73 > t?
True
Suppose 5*k = -2*g - 206 - 72, 0 = 3*g - 3. Which is greater: 1 or k?
1
Let o = 191 - 192. Which is bigger: o or -10?
o
Let x(p) = 0*p**3 + 3*p**3 - 2*p**3 + 2 + 8*p**2 + 6. Let t be x(-7). Let g = -169/3 + t. Which is smaller: 1 or g?
g
Suppose -3*y = -d + 12, 2*d = -5*y + y - 26. Which is greater: -57/13 or d?
d
Let u(l) = l + 8. Let i be u(-9). Let r = 1.23 - 8.23. Which is smaller: i or r?
r
Let v = -20 - -19. Let d be 3 + 25/(-72) - v. Let r = 34/9 - d. Does 1 = r?
False
Let y = -3 - 15. Let h = -10 - y. Let j = h - 6. Which is smaller: j or -0.1?
-0.1
Suppose -5*w + 6 = 21, 0 = 5*h - 5*w. Suppose 33*b - 30*b = -192. Let s = b + 60. Which is smaller: s or h?
s
Suppose -52 + 76 = -24*n. Let d = 3 - 4. Are d and n nonequal?
False
Let s be (-10)/(-18) + (-2)/3. Let p = -189 - -188. Which is smaller: s or p?
p
Let v = -0.5 - 17.5. Let q = -17.7 - v. Which is bigger: 3 or q?
3
Let m be ((-1)/(-25))/((-707)/606). Which is smaller: m or -1?
-1
Suppose -l = -2*a - 4*l - 1, 0 = 5*a + 3*l - 2. Let c = -1 + a. Are c and 0 unequal?
False
Let r(k) = -k**3 + 16*k - 5 - 32*k + 17*k + 7*k**2 + 18. Let t be r(7). Which is bigger: 18 or t?
t
Suppose 3*d + 0*v - 2*v = 40, 3*d - 44 = v. Let c be (-18 - -22)*1/2. Suppose c*y - d = -2*y. Is 4 > y?
False
Let i = -5.06 - 0.04. Let c = i + 5. Is c at least as big as -11?
True
Let c be ((-2)/(-12 + 18))/(8/6). Let w = -35 - -26.5. Let b = w + 1.5. Is c greater than or equal to b?
True
Suppose 0 = -2*v + 4*j - 1708, 4*v - 2141 = -j - 5575. Let q be 92/v*(-15 - 0). Let k = -16/11 + q. Is k less than 1?
True
Let f be 46/(-90) + (-2)/(-5). Let d be -1*((-26)/(-3))/((-12)/18). Suppose g + d = 14. Which is smaller: g or f?
f
Suppose 58*n = 50*n - 504. Do n and -247/4 have the same value?
False
Let m be 3*(-2 - -1)/(19/(-133)). Which is smaller: 2 or m?
2
Let w be ((-93)/30 + 3)*180/(-312). Which is smaller: -1 or w?
-1
Suppose 0 = -28*t + 32*t - 432. Which is smaller: 107 or t?
107
Suppose -43 = -3*p - 2*t - 14, 4*t - 19 = -3*p. Let x be 3 + 2/8 + p/(-4). Is x equal to -4/9?
False
Let w = -10.7 + 2.2. Let v = w - -4.1. Let m = 3.4 + v. Is 27 > m?
True
Let h(r) = 4*r**2 + 11*r + 1. Let s be h(6). Which is bigger: s or 212?
212
Let q = -1.84 + 1.908. Let n = 8.932 + q. Let b = 0.2 + -1.2. Are n and b equal?
False
Let g = -5944/21 + 283. Suppose 6*q - 30 = q. Suppose q = 4*z + 2. Is g <= z?
True
Let u be 3 - ((-290367)/10747)/(-9). Is 1 >= u?
True
Let m = 24 - 39. Suppose 0 = c - 3*d + 2, -d - 34 = 3*c - 3*d. Is c at least as big as m?
True
Let v(s) = -s**2 - 3*s + 3. Suppose 0*t - 3 = -t + 3*j, 5*j + 16 = -2*t. Let x be v(t). Let w = -30 - -31. Is x < w?
False
Let w = 0.83 - -0.17. Let s = 3 - w. Are 14 and s unequal?
True
Let p = -11 - -10.9. Let d = p - -10.1. Which is smaller: d or 0.2?
0.2
Let f = 135 - 56. Let r = f + -90. Which is bigger: -13 or r?
r
Let r(o) be the first derivative of o**3/3 - 4*o**2 + 2*o - 2. Suppose 0 = 2*q - 25 + 11. Let c be r(q). Is -5 < c?
False
Let t = -12.2 - -12.105. Let u = t + -0.105. Is u less than -6?
False
Suppose -5*b + b + t = -1, 0 = -b - t - 6. Let u = -1/12 + -31/60. Which is smaller: u or b?
b
Let n = -151 - -150.98. Is 0 smaller than n?
False
Let z be ((-70)/(-20))/(0 + (-1)/(-2)). Let v(l) be the third derivative of -l**4/12 - l**3 + 2*l**2. Let s be v(-6). Is z equal to s?
False
Suppose -2*d + y + 2 = -4, -y = -4*d + 10. Let j be ((-30)/(-2))/(4 - (-25)/(-5)). Let u be (d/(-5))/(2/j). Is 7/2 greater than or equal to u?
True
Let c(x) = -x**2 + x + 2. Let n be c(-1). Suppose 4*r + r = n. Let b be -3*(-4)/(-102)*1. Is r equal to b?
False
Let f be ((-23)/(483/70))/(2/144). Are f and -244 equal?
False
Let t be 4*-2*52/(-32). Suppose 5*x - 13 = -t. Which is greater: x or -3/4?
x
Let j = 2.34 + 7.66. Is -14 < j?
True
Let j = 1712 - 1712.01. Let r = 17 + -87/5. Which is greater: j or r?
j
Let d be 1*3/(-6)*(-16)/(-4). Which is bigger: d or -102/61?
-102/61
Let v be (-5646)/63 + 102/357. Is -90 greater than or equal to v?
False
Suppose 0 = -2*n - 4*a - 19 + 1, 2*n - 4*a = -10. Is -32 at most n?
True
Suppose 0 = -5*g - 6*g. Let l be (38 - -1)*(1/1 - g). Is 39 >= l?
True
Let q(y) = -2*y**3 - 9*y**2 - y + 6. Let a be q(-6). Suppose -d = -6*d + a. Which is smaller: 23 or d?
23
Let k = -17035/16164099 + 2/49131. Is k