?
s
Let f be ((-676)/39039)/(4/3). Which is bigger: f or -3/32?
f
Let o = 1.1 + -2.2. Let j = 35 - 38.1. Let f = o - j. Which is smaller: 7 or f?
f
Let g be 3 - ((-8)/5 - 9/(-15)). Let o be g/10 + (-36)/(-10). Let a(t) = -2*t**2 - t + 13. Let l be a(o). Is -25 <= l?
True
Let l = 309 - 271. Is -5 not equal to l?
True
Let d(a) = 28*a**2 + 13*a + 5. Let q be d(-4). Is q < 386?
False
Suppose 4*h + 4*d = 24, -3*d = 2*h - 5*d - 32. Suppose 8*b + 12 = h*b. Suppose -7*g + 3*g - b = 0. Is g less than or equal to 2/21?
True
Let i = 0.23 - -58.77. Let z = i + -60. Let p = 1.8 - 1.93. Which is greater: p or z?
p
Let k(y) = y**3 - 11*y**2 + 10*y + 18. Let q be k(10). Suppose q*c + 25 - 7 = 0. Which is bigger: c or -3/103?
-3/103
Let r = 11673.8 + -11674. Which is smaller: r or -2/789?
r
Let i be (10 - 1)/(-1 - -6). Suppose -2*f - 3*f - 5 = 0, -3*d - f = -104. Let j be (-11)/(-7) + 15/d. Is j greater than or equal to i?
True
Let f = -121.338 - 4.662. Let o = 83 + 40. Let n = o + f. Which is smaller: n or -0.02?
n
Let d be 1*(-1 + (-16)/(-5)). Let p(n) = -11*n - 470. Let w be p(-44). Suppose w*m - 31 = 11. Does d = m?
False
Suppose 33*s - 6968 = -71*s. Does 2/57 = s?
False
Suppose 8 = 3*m - 1. Let z be (4 - m)*(-1 - -2). Is -1/34 at most as big as z?
True
Let h be (1 - 232/78) + 2. Let t = 21703 + -21703. Is h > t?
True
Suppose 5*l = -o + 10, -2 = -l - 2*o - o. Let j be ((-44)/l)/((-22)/99). Let p be 4/j - (-8)/44. Is -1 bigger than p?
False
Let p(s) = s**3 - 39*s**2 + 250*s - 17. Let x be p(8). Which is smaller: 9/53 or x?
x
Let y = -0.0514 + 96.1214. Let x = y - -0.93. Let l = -96.92 + x. Is l at most as big as -2?
False
Let p(r) = -r**2 + 163*r. Let b be p(0). Is b equal to -0.47?
False
Let v = 35 + 50. Let n(u) = 2*u**2 - u - 2. Let l be n(2). Suppose r = -l*r + v. Are 17 and r unequal?
False
Let z(d) = d**2 - 16*d + 17. Let p be z(17). Let c = 36 - p. Suppose -4 = -6*y + c*y. Is y > -2/17?
True
Let n(g) = -1292*g - 4605. Let z be n(-6). Is z at most as big as -1/2?
False
Let z(d) = -d**3 - 18*d**2 - 17*d + 3. Let i be z(-17). Suppose -3*h = 4*l - 54, -i*h + 42 = l - 3. Is 15 greater than h?
True
Suppose 2*h + 24 = 94. Let f = h + -23. Let n(a) = -3*a - 2. Let w be n(-5). Which is greater: f or w?
w
Suppose 0 = -85*o - 11 + 111 - 15. Which is greater: o or 1/1477?
o
Let l(r) = -53*r + 212. Let s be l(4). Suppose s = -51*i - 1413 - 168. Which is greater: -1 or i?
-1
Let t(r) = 5147*r + 4930. Let d be t(-4). Which is greater: d or -15659?
d
Let v be (2 - (-14)/(-6)) + -13 + 7464/576. Let l = -16 + 6. Does v = l?
False
Let l(u) = 4*u + 51. Let z be l(-11). Suppose 882 = -z*p - 294. Which is smaller: -169 or p?
-169
Let v = 10.6 + -2.6. Let y = v + -8.078. Let l = -0.022 + y. Which is smaller: l or -1/41?
l
Let j(u) = u**3 - 10*u**2 + 9*u - 1. Let v be j(9). Let o(i) = 64*i + 4419. Let d be o(-69). Is v at most as big as d?
True
Let g(f) = 108*f - 4405. Let q be g(45). Which is bigger: 460 or q?
460
Let m be 44/66 + 24716/(-156) + -2. Let o = m - -160. Let p(g) = -g + 4. Let v be p(3). Which is smaller: v or o?
o
Let g = 1113 - 1201. Which is smaller: -87 or g?
g
Let b = -0.38745 - -0.08745. Which is smaller: b or 287?
b
Suppose q + 25 = -10. Let b(l) = l**2 + 38*l + 89. Let m be b(q). Which is smaller: m or -13?
m
Suppose 25 - 15 = 2*j. Suppose j*b = -2*y - 1483, -b + 4*y = 89 + 190. Do b and -296 have the same value?
False
Let b be (1/(-5))/(((-1683)/55)/3 - -10). Which is bigger: b or -13/302?
b
Let l be (-1698)/3 + 3 + -1. Let f be l/(-27) - 3/(-27). Let o be f/(-55) - (-5)/25. Is o > -2?
True
Let j = -74 - -5253/71. Let k(u) = -29*u**2 - 3*u - 1. Let c be k(0). Is j greater than c?
True
Let h be (-30 - 21412/(-714))/((-9)/112). Which is bigger: 0 or h?
h
Let h = -455 + 243. Let g = h - -211. Which is smaller: g or 2/35?
g
Let g be 2/6 - 3/(-9). Let p = 5.63 + 503.37. Let d = p + -495. Are d and g unequal?
True
Suppose -3*l - 1969 = 2999. Let x be 745/l - (-5)/((-315)/(-28)). Which is greater: 0 or x?
0
Let j be 36/42*(56/(-22))/1. Let k be (56/(-4) - -6) + 5. Is j <= k?
False
Let i = -14 + 20. Suppose l = 2*q - i, 5*q = 4*l - 0*q + 21. Suppose 6*m - 26 = -2. Which is smaller: l or m?
l
Let o = 8 + -8. Suppose -2*q - 2*b - 1 = -q, o = b - 1. Let v be -4 - q - 4/(-24). Is -2 < v?
True
Let z = 73367 + -514858/7. Are -184 and z equal?
False
Suppose -3*z + 4*h + 939 = 2*h, -2*z - 5*h + 607 = 0. Let k = z - 18039/58. Suppose g - 30 = -6*w, -2*g + 18*w - 17*w - 5 = 0. Is k > g?
False
Let x = -1357 + 77308/57. Let v = x + 1863/19. Which is smaller: v or 97?
97
Suppose 2*v - 245 = -q - 36, -5*v - 3*q + 525 = 0. Let s be 19239/102 - 12/v. Let p = 194 - s. Is p bigger than 5?
True
Let b(y) = -2*y**3 - 26*y**2 - 36. Let z be b(-13). Let s be ((-2)/8)/(-4 + (-135)/z). Is s < 8/67?
False
Let b = 31944085 + -1118246448/35. Let k = -5813 - b. Which is bigger: 0 or k?
k
Let z = -118 + 168. Let w = z + -445/9. Which is smaller: w or -2?
-2
Suppose n = 11 + 8. Suppose s - 3*x - 14 = 0, -s + 6*s = -4*x + 127. Suppose -s = -3*c + 31. Which is smaller: c or n?
c
Let m be (13 - 12) + 4664/(-480) + 8 + (-8)/40. Let p be (-2*1)/(1 + 0). Which is bigger: m or p?
m
Let v be (-6 + 138536/23096)*1/(15/6). Are -1 and v unequal?
True
Let z = -1212037/14973 - -1700/21. Is z > 6?
False
Let j = 3 - -1. Suppose -27 = j*s + 3*n, n - 3*n = 2*s + 16. Suppose 93 = -40*h + 3*u - 40, 3*h + 57 = -5*u. Is h bigger than s?
False
Suppose 69 = -3*t - 4*p - 35, 2*t = -2*p - 72. Let l be (30 - (3 - 1)) + 2/(-2). Suppose -2*w - 115 + l = 4*u, w + u + 42 = 0. Is t less than or equal to w?
True
Let d be 1/2 - 22/(-4). Let c be (-3)/d + 25/56. Let k = -11.3229 - -10.3229. Is k >= c?
False
Let g(n) = -7491*n**3 + 3*n**2 + 3*n - 6. Let h be g(1). Which is greater: h or -7490?
-7490
Let o be 1743/(-498)*(-94)/1. Which is smaller: o or 372?
o
Let j be 1752/10 + (-3)/15. Let h(g) = 9*g**2 + 108*g - 12. Let b be h(-13). Suppose 7*i + b = -j. Is i less than -40?
False
Let s = 104/5 - 1253/60. Let h = 12123/2 - 6062. Is s not equal to h?
True
Let y(z) = -31*z - 714. Let s be y(-23). Is s at least -3/1010?
False
Suppose u - 28 - 171 = -4*n, 3*n = -u + 196. Suppose u = -12*k - 305. Which is smaller: -38 or k?
k
Suppose -7*x = -170 - 40. Let a be 5/x*3/6. Is -2/9 > a?
False
Let o = 75 + -14. Let a = o - 43. Suppose -7*i + 5*l = -3*i + a, 2*l = 4. Is -3/4 not equal to i?
True
Let p be (-62)/(-279) + (607/169434)/(2/(-124)). Is -1 less than p?
True
Let a = -8655/1391 - -674/107. Is 609 <= a?
False
Let c = -1610 - -1610. Which is greater: 2.1 or c?
2.1
Let p = 21173/108 + -10590721/540. Let i = p - -19543. Let f = i - 127. Is f greater than -1/14?
False
Let m = -26 + 21. Let l = -11.77 - -0.77. Which is smaller: l or m?
l
Let f = 0.07 - 5.07. Let u = 363 - 357. Let c be ((-5)/(-20))/(u/(-12)). Does c = f?
False
Let f(r) = -187*r - 3*r**2 + 2*r**2 - 1 + 182*r. Let n be f(-6). Is n at least -7?
True
Suppose 2747 = 38*a + 391. Which is smaller: 75 or a?
a
Let u be (-6)/(1755/(-220) - -8). Let g be u/(-10624)*12 + (-2)/8. Which is bigger: 1 or g?
1
Let a(w) = w**3 - 17*w**2 - w + 17. Suppose 0 = -2*m + 15 + 19. Let c be a(m). Suppose 4 = 4*q - c. Which is bigger: 2 or q?
2
Suppose -4 = -2*t - 16. Let q = 7 + t. Let p be q/18 + 16/(-72). Is 0.6 <= p?
False
Let i(o) = o**3 + 8*o**2 - 9*o - 4. Let j be i(-9). Let k be (-4*j/(-48))/((-48)/189). Which is smaller: 1 or k?
1
Suppose 3*j - 677 = 4*h, 219 = j + h + h. Let m(y) = 226*y - 228. Let u be m(2). Does j = u?
False
Let y(v) = v**2 + 37*v + 4. Let s be y(-35). Is s > -4?
False
Let p = -0.22 + 1.32. Let d = 0.9 + p. Let w = -597.3 - -596. Which is greater: w or d?
d
Suppose 40 - 41 = -3*o + 4*p, 5*o + 6 = -p. Which is bigger: -18/35 or o?
-18/35
Let w = -29.6 - 136. Let b = -158 - w. Which is smaller: b or 0?
0
Suppose 17*g - 14*g + 15 = 0. Let o(b) be the first derivative of -b**2/2 - 12*b - 1. Let x be o(g). Is x greater than or equal to -4?
False
Let b be (-1)/(-4) + 1030/40. Suppose 4*c + 3*f - 422 = 259, -c + 183 = 5*f. Suppose 0 = -h - 6*h + c. Are h and b equal?
False
Let u = -147 + 79. Let l be ((-88)/(-990))/(4/(-10)). Is u bigger than l?
False
Let x be 3 + 14/(-3) + (-1430)/(-39). Suppose -m + x = 34. Let h be 64/(-297) - 6/(-27). Is h < m?
True
Suppose 0 = 5