 f or -4?
f
Suppose -8*z = -11*z - 474. Which is smaller: -159 or z?
-159
Let j = -0.1 + 0.28. Let t = 0.08 - j. Which is greater: 19 or t?
19
Let t = -170/3 + -101/6. Is t at most as big as -74?
False
Let j = -212/315 - -2/315. Is 107 greater than or equal to j?
True
Suppose 0 = -26*w + 860 + 1610. Which is bigger: w or 96?
96
Let f be (-436305)/4284 - (-2)/21. Is -102 greater than or equal to f?
False
Let q be (32 + -37 - 1*-4) + 1. Let c be 0 + ((-6)/8)/(-3). Is c at most q?
False
Suppose 2*l - 13 = 7*l + b, 5*l - 5*b = 5. Let n = 3 + l. Let a be ((-4 - -2) + n)*-2. Which is bigger: a or 1?
a
Suppose -6887 - 538 = 33*x. Which is smaller: x or -224?
x
Suppose -d + 0 = -7. Let r(f) = -f**3 + 5*f**2 + 7*f - 5. Let p be r(6). Let k = p + 5. Is k at most d?
True
Let u = -8/337 - -406/45495. Which is bigger: u or -1/4?
u
Suppose 30 = -5*y + 2*n + 147, -4*n = -5*y + 119. Let m = 117/5 - y. Let a be (-2)/(-9) - (-35)/45. Which is smaller: a or m?
m
Suppose 5*a = -38 + 8. Let j be 5/a*24/570. Which is greater: j or -1?
j
Let s = 1572 + -1146. Is -1 less than s?
True
Let a = -906 - -860. Does a = 2/11?
False
Let g be 2/17 + (-3762)/187. Is g at least -20?
True
Let i be (1 - 6) + 3 + 16 + -22. Which is bigger: -86/11 or i?
-86/11
Let h(b) = -b**2 + 19*b + 22. Let a be h(22). Which is greater: -40 or a?
-40
Let t = -51 + 30. Let w be 4*(t/(-4) - 4). Which is smaller: w or 27/5?
w
Let v = -14 + -2. Let m = v - -16.1. Let c = 0.2 + m. Is 0.1 smaller than c?
True
Let s = 102 + -97. Is -4 equal to s?
False
Let w(c) = 5*c**2 - 3*c. Let z be w(2). Let p = z - 26. Let u be 3/p*16/(-28). Which is bigger: 1 or u?
1
Let x be 2/(-2 + 60/33). Let l be (-15)/(135/18) + (-18)/2. Is l > x?
False
Let q be (-3)/(-12) - 1/4. Let u be 5 + q + 6/(-2). Let d be u/(-8) - (-63)/(-36). Which is smaller: d or 3?
d
Suppose 4*g - 4*v = 114 + 22, 0 = -3*v. Is 302/9 >= g?
False
Let b = -522 + 516. Is 0 greater than b?
True
Let r be 60/(-24) + 1/2. Let b be (1 + r)/((-6)/12). Suppose b = -4*z - 2*t + 24, 55 = 5*z - 3*t. Is z less than or equal to 10?
True
Let c = 24.55 + -22. Let f = -0.55 + c. Is -1.9 > f?
False
Let h = 44 + -41. Let u(f) = f**3 - 5*f**2 + 8*f - 4. Let k be u(h). Is -4 not equal to k?
True
Let k = 537 - 2687/5. Which is smaller: k or -9?
-9
Let r be 4/(1 - 3)*-98. Let i = 279 - r. Suppose 4*p - i = -7. Are 19 and p equal?
True
Let w be (-12)/(-8)*(1 - (-13)/(-3)). Is -16 less than w?
True
Let o be 236 - ((-12)/4 + 3). Let y be o/91 + 10/(-35). Which is smaller: y or 3?
y
Let j be (-15)/2*(-24)/6. Let r = j + -32. Suppose -2*q + 3*z + z = 18, 5*z - 3 = -4*q. Which is smaller: q or r?
q
Suppose 4*v + 2*w - 17 = -185, 180 = -5*v + 5*w. Let f be (-5 - v/4) + -5. Is f less than 1/12?
True
Let s(h) = h**3 - 3*h + 7. Let m be s(0). Which is smaller: 6 or m?
6
Let m be 3/(2/18 + (-969)/7992). Is -295 not equal to m?
True
Suppose 11*u - 21 = 4*u. Let w be (-3)/9*3/u*3. Are -3 and w non-equal?
True
Let f = 9 - 16. Let s = f + 5. Let x = 0 - 2. Are x and s equal?
True
Let m = -18 + 20. Suppose 4*s = 4*h - 12, -3*h + 13 + m = -5*s. Which is greater: -2/45 or h?
h
Let w(y) = y**3 + 24*y**2 - 25*y - 1. Let j be w(-25). Is j less than or equal to -1/2?
True
Let d = -561 + 398. Let c = d + 251. Which is greater: 87 or c?
c
Let a be 1/(-3) - -5*(-2)/15. Let d = a - 1. Is d at least -2?
True
Let m = 224/139751 + -674653890/1180756199. Let s = 1/5260 - 11727/6348820. Let k = s + m. Which is smaller: -1 or k?
-1
Let r be (-4)/14 - (-30)/7. Suppose -200*g - 37 = -44*g - 349. Which is smaller: r or g?
g
Let g = -408209/44 + 9278. Let v = -3/11 + g. Is 0 greater than v?
False
Let d = 0.372 - 0.272. Which is smaller: d or -2.189?
-2.189
Let d = 2.1 - 3.8. Let p = d + 0.1. Let w = p - -1.8. Do w and -1/4 have different values?
True
Let d = 16024 + -224563/14. Let i = d + 33/2. Suppose 0 = 3*z + 5*k - 3 - 14, z - 3*k = -13. Is i greater than z?
True
Suppose 2*d + 72 = -d. Let i be (d/(-9))/(4/(-6)). Is -3 > i?
True
Suppose 13 = w - 2. Let x be 5*(-2 + 0 - -4). Let d = x + w. Is d at most 25?
True
Let m(i) = i + 12. Suppose -21*c - 33 = -18*c. Let s be m(c). Is s > 2/31?
True
Let u be 32/12*(-3 + 0). Let m(p) = p**2 - 20*p - 133. Let t be m(-5). Is u <= t?
True
Let w be (6/16)/((-55)/660). Which is bigger: -6 or w?
w
Let o = -91 - -56. Does o = -1?
False
Suppose 21 = -2*m + 5*m. Let t be 3/((84/16)/m). Let i be t/(-6)*(-1)/(-2). Is -4/9 greater than i?
False
Let f = 453 + -447. Is 48 at least f?
True
Let k be (-12)/3 + 1 + 1. Let r(j) = -18*j + 6. Let g be r(-8). Let v be g/(-340) + (-1)/k. Which is smaller: v or -1/4?
-1/4
Let x = 394 - 378. Is x at most as big as 103/7?
False
Let n be ((-8)/6)/((-693)/(-81) - 9). Is n bigger than -37?
True
Let h = -4737 - -4702. Suppose -2*v + 4*v = 0. Which is greater: v or h?
v
Let n(m) = m**2 + 5*m + 9. Let k be n(-4). Suppose a + 52 = -2*a - k*h, -16 = -a + 5*h. Let y be -2 - (-2 - a/15). Which is bigger: y or -2/7?
-2/7
Let s be -2*-3*6/243. Which is bigger: s or -1?
s
Let x = 0.615 - 0.085. Let m = x - -26.47. Which is greater: m or -0.1?
m
Let c = 12736 - 88339/7. Which is greater: 117 or c?
117
Let y = -20 - -13. Let o be 3 + 357/(-27) - 6/(-27). Are y and o equal?
False
Let b(i) = 2*i + 2. Let y be b(1). Let u be -3 + y - -1 - 33. Is u greater than or equal to -32?
True
Let n be (1 - 30/6) + (-3)/(-21). Let f = -54 + 50. Which is bigger: n or f?
n
Let k = 32 - 95/3. Let i = -211/38 + 11/2. Which is bigger: k or i?
k
Suppose 0 = 15*p - 6 + 36. Is -1 smaller than p?
False
Let x = 876 - -265. Is x < 1141?
False
Let j(z) = -2*z**2 + 48*z - 391. Let c be j(16). Which is bigger: c or -138?
c
Let x be 141/24 - -7 - 8. Suppose -8*b = -7 - 33. Is b at least as big as x?
True
Let a = -13 - -8. Let s = -35.15 - -34.75. Which is greater: a or s?
s
Let u be 45/(-250) - 8/(-48). Which is bigger: -1 or u?
u
Let q(d) = -58*d - 193. Let j be q(-4). Which is smaller: j or 189/5?
189/5
Let r = 4384/609001 - 18/1489. Which is greater: r or -1?
r
Let v = -5.65 - -551.65. Is 1 > v?
False
Suppose -4*t - 135 - 129 = 0. Let x be t/(-88) + (-26)/56. Is 8 > x?
True
Let m be (4/(-144) + 6/(-27))*-8. Suppose -122 = -m*g - 114. Let v(a) = -a**2 - 2*a - 1. Let z be v(-1). Which is bigger: g or z?
g
Let b be (-5 - 0) + 0/1. Let q = 3 + b. Suppose 5*g = 152 - 162. Is g < q?
False
Let m = -55 - -66. Let h(l) = l**3 - 9*l**2 - 19*l - 16. Let p be h(m). Is p > 18?
False
Let s = 3/16 + 5/16. Let i(l) = 3*l + 15. Let x be i(-11). Let o be 1/8 + x/48. Is s bigger than o?
True
Suppose -l + 4*l - 12 = 0. Suppose -l*y - 4 + 16 = 0. Let f be 2/y + 32/(-12). Which is smaller: -8 or f?
-8
Suppose 0 = -5*b + b - 12. Let p be ((-27)/198)/(b/(-4)). Which is bigger: p or 0?
0
Let c = 4 - 3. Let o = 1.9 - 3. Let m = o + c. Is m greater than 1/2?
False
Suppose 0 = -7*a - 82 - 877. Let p = a + 138. Is -5 at least as big as p?
False
Suppose -14*l - 242 = 8*l. Is -72/7 smaller than l?
False
Let t be 710/25 - (-3)/5. Suppose 13 = -3*g - t. Let o be (20/g)/(11/(-77)). Which is smaller: o or 9?
9
Let h = -2.273 + 79.393. Let y = -77 + h. Which is smaller: y or -1/3?
-1/3
Let x = 71/273 + 1/39. Let z = -2005/6 + 334. Which is greater: z or x?
x
Suppose k + 4*k - 260 = 0. Suppose -598 = -4*q - 394. Which is smaller: q or k?
q
Let d(o) = -o**2 - 7*o + 26. Let a be d(-11). Let u be (-4)/a - 4/18. Are -2 and u nonequal?
True
Let u(i) be the second derivative of -i**3/6 - 3*i**2 - 4*i. Let n be u(-11). Let s be 2/n*(5 + -3). Which is smaller: s or 1?
s
Suppose 5*t - 233 = -4*o, 3*t - 8*o + 11*o - 141 = 0. Is -7 bigger than t?
False
Let n = 40 - 38. Suppose 3*k = w - n*w - 4, 3*w - 8 = k. Which is greater: w or 28/9?
28/9
Let z be ((-164)/(-84))/((-8)/24). Are -6 and z equal?
False
Let y = -0.2893 - -0.1293. Is -37 less than y?
True
Let g = -2208 + 408478/185. Is 0 < g?
False
Suppose -t + 31 = 13. Let m(f) = -f**3 + 18*f**2 + 2*f - 29. Let y be m(t). Are y and 50/9 non-equal?
True
Let b be (-876)/48*(0 + -8). Do b and 147 have the same value?
False
Let h = -0.1504 - -0.0504. Are 2/47 and h non-equal?
True
Let k = 5.33 + -45.33. Which is smaller: -2/5 or k?
k
Let s = 12 - -23. Suppose 0 = -4*o - 11 + s. Let t(u) = -u**3 - 11*u**2 - u + 158. Let q be t(-9). Which is greater: q or o?
o
Let j(g) be the first