ler: g or -2?
g
Let f be ((-9)/(-71))/((-3)/(-2)). Let b be ((-3)/(-12))/(-9 + (-1764)/(-192))*(-37)/148. Do f and b have the same value?
False
Let k = -34.25 - -36. Let i = 1.65 - k. Is 196 >= i?
True
Let w = -135 + 135. Let q = 0.034 - -0.028. Let k = -0.006 - q. Which is greater: k or w?
w
Let o = 448 + -903/2. Let r(s) = -s**3 - 2*s**2 + 3. Let n be r(0). Let d be 0 + n + -5 + -3. Does d = o?
False
Let i be 2 - ((-2)/22)/((-102)/561)*47446. Is i at least -23720?
False
Suppose 54*m - 36*m = 20736. Which is greater: m or 1151?
m
Let a be 1/(-2)*((-140616)/(-491813) + 12/(-42)). Which is smaller: -1 or a?
-1
Let m(a) = a**2 + 11*a + 3. Let i be m(-11). Suppose 2*c - 14 = c + 4*t, 0 = 2*c + 2*t + 2. Let f be (-9)/12*c/i. Which is smaller: 2/21 or f?
f
Let t = 566255866/1371 + -413024. Is -1 at least as big as t?
False
Let i = 10608/5 + -2131. Let k = 37694/5 + -603861/80. Let q = i - k. Is q at most as big as -1?
False
Let k be 260/65*3*1. Let q be 689/(-52) + k + (-5)/(-4). Let f be 4/316*(0 + -2). Which is smaller: q or f?
f
Let z be (-120)/740*(-9)/8928*-8. Which is bigger: 1 or z?
1
Let m(d) = -d**3 + 19*d**2 - 16*d - 40. Let i be m(18). Let o be (-5 - -1)*(-33)/(i + 1). Let f = -20 - o. Is f greater than 24?
False
Let o = -115 - -135. Suppose 14*z - o*z = -18. Let k be 55/(-3)*(-2)/15. Is z bigger than k?
True
Let x = -10396 + 6933. Is x less than -1/4?
True
Suppose 3*a - 23 = 22. Suppose -15 + a = -y. Let g = 1317 + -44781/34. Is g > y?
False
Suppose -i - 1441 - 566 = -4*m, -4*m + 3*i + 2005 = 0. Which is bigger: 496 or m?
m
Let v = 35 + -30. Suppose 0 = i - v*q + 1, -5 = 5*i - 2*q - 0. Let k be (i/(-3))/((-4)/132). Is k at least -13?
True
Let s = 6.9 - -3.1. Let l = s - 14.4. Let r = l + 4.5. Which is bigger: r or 6?
6
Let k be (-2)/5*(1710/36)/(-19) - -7. Let d be 1*-2 + 188/22. Is k greater than d?
True
Let b(v) = 211*v**2 + 110*v + 428. Let d be b(-4). Is d bigger than 3364?
False
Let h be (-6)/4 + -86*75/(-4380). Which is smaller: -10 or h?
-10
Let t = 7/7295 - -933711/51065. Suppose -c + 27 - 8 = 0. Which is smaller: c or t?
t
Let p(n) = 4922*n + 47. Let b be p(14). Let i = -343306/5 + b. Let c = i - 295. Which is bigger: c or -1?
-1
Let u be 4/((-16)/18)*(35 - -1207). Is -5589 >= u?
True
Suppose t = -3*k + 6*k - 114, k = t + 40. Suppose 4*z - 4*w + k = -3, 0 = 5*z - 3*w + 58. Suppose -3*s + 2*i = 1, i + i = 4*s. Which is bigger: z or s?
s
Let g = 4871 - 4849. Which is smaller: -1/40 or g?
-1/40
Suppose -16*i + 12*i + 48 = 0. Let n be (i/6)/(358 + 0). Which is smaller: 0 or n?
0
Let y = 12 - 13. Let v be (-385)/77 + (112 + 0)/y. Which is smaller: v or -116?
v
Let t = 4 + -6. Let s = -34934.47 - -34933. Is s at least as big as t?
True
Let a(n) be the first derivative of 50 + 1/3*n**3 + 11/2*n**2 + 11*n. Let x be a(-10). Does -1/72 = x?
False
Let u = -3317 + 3322. Let v be 4/(-26) - 28/(-13). Suppose -n + v*j - 1 = 0, 0*n + 4*j - 5 = n. Which is bigger: n or u?
u
Let w be 0 + -2 - 1*(-6 - -7). Let n = w + 3. Is 1/61 bigger than n?
True
Let l be 21780/(-2937)*4/10. Which is smaller: l or -3?
-3
Let b = 42.66 - 45.06. Let q be 39/(-45) - 0 - -1. Is b greater than q?
False
Let l = -2/172497 - 517375/10004826. Suppose 4*j - 2*j = 2*b + 8, 2*j - 4*b = 10. Let x = j + -3. Is l less than x?
True
Let g = -53 + 74. Let d be ((-1)/394)/(g/(-84)). Suppose -2*f + 4*j = 7 - 1, 3 = -3*f + 3*j. Which is smaller: f or d?
d
Let r be (-8)/(-8) + -5 - -217*52/(-44). Which is greater: r or -261?
r
Suppose -6 + 54 = 6*g. Let v be (g - 7)/((-2)/14) + -1. Let u be ((-35)/(-10))/((-1)/v). Is u not equal to 28?
False
Suppose -3*x + 1071 = -f, 7*x - 2525 = -8*f + 6*f. Which is smaller: 369 or x?
x
Suppose 0 = 3*l - 2*g - 2 - 4, -5*g = -4*l + 1. Let w be l/3 - -3*(-3)/9. Is -30 less than w?
True
Let n = -11/20 + 13/10. Let r = -40 + 28. Which is smaller: r or n?
r
Let x = 24121 - 385761/16. Is x greater than -0.4?
True
Suppose 3*k = 3*f + 5 - 14, 4*k = 2*f - 2. Suppose 3*n - 5*t - 14 = 0, -f*n + 4*t - 2*t - 2 = 0. Let q be ((-4)/(-4) + -1)/n. Which is smaller: 11 or q?
q
Let y be ((-2)/6)/(34/3). Let d be 3/(-6)*((-4)/(-5))/(1338/3345). Which is bigger: y or d?
y
Let x = 0.72 - -24.28. Let i = -27 + x. Let t = 20 - 12. Is i greater than or equal to t?
False
Let z = -684 - -667. Let u(s) = 5. Let a(h) = -h - 4. Let m(k) = 3*a(k) + 4*u(k). Let p be m(8). Which is smaller: z or p?
z
Let g be -574 - -4*16/8. Let w = -568 - g. Is -38 less than w?
True
Let p = -49 - -10. Let j = 107 - 78. Suppose -j*c - 570 = -14*c. Is c != p?
True
Let q = 725 - 723. Suppose -q*p = p + w - 8, 3*w = p + 4. Which is bigger: -4 or p?
p
Suppose 0 = 30*y - 0 - 0. Suppose 0 = 4*t + t + 30. Let p be (-246)/1332 - 1/t. Which is smaller: y or p?
p
Let v = 87 - 68. Suppose 0 = -v*d + 43 + 14. Which is smaller: 22/5 or d?
d
Let v = 7.018 + -0.018. Let h = 45 + -48.1. Let i = -3.3 - h. Which is bigger: v or i?
v
Let x = -16 - -16.2. Let i = -144/43 - -5659/1677. Do i and x have different values?
True
Let r be (-69)/(-15) + (-9)/15. Suppose 0 = r*t - 2*t - 10. Suppose -t*x = -5*g - 30, 0*x - 18 = g - 4*x. Is g at most as big as -15/11?
True
Let q = -1585 + 14303/9. Is q != 3?
True
Let z be 8 - 490*(-4)/32. Is 68 smaller than z?
True
Let u = -60 - -75. Suppose 2*a - 38 = -3*r - u, -2*r = a - 17. Let y = r - 5. Which is smaller: y or 0?
0
Let m = -121/11700 + -2/225. Suppose -2*q + 6 = 5*f - 13, 16 = 5*f + 3*q. Suppose f*i = -i + 6. Which is greater: i or m?
i
Let v be 2142/(-4270) - (-3)/5. Suppose 5*x + 258*w = 260*w - 13, 3*w - 11 = -x. Is x != v?
True
Suppose 0 = -61*n + 115*n - 16848. Is n greater than 10?
True
Let u(c) = 18*c**3 - 542*c**2 + 62*c - 62. Let s be u(30). Do -22.23 and s have different values?
True
Suppose -1780 - 2002 = 455*r + 313. Let j be (1 - -1)*(-22)/4. Which is smaller: j or r?
j
Let g be (-38)/(-9)*(-4)/(-8). Suppose -222 - 258 + 378 = -51*b. Which is smaller: b or g?
b
Suppose -490 = -245*i + 238*i. Let a be (-4)/(-6) - (i/(-21) - -4). Which is smaller: a or -272?
-272
Let n(b) be the second derivative of 17*b**4/12 - 3*b**3/2 + 9*b**2 - 7*b + 2. Let i be n(2). Are i and 69 non-equal?
True
Let p(j) = 2*j**3 + j**2 - j + 1. Let y(c) = 10*c**3 + 6*c**2 - 37*c + 3. Let t(q) = 3*p(q) - y(q). Let l be t(4). Is l >= -167?
False
Let s = 580.8 - 84.8. Let w = s + -424. Which is bigger: w or -3?
w
Suppose 175*c - 3731 = 168*c. Suppose 4*f = -9*f - c. Is -40 at most as big as f?
False
Let l be -2*5/((-55)/(-9482)). Which is greater: -1725 or l?
l
Let s = 29.55 + -21.9. Let r = 0.35 + s. Let g = r + -6. Is -15 > g?
False
Suppose 0 = -9*f + 27 + 18. Suppose v = f - 6. Is 2/539 at least v?
True
Suppose -2*d = 2, p - 23 - 14 = 2*d. Suppose 75 + p = 11*v. Suppose -5*o - v = 5*o. Is -2/181 at least o?
True
Suppose -f + 13 = -5*a, -21*a + 2 = 2*f - 19*a. Which is bigger: 41 or f?
41
Suppose 34*x = -25*x + 47*x. Let q = -0.15 - -0.194. Which is smaller: x or q?
x
Let m(q) = -5*q - 26. Let p be m(-10). Suppose -19*a + 21*a + 288 = 0. Let w be (-1*1/a)/(12/p). Is w >= -1?
True
Let v be (5 + (-12 - -6))/(1/(-33)). Suppose -25*m + 28*m - v = 0. Suppose -m + 8 = 4*h - q, 4*h - 2*q = -2. Which is greater: h or -2?
h
Let x be (-10)/((18/760)/9). Let t be x/(-420) + (-4)/(-14). Let d be 8/(-36) - (-415)/45. Is d > t?
False
Let k = 13660253/12384 - 9928/9. Let s = -1/43 - k. Which is greater: 1 or s?
1
Suppose 0 = -4*m - 10 + 22. Suppose -107 = d - 2*t, 5*t = m*d - 188 + 505. Let j = d - -52. Does j = -46?
False
Let c(s) = -2*s + 3. Let r be c(2). Let n(w) be the first derivative of 4*w**3/3 + w**2 + w + 748. Let q be n(r). Which is bigger: q or 12/5?
q
Let u = 3818.2 - 3820. Let d be 6/(-20)*-8 - 2. Which is smaller: u or d?
u
Let z = 0.1006 + -0.1006. Which is smaller: z or 1760?
z
Let j(h) = h**2 + 17*h + 72. Let o be j(-10). Suppose -182 = o*m - 298. Is m greater than or equal to 58?
True
Let u = 861 - 862. Let b = 235 + -216. Which is smaller: b or u?
u
Let u = -3841 + 3054. Which is smaller: -0.3 or u?
u
Let m(q) = q**3 - 5*q**2 - q + 4. Let i be m(5). Let b = 18 + -18. Suppose 7*d - 6*d + 4 = b. Is d equal to i?
False
Let h = -720 + 723. Suppose 5*s = -5*o - 15, s + 0 = o + h. Is s <= 13/46?
True
Let a be (2/13)/(846/18). Which is greater: 0.04 or a?
0.04
Suppose 0*y + 45 = 5*y. Let 