32?
f
Let l = 17701/13 - 1360. Suppose -105*h + 16 = -101*h + 3*g, -3*g = -12. Is h at most l?
True
Let r(b) = b**3 - 7*b**2 + 5*b + 30. Let z be r(4). Is 18/7 greater than or equal to z?
True
Let z(i) = 338*i**3 - 3*i**2 - i + 1. Let g be z(-1). Let c = 202 + g. Do -137 and c have the same value?
True
Let p be (-261)/29*23/(-24). Let g = -259/24 + p. Which is smaller: -1 or g?
g
Let s(w) = -w + 9. Let y be s(4). Suppose -y*u - 3 = -2*u. Let l = -2713 - -8134/3. Which is smaller: l or u?
l
Let z be 33300/(-85410) + (-8)/(-26). Let p(y) = y**3 - y**2 - 2*y - 1. Let h be p(-1). Which is smaller: z or h?
h
Let l = 4079947/1740 - 11724/5. Let s be 4 - 2 - (4 + -3). Which is bigger: s or l?
s
Let d = 2/407 - -3512/113553. Is d greater than 1?
False
Suppose 5*l = 3465 + 1170. Suppose -5*q + 7*j = 12*j + 1155, 5*j + l = -4*q. Which is smaller: -230 or q?
-230
Let r = -49 + 51. Suppose -4*g + r = -3*g. Suppose 11*c - 13*c = -g. Which is smaller: 2/79 or c?
2/79
Let x = -22/227 - -1458/5675. Let g be -3*2/3 + 2. Which is greater: x or g?
x
Let x = -0.003 - -2.003. Let m be (-2 + (-37)/(-20))*(-3)/((-81)/24). Is m > x?
False
Let c(k) = -k**3 - 7*k**2 - 12*k - 33. Let v be c(-6). Suppose v*m = 10*m + 49. Which is greater: m or -2?
-2
Let c = -29.4 + 29.5086. Is 0.6 at most c?
False
Suppose -2*b = 73 - 3. Let c be (46/115)/((-1)/b). Suppose -3*u - 3 = 0, -14*z + 19*z - 66 = -4*u. Is z greater than c?
False
Let h be 3366/(-153) + (0/(1 + 1) - -5). Let z(l) = 4*l**3 + 3*l**2 - 2. Let x be z(-2). Which is greater: x or h?
h
Let b be 96201/(-105) + (2 - (-28)/(-10)). Is b at least as big as -918?
True
Let p(l) = 3*l**2 - 4*l + 2. Let w be p(5). Let x(m) = -m**3 - 6*m**2 - 4*m - 26. Let f be x(-8). Let h be (-4)/(-18) + (4 - f/36). Is h bigger than w?
False
Let k(o) = 3*o**2 + 112*o + 426. Let f be k(-7). Which is bigger: f or -196?
-196
Let g(k) = -4*k + 18. Let c be g(1). Suppose 87 = 15*f + c*f. Are 0 and f non-equal?
True
Suppose -6 = -0*q + 3*q + 2*l, -5*q + 4*l + 12 = 0. Let h = 25256 - 201415/8. Let x = h - 65215/824. Which is smaller: x or q?
x
Suppose -4*z = -2*j - 24, 5*j = -4*z + 54 - 16. Suppose -5*g + 1 = z*a - 4*a, 0 = -4*g - 2*a. Does g = 3/35?
False
Let c(j) = 72*j**3 + j**2 - 1. Let g be c(1). Let r = -5143 - -5213. Is r > g?
False
Let y = 40803/50525 - -1/1075. Are y and 1 equal?
False
Suppose 0 = -2*z - 18 - 8. Let l = z + 27/2. Suppose 0 = -12*v + 9910 - 10042. Which is bigger: v or l?
l
Let a be (-187)/(-34) - (-1 - 1/(-2)). Let m(l) = -17*l - 22. Let n be m(a). Which is bigger: -125 or n?
n
Let a be (-7*(-14)/147)/((-1)/(-3)). Let z be (a/(-6))/(22/(-33)). Which is smaller: -15/2 or z?
-15/2
Let k(r) = 72*r - r**2 - 79*r + 3*r**2 - 13. Let n be k(6). Let m be ((-1)/2)/(1/(-32)). Is m bigger than n?
False
Let i = -1472 + 7363/5. Which is smaller: i or -111.3?
-111.3
Let q be (44/(-5))/(4/(-10)). Suppose 720 = 14*n - 6*n. Let w = -70 + n. Which is smaller: w or q?
w
Suppose -5*l + 2*l + 6 = 0. Let z be (13/l)/((-57)/38). Which is bigger: -4 or z?
-4
Suppose 2*f + 20 = -3*v, -4*f + 0*v = -4*v + 20. Let k(c) be the first derivative of c**3/3 + 3*c**2 - 7*c - 27. Let u be k(f). Which is smaller: u or -8/9?
-8/9
Let d = 35044/255 + -2062/15. Is d smaller than -1.32?
False
Let l(c) = -2*c**3 + 29*c**2 - c - 69. Let n be l(13). Which is greater: n or 423?
n
Let y = -58 - -193. Suppose 4*k - y = 7*k. Let p be ((-12)/(-152))/((-846)/(-7144)). Do p and k have the same value?
False
Let o = -25 - -41. Let f(c) = 72*c + 1605. Let n be f(-22). Let j = o - n. Is -5 smaller than j?
False
Let x be ((-1)/((4/16)/(-1)))/(-2). Let u be (106/x*-1)/(1/1). Let k = u + -25. Is 2/3 < k?
True
Let z(d) = -2*d**3 + 196*d**2 - 19*d + 70. Let c be z(98). Is c greater than or equal to -1794?
True
Suppose 0 = 8*c - 369 - 47. Let i = c - 47. Which is smaller: i or 8?
i
Let j(x) = -20*x + 9. Let y be j(4). Let d = y - -93. Suppose 2*n - 122 = -d. Do n and 51 have the same value?
False
Suppose 105*p = 103*p + 5*g + 12, -5*p + 11 = -3*g. Is p at most -23/52?
False
Let b be (-241204152)/172*21/636. Let s = b - -46304. Let o = 3446/125345 + s. Is 0 < o?
True
Let n = -696 - -1569. Which is bigger: n or 872?
n
Let q(n) = -23*n**2 - 621*n + 59. Let u be q(-27). Is u > 59?
False
Let z be -39 + 43 - ((-11553)/(-15) + 3). Which is greater: -768 or z?
-768
Let d = -4502 + 4481. Is d <= -58?
False
Let u = 0.9 + 1.1. Let l = -29 + 29.245. Let a = l + 0.055. Is a at least u?
False
Let v = 1086 + -1292. Is v not equal to 4/27?
True
Let a be 15/108*(-3564)/810. Let k(x) = -x**2 - 2*x - 1. Let b be k(-2). Is b > a?
False
Let b = 122 - 77. Suppose -52*u + 266 = -b*u. Which is bigger: 41 or u?
41
Suppose -4*u + 6 - 2 = -4*i, 0 = -4*i + u - 1. Which is smaller: i or 13/1238?
i
Let y = 137 - 133. Suppose -4*k + 5*u + 222 = 935, 5*k + 889 = y*u. Is k greater than -177?
False
Suppose -400 = 157*u - 136*u - 3550. Is u at least 152?
False
Let f(a) = 203*a - 994. Let w be f(5). Is 112/5 < w?
False
Let f(s) = -s**2 + 7*s - 7. Let g be f(6). Suppose x - 68 = -11. Let v = x - 55. Which is smaller: v or g?
g
Suppose -4*g + 0*x - 60 = 2*x, 0 = -4*x - 16. Let b = 13 + g. Which is smaller: b or -2/57?
-2/57
Let x = 258458 + -1800821/7. Is x != 1197?
True
Let a = 519.422 + -521. Let d = -0.578 - a. Which is greater: -113 or d?
d
Let p be 64/(-520)*179786/(-8). Let s = p - 2766. Is s less than or equal to -1?
False
Let o = -6648 + 6650. Let p = -0.52 - -0.6. Are p and o unequal?
True
Let f(l) = 61*l + 1407. Let v be f(-91). Is v at most as big as -4145?
False
Let h = -10911.5 - -10912. Do h and 65 have different values?
True
Let q(z) = z - 4. Let w be q(7). Suppose -4*g - 67 = 4*o - 167, 12 = -w*g. Suppose 0 = -23*a + 22*a - o. Are a and -29 equal?
True
Let f be (-51)/(-85) - (-516)/(-10). Let v = f - -55. Suppose v*m - 8 = 2*m. Are m and 3 unequal?
True
Let d = -33883/5852 - 15/532. Which is smaller: d or -6?
-6
Let l(h) = 4*h - 45. Let a be l(10). Let n be (6/4)/(a/(-10)). Suppose 0 - 48 = n*g. Which is smaller: 3 or g?
g
Let j = 506/15 + -3482/105. Is j smaller than 131?
True
Let n = 0.6 - 0.52. Let d = -2686.18 - -2686. Let h = n + d. Which is smaller: 0.2 or h?
h
Suppose 2 = 2*w, 5*y - 4*w = -183 - 136. Are -59 and y equal?
False
Let o be 261/(-665) + (-199)/6965. Do o and -52 have the same value?
False
Let f be (4145/1650 + 5/(-2))*-234. Which is smaller: -2 or f?
f
Suppose -5*g + 3*g = -20. Let q be 5/((-10)/(-24)) + (52 - 46). Suppose 34*p - q*p = 48. Which is smaller: g or p?
p
Let r = -7737.43 + 7769. Let q = r + -32. Let p = -0.23 - q. Which is greater: p or -27?
p
Let f = -1108.1 + -246.9. Which is greater: -1 or f?
-1
Let z(q) = 2*q**3 - q. Let s be z(1). Let g be 1175/(-705) + (-996)/(-549). Which is smaller: g or s?
g
Suppose -d = -2 + 9. Let g(v) = -v**2 + 19*v - 24. Let b be g(15). Suppose -b = 342*a - 338*a. Which is smaller: a or d?
a
Let a(r) = 307*r - 3100. Let g be a(18). Is 2426 at least g?
True
Suppose -2*z + 9131 = 3*h, h - 6895 - 2254 = -2*z. Is 4579 >= z?
True
Let r = -19.59 - -225.59. Is r less than or equal to -0.1?
False
Let y = 23247 + -23247. Which is smaller: 1/4941 or y?
y
Let q(a) = -156*a + 1075. Let j be q(7). Which is smaller: j or -237/13?
-237/13
Let l be (-10)/35 + (-216)/126. Which is smaller: l or -64/115?
l
Let a be ((-5)/(-2) + -3)/(-1). Let k be -1 - 49 - ((6 - 1) + -7). Let u be 72/k*(-16)/(-54). Is a greater than u?
True
Let r = 505.2 - 515.2. Do r and 2/129 have the same value?
False
Let h be (-255)/(-2)*36/4005. Is h smaller than 2?
True
Suppose 3*b + 3 - 2 = -q, -b + 3 = 2*q. Which is bigger: 2/2495 or b?
2/2495
Suppose -9*a + 12*a + 3*s = -423, 6*a = -5*s - 844. Let w(y) = -5*y**2 + 7*y - 1. Let g be w(6). Is g at least a?
True
Let t = 0 - -3. Suppose -1920 = 2*j + 30*j. Let c be j/120*(-8)/14. Is t bigger than c?
True
Let c = 379.198 + -379. Let v = c - -0.012. Which is greater: 2/33 or v?
v
Let l be (-160)/(-32) - 0*2/2. Let x be 281*1 + l/(25/20). Is 286 < x?
False
Let p be (297/66)/(3/2). Let y be 3 + -5 - 183/(-33). Which is smaller: p or y?
p
Let c = 1519 + -1519. Let x = 4/1823 - 4666/464865. Is c less than or equal to x?
False
Let n(m) = -3*m**2 - 51*m - 65. Let b be n(-11). Which is greater: b or 263/2?
b
Let r be (9/42)/(1/(-596)). Let t = r