*o. Let l be s(-1). Let k be 2/13 + (-14)/l. Let j = -1 - -1. Which is smaller: j or k?
j
Let r(l) = l + 33. Let g be (40/(-15))/(-4)*9. Suppose 0 = 2*x - g*x - 72. Let q be r(x). Which is smaller: q or 16?
q
Let x be 1/894*(22 - 24). Suppose -2*y + 15 - 13 = 0. Which is greater: x or y?
y
Suppose 64*r = 3*f + 67*r + 21, 4*r = 0. Let j be 3/(-9)*(-78)/(-4). Which is smaller: f or j?
f
Let u be ((-8 - -13) + -8)/((-2)/10352*-12). Is 1/4 greater than u?
True
Let f = 26998 + -23224. Does f = 3773?
False
Suppose -2*m + 1 = 5. Let k = -1078442/285 + 3784. Let w = k - 2557/1140. Is m equal to w?
False
Let r = -182032 - -182360. Let b be (28/6)/((-2)/(-141)). Is r < b?
True
Suppose -40*z = 87104 - 136624. Are 1240 and z nonequal?
True
Let o be ((-4)/6)/(30281/(-321)). Which is smaller: 1 or o?
o
Let q(r) = -4*r + 19*r - 12 + r**2 + 0*r**2 - 9*r. Let m be q(-8). Suppose m*f + 6*l - 5*l + 12 = 0, -l = 2*f + 8. Which is greater: f or -1?
-1
Let l(x) = x**3 - 10*x**2 + 16*x - 14. Let p be l(6). Let y = 54 + p. Let w be (((-354)/(-4))/(-3))/(y/16). Which is bigger: 58 or w?
w
Let i = 2323675 - 76695166/33. Let y = 421 + i. Let x be 3/((-18)/6)*1. Which is smaller: x or y?
x
Suppose -5*k + 8 + 12 = 0. Suppose -k*b + 1089 = 7*b. Let z = 59 - b. Is -1/3 bigger than z?
True
Let q = -52 - 34. Let l be -1 + 7 - -6*(-184)/12. Is q less than l?
False
Suppose 36*z = 58 + 50. Suppose z*j - 4*b = -b - 660, 0 = -j + 2*b - 222. Which is smaller: j or -217?
j
Suppose -54648 = -373*o + 198*o + 193*o. Which is bigger: o or -3038?
o
Let p(h) = h**3 - 5*h**2 - h + 5. Let i be p(5). Let w = 674 - 7424/11. Which is smaller: i or w?
w
Let p be (165/20)/((-3)/(-8)). Let r = 26 - p. Suppose -r = 5*w + 1. Which is bigger: w or -2/15?
-2/15
Let m be -16*-5*(-8)/10. Let z be -4 + 6 + m/34. Let i(w) = w**3. Let u be i(-1). Which is bigger: u or z?
z
Suppose -14265 = 53*u - 8*u. Which is bigger: -300 or u?
-300
Let t be 22356/6 - (-8 - -19). Which is bigger: 3716 or t?
3716
Let q = 786.53 - 790. Let z = q - -4.47. Let f = 9.7 - 1.7. Is z at least f?
False
Suppose 3*u = 377 - 1400. Let x = 367 + u. Let r = 32 + -7. Which is bigger: r or x?
x
Let v = 216.44 + -216.543. Is v bigger than -18/11?
True
Let u(j) = 2*j**3 - 5*j**2 + 6*j - 27. Let w be u(3). Which is bigger: w or 16/167?
16/167
Let i be (2 + 170/(-90))/(5/45). Which is smaller: -1220 or i?
-1220
Let f(m) = -14*m**2 - 43*m - 3. Let o be f(-3). Let u = 6 + -8. Let v be (-1)/u*(-9)/(-21). Do o and v have different values?
True
Let k = -44/455 - 91634/40495. Is k less than or equal to -2?
True
Suppose -2*o = n - 58, 56*n - 215 = 51*n + 5*o. Suppose -5*h + 109 + 126 = 0. Does h = n?
False
Let a(u) = -u**3 - 4*u**2 + 6*u + 7. Let l be a(-5). Let w be (l/(-3))/(1/(-3)). Let h = -490193 + 490195. Is h greater than or equal to w?
True
Suppose -3*l - 1687 = 3*d + 2483, 2*l - 6957 = 5*d. Is -0.3 greater than d?
True
Let a be (-33)/(-2) + -2 + 15/(-30). Let k(j) = j - 13. Let m be k(a). Which is bigger: m or 3/28?
m
Let q = 0.01 - -40.99. Let u = 54 - q. Let g = -12 + u. Which is greater: -0.8 or g?
g
Let k = 4303.9 - 1066.9. Which is smaller: -3 or k?
-3
Let y = -10 + 19. Let o = 0.065 - 0.091. Let u = -0.226 - o. Is u less than y?
True
Let s(k) = -43*k + 523. Let v be s(11). Which is smaller: -12 or v?
-12
Suppose 2*s + 18 = -4*l + 12, 5*s = 4*l + 41. Let q be 159*(216/(-81))/(s*6). Is -14 at least as big as q?
True
Let j = -0.72 + 51.72. Let d = j + 20. Let f = -62 + d. Which is bigger: -3 or f?
f
Let l = -10376 + 10375.9. Which is smaller: l or 86?
l
Let n(d) = -14*d - 21. Let x be n(-7). Let c be 0 - -2 - (-42)/x*-4. Which is smaller: c or 10?
c
Suppose 0 = -r - 3*r - 292. Let l = 77 + r. Let t be ((-14)/(-4) - l)/(-1). Which is smaller: t or 10?
t
Let f = 255 - 253. Suppose 0 = -2*b - 3*b - f*z - 404, 0 = 3*z - 9. Which is smaller: -80 or b?
b
Let a be 4488/(-11270) + 52/130. Let t be (1/2)/(10/(-20)). Are a and t non-equal?
True
Let q = -16843927/278886 - -3201/53. Which is bigger: q or 0?
0
Let w = 5801 + -7713. Which is bigger: w or 1/2?
1/2
Suppose 3*h + 2 = 4*h - 3*w, h - 5*w = 6. Let d be (-416)/260*(-30)/h. Which is bigger: -9 or d?
-9
Let q(j) = 6*j + 120*j**2 - 4 - 255*j**2 + 129*j**2 + j**3. Let z be q(5). Suppose -3*w = -3*n - 12, 2*w - z = 4*n + w. Which is smaller: n or 3/22?
3/22
Suppose -d - 277 = -2*t, 5*t + 2*d - 706 = -0*d. Suppose -y = 137 - t. Let b be (-2)/(-4) + -3 + 5. Which is bigger: y or b?
y
Suppose 111 + 492 = -3*w + 3*b, 2*b = 2. Which is greater: w or -2208/11?
w
Let r = -9784.2 + 9785. Is 199 at least as big as r?
True
Suppose 0 = 2*i + 2*l + 100, -1105*i + 3*l + 262 = -1110*i. Let o = 42 - 99. Is i less than o?
False
Let j = -34.012 - -1.012. Which is greater: 8 or j?
8
Suppose 24*i - 28*i = -5*g + 20653, -3*g = -i - 12396. Which is smaller: 8263/2 or g?
8263/2
Let z be (-826)/114 - (62 - 69). Which is smaller: z or 1?
z
Let o be (5/3 + 0)*-3. Let w(p) = p**3 + 79*p**2 - 83*p - 243. Let y be w(-80). Is o less than or equal to y?
True
Let w(m) = -m**3 - m**2 + 6*m + 3. Let t be w(-3). Suppose -5*x = -4*x - t*x. Suppose 0 = 10*d - x*d. Is d > 1?
False
Let f be (-72)/9 - (-4 + 1164/(-426)). Which is smaller: -1 or f?
f
Let g = 89 + -92.1. Let v = g + 4.1. Which is bigger: v or -1/5?
v
Let f = 6316 + -31316/5. Which is smaller: f or 54?
f
Let f be (-25)/(-30) - (-6892)/24. Let h be 1178*(-2)/90 - 64/f. Is h less than -26?
True
Suppose 3*i = 9*i - 6. Suppose -2*j - 5*k - 11 = 0, 3*k + i = -0*j - 4*j. Suppose j*c = 5*w - 62, -w = 3*w - 8. Which is greater: c or -25?
-25
Let m = -41056/51 - -805. Let f = 19.1 + -19. Which is smaller: m or f?
m
Suppose q + 21 = 23. Suppose -q*x = 7*x. Is -1/91 >= x?
False
Let p be (40/320)/(1/32) + (-3866)/(-1). Is p <= 3870?
True
Let u = -19064 + 18871. Which is greater: 11/4 or u?
11/4
Let q(s) = -2*s**2 - 154*s - 157. Let p be q(-76). Is p bigger than -53/9?
True
Let d be ((-1680)/9)/2 + -2. Let u = -6560/69 - d. Suppose -166*y + 10 = -126*y - 30. Which is bigger: y or u?
y
Let a = 4 - 1. Let u be (-20690)/(-3120)*5/(1285/63). Let f = u + -2/3341. Is f greater than or equal to a?
False
Let w(a) = -2*a**2 - 19*a - 4. Let q be w(-9). Suppose 0 = 2*o + 2, q*o + 977 = -5*v + 8*o. Which is bigger: -195 or v?
-195
Let o(m) = 3*m**2 + 3*m + 4. Let v be o(-2). Let d = 51 - 71. Let a be v*3/8*d/(-30). Does -2 = a?
False
Let k(c) = 4*c + 52. Let t be k(15). Suppose -18*b - 140 - t = 0. Let q = -22 + 9. Which is smaller: q or b?
b
Let j = -93.9951 - 0.1449. Let r = j + 95. Let y = 0.14 + r. Which is smaller: y or -15?
-15
Let t = -480.3 - -501. Let l = 49 - 32. Let r = t - l. Which is greater: r or -0.1?
r
Let f = 426 + -332. Suppose -f = 6*d + 140. Let t(x) = -6*x**3 + x**2 + 2*x + 1. Let s be t(2). Is s less than d?
False
Let m be ((-4 - -1)/(-9))/((-2)/(-1158)). Suppose -77 = 6*c + m. Is -48 bigger than c?
False
Let c(g) be the second derivative of 6*g**2 - 1/3*g**3 + 0 - 1/20*g**5 - 1/2*g**4 - 13*g. Let q be c(-5). Which is smaller: 1 or q?
q
Suppose 5*i - v + 1983 = 622, 0 = 4*i + 4*v + 1060. Which is bigger: i or -273?
i
Let d be (3/(-2) + 0)/(46/368). Let y be (4/(-8))/(2/d). Let u be y/(-6)*(-1)/23. Are u and 0 equal?
False
Let u = 53 + -144. Let z = 29 + u. Is z <= -61?
True
Let y(n) = n**2 + 4*n + 3. Let x(w) = 2*w**2 + 76*w - 81. Let a be x(-39). Let h be y(a). Which is smaller: -11/14 or h?
-11/14
Suppose 15 = -30*g + 33*g. Let n = g - 2. Is 16 smaller than n?
False
Let a = -14397/8 - -6190711/3440. Are a and -1 equal?
False
Let a(j) = 917*j - 100. Let x be a(-2). Are -1935 and x unequal?
True
Let s be 1215/((-1485)/33) + 46. Let m(z) = -z**3 - z**2 + 3*z + 5. Let n be m(-5). Suppose k - 2 = 2*l + 2*l, 5*k - 4*l - n = 0. Is k not equal to s?
True
Let x be (-5)/((-4)/630*-7). Let n = -112 - x. Is n bigger than 27?
False
Let x be -2 + (-8)/(-5) - (-217)/31. Do x and 6 have different values?
True
Let l(j) = 2*j**3 - 17*j**2 - 30*j + 36. Let b be l(-9). Is b bigger than -1/3?
False
Let k(t) = -3*t - 58. Let y be k(-23). Suppose y*u - 80 = 9*u. Let s = 31 - -8. Is s < u?
True
Let d = -2241 + 2175. Do -65 and d have the same value?
False
Let n be ((-1)/(-2)*7)/(4/(-8)). Let j be (-12)/(-126)*n + 97/(-12). Suppose -2*o - 3*o - 45 = 0. Are o and j equal?
False
Let k be ((-