u
Let l be (2/(-6)*2)/((-8)/204). Which is bigger: 18 or l?
18
Let k be ((-2)/(-1 - 0))/2. Suppose 1 + k = -2*c. Let t be (c - 0)*-4 + -1. Is t at most 3?
True
Let z(t) = -6*t**2 - 1 + 4*t**2 - 12*t + t**2. Let o be z(-12). Which is smaller: o or -3/2?
-3/2
Suppose -5*u + 3 = 4*a, 5*a + 4*u - 20 = u. Let h = 20 - 19. Suppose -3*d + a = 4*w + h, -d - 3*w = -7. Which is greater: -1 or d?
-1
Suppose 3*n = 4*o - 11, 5*o - 1 - 11 = 2*n. Let p(a) = a + 1. Let y be p(n). Let h be 3 - 2 - 6/8. Is y less than h?
True
Let r = 16 + -127/8. Let q(j) = j + 7. Let y be q(-5). Suppose y*w = 2*u - 6, 5*w + 2*u + 3*u = 15. Is r less than or equal to w?
False
Let w be (-6)/10 - (-102)/(-30). Suppose 4 = -5*h - 11. Let b(g) = -g**3 - 3*g**2 - 3. Let y be b(h). Is w less than or equal to y?
True
Suppose 4*w + w - 3*r = 13, -1 = r. Let t be (-2)/6 - 48/(-9). Suppose 5*a - t*v - 15 = 0, 5*a + 3*v - 15 = 6*v. Is a at least as big as w?
True
Let s = 292 + -13138/45. Which is smaller: s or 1?
s
Let t(v) = v**2 + 5*v + 2. Let y be t(-3). Is y less than 2?
True
Let h be (6/(-10))/(5/(-25)). Suppose h*a = 8*a. Which is smaller: 14 or a?
a
Suppose -3*g + 399 = 5*i, 0 = -2*g - i + 4*i + 266. Let w = -1997/15 + g. Is 1 bigger than w?
True
Suppose -r - r - 10 = 0. Let u = 4 + r. Let m(b) = b + 2. Let p be m(u). Which is smaller: p or 2/5?
2/5
Suppose -2*s - 3*y = -29, -2*y + 47 - 9 = 4*s. Which is bigger: s or 10?
10
Let q = -0.26 - 0.04. Let p(l) = 4*l**2 + l. Let i be p(1). Suppose 3*m + i = -2*m. Which is greater: m or q?
q
Let q(s) = -s**2 + 2*s - 2. Let d be q(0). Are d and -2 nonequal?
False
Let q = -0.1 - -1.1. Let x = -2 + q. Let f = 8 + -9. Does f = x?
True
Let v = 2.95 + 0.05. Let q = -1.3 + 1.2. Which is smaller: v or q?
q
Suppose -t + 3 = -2*r, 0 = -5*t + 4*t - r. Which is smaller: 4/5 or t?
4/5
Let t(y) be the first derivative of -y**2/2 + y - 1. Let v be t(2). Which is greater: v or -0.05?
-0.05
Suppose 1 = 5*p - 9. Suppose 4 + 7 = -p*q + i, 2*i = -5*q - 50. Let l be (24/6)/8*-16. Is l less than or equal to q?
True
Let d(o) = -14*o + 3 + o - 3*o. Let b be d(3). Let g be ((-12)/b)/((-6)/15). Which is greater: g or 2/7?
2/7
Suppose -2*k - 2*k = -v - 36, -2*v = -3*k + 87. Let x be ((-4)/v)/(10/2344). Let q = -61/3 + x. Which is greater: q or -1?
q
Let p = -105/452 + -2/113. Let l(j) = -5*j + 4. Let k(u) = 6*u - 4. Let w(d) = 6*k(d) + 7*l(d). Let v be w(-3). Which is bigger: v or p?
v
Let x = -4 + 1. Let j(m) = m**2 + 9*m + 9. Let b be j(-8). Let y be (-5)/3 + b/(-3). Is x less than y?
True
Suppose 8*r - 60 = 2*r. Is 29/3 > r?
False
Let c = 7 + -7.25. Let t = 2.75 - c. Is 1 not equal to t?
True
Let r(k) = -k**3 + 6*k**2 - 6*k + 2. Let o be r(5). Let d be 10/(-8) - o/12. Which is smaller: d or -2/3?
d
Let x(h) = h**2 + 8*h + 6. Let k be x(-7). Let t be 26/42 + 7/(-21). Which is smaller: t or k?
k
Let s(z) = 2*z - 4. Let m(c) = -c**3 + 7*c**2 + 9*c - 3. Let l be m(8). Let h be s(l). Let n be 0 + (h/3)/(-10). Is -1 equal to n?
False
Suppose 0*l - l + 10 = 2*b, 4*l = 2*b - 20. Let m be (b/12)/(2*-1). Let i = -3 + 1. Which is greater: m or i?
m
Suppose -2*s = 2*s + 80. Let i be (37 - 1)*(-165)/s. Let r = -8615/29 + i. Is r less than 1?
True
Let s be ((-2)/(-7))/((-27)/21). Let r be (-3 - (-1 + -1)) + 0. Is s > r?
True
Suppose -16*n = 127 + 49. Is n != -11?
False
Suppose 5*q = -0 + 5. Let l = -130 + 653/5. Which is greater: l or q?
q
Let w = -75 - -601/8. Let g = -1 + 1. Which is smaller: g or w?
g
Suppose n - 6*n = -25. Let m = -5 + n. Is m less than -4/5?
False
Let j = -5805/29 + 200. Is j <= -1?
False
Let g be ((-140)/(-44))/(-1) + 3. Let s = -1 + 0.9. Let j = s + 0.1. Which is greater: j or g?
j
Let s(r) = r**3 - 3*r**2 + 2. Let y be s(-4). Let k be (-1)/3 + y/(-6). Let x be k/(-8)*(-3)/9. Which is bigger: x or 0?
x
Suppose 0*p + 36 = -3*p. Let q = -7 - p. Suppose 0 = -0*t - q*t - 4*x - 7, 3*t - x = 6. Which is greater: t or 0?
t
Let j = 419/528 - 17/22. Which is smaller: 1 or j?
j
Let y(c) = -c**3 + 8*c**2 + 17*c + 11. Let w be y(10). Which is smaller: w or -18?
w
Let w = -4 + 3. Let q = w - -1. Let a = -0.3 + 0.3. Is q bigger than a?
False
Let j = -2.8 + 2.7. Is 18 < j?
False
Let h = -77 - -70. Is -2 < h?
False
Let t(s) = -s**2 + 4*s - 4. Let d be t(3). Is d <= 3/7?
True
Let m = -14 + 16. Let i = 4 - 3. Suppose u + i = m*x, 3*x - 6 - 13 = 5*u. Is x at most as big as -2/3?
True
Let c(w) = -w**2 - 9*w - 6. Let z be c(-8). Which is smaller: -3 or z?
-3
Let i be 2/5 + 4/(-10). Suppose -4*n + n - 9 = i. Suppose 2*k + 7 - 1 = 0. Is k <= n?
True
Suppose -3*h - 9 = -24. Suppose -w = h*b, -3*w + b = -b. Are -1 and w unequal?
True
Suppose 0 = -9*w - 15 - 318. Which is bigger: -39 or w?
w
Let f(a) = -3*a - 20. Let j be f(-8). Is 2 bigger than j?
False
Suppose 0 = -0*n - n + 2. Let m be (3 - 2)/(n + -1). Let w = -15.3 + 15.5. Which is bigger: w or m?
m
Let i(l) = -4*l + 0*l - 3 + 2*l. Let p be i(-2). Is 1 smaller than p?
False
Suppose 0 = -3*k + 6*k. Let l = k + 7. Is 7 > l?
False
Let p(g) = g**2 - 2*g - 21. Let m be p(5). Is m at least -7?
True
Let o be ((-1)/(-9))/((-16)/24). Which is greater: 2/3 or o?
2/3
Let g = 19 - 11. Let q = -104/9 - -715/72. Let j = q - -9/8. Is g < j?
False
Let k = -0.2 + 0.2. Do k and -5/4 have different values?
True
Let u = 15 + 0. Let j(v) = -v + 16. Let y be j(u). Let w = -19 + 41/2. Is w bigger than y?
True
Let a = -23 + 25. Suppose a*s - 5 + 1 = 0. Let m(i) = 2*i + 6. Let q be m(-4). Do s and q have the same value?
False
Suppose 0*g - g = -12. Which is greater: g or 10?
g
Let q = -1 + -1. Let y = 0.017 - 26.017. Let g = -23 - y. Does g = q?
False
Let s = -288 - -559/2. Let q = s + 25/3. Which is smaller: 0 or q?
q
Let r(u) = u - 4. Let f be r(2). Suppose 2*t - 2 = t. Suppose t*g + 5 + 3 = 2*n, 2*g = n - 8. Which is greater: f or n?
n
Let k be (32/40)/(76/10). Is k greater than -1?
True
Let r(p) = -p**2 + 13*p + 8. Let f be r(8). Which is greater: f or 49?
49
Let a = 208 - 117. Let c = 639/7 - a. Suppose -3*v - k + 2 = 1, v = 2*k + 5. Which is smaller: v or c?
c
Let v = 60 + -50. Is 45/4 >= v?
True
Let f be (10/14)/5 - 0. Which is smaller: -0.4 or f?
-0.4
Let k = 19 + -20. Is k at most as big as -2/73?
True
Let p = 1 + -2. Let v be 2 - (1 + p) - -3. Suppose 5*f = 2*b - 9, -v*b + 6*f - 2*f = -14. Is 3 greater than b?
True
Let y = -2.5 + 3.5. Which is smaller: y or 1.1?
y
Let x = 29 + -35. Is x <= -7?
False
Let k(o) be the first derivative of 2*o**3 - 3*o**2 + 3*o - 1/4*o**4 - 2. Let r be k(5). Is -1 equal to r?
False
Let s = -62/11 + 57/11. Let z = s - -21/22. Does -3/5 = z?
False
Let r = 116/9 - 1187/90. Suppose 3*v + 7 = -5*l + 2*v, -2*v = 3*l + 7. Which is bigger: l or r?
r
Let f be (-2*2/2)/2. Let j = 8/13 + -14/65. Is j greater than f?
True
Let o be -7 + 16471/1974 + (-4)/3. Is o not equal to 0?
True
Suppose 0*t - 3*t = 0. Let u = -9 - -15. Let z = 7 - u. Is z equal to t?
False
Suppose 5*t - 5 = 0, 4*s + 5*t = s - 40. Which is greater: -17 or s?
s
Let p = 45/11 - 529/132. Let o = 70/33 - 27/11. Is p > o?
True
Let d(a) = 5*a**3 + 2*a**2 - 1. Let j be d(1). Suppose j*l + 6 = 3*l. Which is smaller: -3 or l?
-3
Let u = 59 + -28. Is u smaller than 0.1?
False
Let o be ((-6)/(-3))/(1/10). Let n be 32/30 + (-8)/o. Is 3 at least n?
True
Suppose -4*o + 12 = -2*a + 2, -2*a - 10 = 3*o. Is -1/11 less than o?
True
Let x(p) = -p**3 - 17*p**2 + 20*p - 30. Let a be x(-18). Is -65 bigger than a?
True
Let r = 524/1335 + 2/267. Which is bigger: -24 or r?
r
Let i = -0.1 + 0.1. Let z be (-6)/(-6) - 2/2. Is i not equal to z?
False
Suppose -7*h + 152 + 44 = 0. Is h > 26?
True
Let k be (48/9)/((-7)/(-12)). Which is smaller: k or 10?
k
Let b = -7.6 + -0.4. Let g = b - -11. Let c = g - 3.1. Which is bigger: c or -0.3?
c
Let b = -15.89 - 0.11. Let s = -15 - b. Which is smaller: -4 or s?
-4
Let p = -10.7 - -11. Which is bigger: p or 1?
1
Let r(b) = -b**2 - b + 7. Let f be r(0). Let h be -3*2*9/(-6). Is h bigger than f?
True
Suppose -230 = -2*s - 228. Suppose -4*y + 4*l - 4 = 0, -y - 2*l = -2 - 3. Is y greater than or equal to s?
True
Let n be ((-10)/(-4))/((-65)/(-52)). Which is greater: 0 or n?
n
Let s = -1.5 - -5. Let a = -0.5 + s. Let w = -0.13 + 2.13. Which is greater: a or w?
a
Suppose -l + 18 = 2*l + 4*n, l - 6 = -5*n. Is 2 at most l?
True
Let l be 0/(0/(-4)