 Which is greater: 0 or x?
x
Let l(h) = -h - 11. Let q be l(-5). Let v = 18 + q. Which is greater: v or 11?
v
Let d = 44.72 + -43. Let y = d + -0.72. Let f = 3.7 - 0.7. Which is greater: f or y?
f
Let n(b) = 2*b**2 + 21*b + 26. Let q be n(-7). Which is smaller: -21 or q?
q
Let c(b) = -2*b - 7. Let k be c(-6). Suppose -3*r = -q + 2*r - k, -q = -4*r + 3. Let j be (q/(-3))/(80/(-288)). Is 6 at most j?
True
Let p(u) = 3*u - 1. Let b be p(1). Suppose b*m = 4*m - 2. Let a = -5118 - -5121. Is m < a?
True
Suppose -3*z + 18 = -0*z - 3*q, 2*z - 4*q - 2 = 0. Let o be 4674/8 + z/(-44). Let f = 14596/25 - o. Is f smaller than 0?
True
Let m(t) = -40*t - 372. Let i be m(-13). Is i >= 147?
True
Let p = 1663.991 + -1664. Is 0.18 > p?
True
Let r be ((-2)/(-2))/(10/(-4)). Let c = -13 - -18. Suppose -c*f - f = 0. Which is greater: f or r?
f
Let d be (-2)/15 + 224/105. Let c be (2/d)/(8/16). Suppose -3*u = -5*u + c. Does u = 3/11?
False
Suppose d - 13 + 33 = 4*f, 25 = -d + 5*f. Which is bigger: 3 or d?
3
Let t = -24 - -51/2. Let z(v) = -v**2 + 10*v - 8. Suppose 2*l - 4*l = -18. Let b be z(l). Which is bigger: t or b?
t
Let q(b) = -2*b**3 + 3*b**2 + 8*b - 18. Let i be q(2). Which is greater: i or -7?
i
Suppose -5*o - 8 = -3*o, 3*b - 4*o = 13. Is -1 not equal to b?
False
Suppose 16 = 3*o + 5*c - 6, o - 3*c = -16. Is o less than 1/946?
True
Let m be 4/(-12)*2 - 20/(-30). Is -7/62 greater than m?
False
Let z = 45.4 - 139.4. Which is smaller: z or 2/7?
z
Let o = -3445/8 + 431. Suppose 4*i + 0*i = 0. Suppose 2 = 10*k - 5*k + 3*f, 3*k - 5*f - 8 = i. Is k > o?
True
Suppose -17 = 4*q - 3*u - 5, -2*q + 4*u = 16. Suppose q = -0*i + 2*i + 2. Is -24/19 < i?
True
Let i be 0 + 0 + (-2 - 2). Suppose -4*b = -3*b + 5*r + 14, 48 = 3*b - 3*r. Suppose -h + 3*n + 3 = 0, 5*h + b = 4*n + 4. Is i less than h?
True
Let s be (-9)/((-315)/305) + -9. Let u be 6/2 - (5 + 50). Is s greater than u?
True
Let s = -6 - -5. Let x = -57 - -6. Let h = x + 60. Is s >= h?
False
Let c = 0.0552 - -0.1978. Let z = 7.597 + c. Let f = -0.15 - z. Which is bigger: f or 2/7?
2/7
Suppose 2879 + 9053 = -76*g. Which is smaller: g or -154?
g
Let x be 304/38 + 235/(-23). Which is bigger: -1 or x?
-1
Let q = -0.018 - -25.018. Let g = -24.9 + q. Which is bigger: g or -6?
g
Let j(f) = f**2 + 15*f + 7. Let b be j(-11). Let o = b - -45. Which is smaller: 20/3 or o?
20/3
Suppose -d - 8 = -55. Suppose -2*t - 48 = -38*b + 37*b, t = -b + 45. Is b bigger than d?
False
Suppose -5*a - 1840 = u + 90, 1158 = -3*a + 5*u. Is -387 greater than a?
False
Let h(n) = n + 5. Let k be h(3). Suppose -k*j + 9*j = 0. Which is smaller: -3/8 or j?
-3/8
Suppose 2*b + 4*u + 16 = 6*b, 3*b + 3*u = 42. Let v be (-13)/(-2) + (-7 - 34/(-4)). Is v at least b?
False
Let p be 21/(-28)*40/(-30). Which is smaller: 3/317 or p?
3/317
Suppose 0 = 21*l - 13*l - 600. Let z(f) = 20*f**2 + 3*f. Let r be z(-2). Which is smaller: r or l?
r
Let c be 40/700*-5 - 997/(-3465). Which is smaller: -1 or c?
-1
Suppose a = -0*a + 21. Suppose 2*f + u = 46, f = -0*u - 3*u + 23. Is f smaller than a?
False
Let o(j) = j**3 - 6*j**2 + 5*j - 29. Let z be o(6). Which is greater: z or 20/9?
20/9
Let i = -447 - -507. Which is smaller: i or 68?
i
Let s = -26 - -28. Suppose 2*z + s*z = 0. Which is bigger: -1 or z?
z
Let s = -1057 + 1157. Is s bigger than 101?
False
Let i(v) = 15*v + 6. Let c be i(-1). Is -11 not equal to c?
True
Let n be 27/(-6)*(-3)/(6/272). Let w be n/78 - 2/(-13). Do w and 5 have the same value?
False
Let q = 41 + -53. Let w = -32 - -21. Is w at most as big as q?
False
Let u = 0.98 - 0.9. Let s = u - -8.92. Let a = 9 - s. Which is bigger: 0.2 or a?
0.2
Let q = -18 + 7. Let r be (-18)/7 - (q - -7). Do r and 0 have the same value?
False
Let s be (-1)/(-3) + (-44)/(-66). Let k(g) = -g**3 + 2*g**2 + 3*g - 5. Let t be k(4). Let x = 51/2 + t. Which is bigger: x or s?
s
Let m = -0.9 + 1.2. Let t = m + -0.4. Is 0.4 less than or equal to t?
False
Let v = 3 + -13. Suppose -33 = -0*f + 3*f. Let g = v - f. Is -1.1 != g?
True
Let k be (128 - 24/4) + 3 + 0. Which is greater: 122 or k?
k
Let z(w) = -43*w + 383. Let v be z(9). Is v < -70?
False
Let g be 133 + (3/(-9) - (-34)/(-6)). Is 126 >= g?
False
Let x = -42 + 46. Suppose 2*d - g = -6*g + 43, x*d - 46 = -2*g. Which is smaller: d or 11?
d
Let a = -55.4 - -54.4. Let p be ((-4)/(-10))/((-2)/(-20)). Suppose j - 2 + p = -2*m, -2*j = m + 1. Is a greater than m?
False
Let g = 16.72 - -2.28. Let i = 22 - 4. Let q = i - g. Is 2/3 at least q?
True
Let q = 1/126 + -29/126. Suppose -3*d + d - 12 = 0. Let a be ((-108)/240)/(d/8). Which is smaller: q or a?
q
Let u(b) = 7*b**3 + 11*b**2 + 12*b. Let d be u(-1). Is -25 less than d?
True
Let h = 30 + -38. Let o be h/82*8/(-16). Which is greater: 0 or o?
o
Suppose 7*w - 12*w = -50. Suppose w*r = 7*r - 21. Which is bigger: -5 or r?
-5
Let k be 10/(-2) - (-3 - -11). Is -4 at most k?
False
Let a(f) be the second derivative of -f**3/3 + 2*f**2 - 258*f. Let x(b) = b**2 - 3*b - 2. Let z be x(2). Let i be a(z). Is i greater than 14?
False
Let n(s) = -s**3 - 11*s**2 - 11*s - 11. Let b = 2 - 12. Let z be n(b). Let l be 4/2*2/(-4). Does l = z?
True
Let g(t) = 4*t + 10. Let r be g(-2). Is r equal to 24?
False
Let m be -6*1/(3/(-2)). Suppose m*p + 12 = 4*a, 0*p + 3*p = -3. Let d be -2 - (-8 + 20/5). Is d at least as big as a?
True
Let h be (-2)/((-5)/((-10)/(-4))). Let d = -2 + 7. Suppose 0 = -5*m - 0 - d. Which is smaller: m or h?
m
Let z(f) = -2*f + 0 - 6 - 4. Let p be z(-7). Suppose -13 - 32 = -9*t. Which is greater: t or p?
t
Suppose 0 = 31*t - 7*t - 408. Let h be (46/(-8))/(3/(-9)). Is t <= h?
True
Let f(x) = 6*x + 11. Let g = 41 + -43. Let a be f(g). Which is smaller: 2/47 or a?
a
Suppose -2*u + 5 = -3*x - 9, 0 = 4*u + x. Let w(j) = 3*j**3 - j. Let o be w(u). Suppose -o*v = -6*v - 8. Is v less than -1/2?
True
Let a = -7.039 + 0.039. Which is greater: -0.4 or a?
-0.4
Let n = 18 - 2. Suppose -n*z = -4*z - 564. Is 47 > z?
False
Let g be (118/(-8))/(7/28). Let p = -67 - g. Suppose -4*k - 2*a = k + 22, 0 = -5*a + 20. Which is bigger: p or k?
k
Let m be ((-58)/(-4) - -2)*42. Let d be (-2)/(-7) + (-387)/m. Which is bigger: 0 or d?
0
Let s = -473/5 - -95. Let j be 3 + 2 + 44/(-12). Is s bigger than j?
False
Let t = 53247/8 - 6639. Which is bigger: 18 or t?
18
Let t = -55/3 - -18. Let q = 652 + -651. Is t at most q?
True
Let f = 14 + -10. Suppose f - 13 = 3*n. Let i be (0 - 1)*(4 - n). Which is bigger: i or -6?
-6
Let u be (-2)/9 - 0 - 320/(-1035). Are u and 24 equal?
False
Let p(m) = m**2 - m - 3. Let d be p(0). Let f be (1 + 0)*6/d. Let c be ((-10)/4 - f)*0. Which is smaller: c or -1/3?
-1/3
Let y(f) = f**2 + 5*f - 4. Let v be y(-7). Suppose t + 2*a = v, 0 = -2*t + a - 3 - 2. Is t smaller than 2/39?
True
Let d = -1859 - -1859. Let g = -2 - -2.02. Which is greater: g or d?
g
Suppose 2*z = -4 - 0. Let v = z + 3. Let i be (1 + -1)/v - -3. Is 3 less than i?
False
Suppose -2*j + 14 = 8. Suppose -2*g = 3*a, -j*a + 3*g - 12 = g. Let n = -14/15 - -4/15. Are a and n unequal?
True
Let h(a) be the third derivative of -a**5/60 + 5*a**4/24 + 5*a**3/6 - 7*a**2. Let m be h(7). Is -10 <= m?
True
Let j be ((-1219)/(-69))/(10/12). Which is smaller: 1/2 or j?
1/2
Let p be 84/20*(417/(-135) - -3). Let a = -1/25 - p. Is 10 bigger than a?
True
Suppose -4*t = 5*p - 99, 2*p = -3*t - 15 + 49. Which is smaller: 14 or p?
14
Suppose h + 8 = 5*h - 5*b, h + 4*b = 2. Is -241 <= h?
True
Suppose -3*l + 15 = 5*z, l = -0*z + 3*z - 9. Let x = -4 - -7. Suppose -x*n + 8 + 1 = l. Does n = 3?
True
Let x = 5/33477 + -181211021/133908. Let d = x + 1375. Let n = d + -22. Which is greater: 1 or n?
1
Let r = -18 - -46. Let w = -55 + r. Is w smaller than 1?
True
Suppose 7*q + 345 = 13*q + 93. Let a(m) = 3*m**2 - 5*m - 2. Let v be a(-3). Which is greater: v or q?
q
Suppose 2*h + v + 53 = -2*h, -2*v - 70 = 5*h. Let f be (104/(-100))/(h/20). Let y = f - 7/5. Which is smaller: -7/2 or y?
-7/2
Let f(v) = 5*v - 4*v + 0*v - 20. Let o be f(14). Let k = -9 + o. Which is smaller: k or -14?
k
Suppose 925*u - 927*u + 536 = 0. Is u < 267?
False
Let p(o) = -24*o - 129. Let r be p(-5). Is r smaller than -0.1?
True
Let a = 245 + -305. Is a at least -63?
True
Let a = -3/13 - -22/39. Let i = 33.02 + -33. Let p = -0.16 - i. Is a greater than p?
True
Suppose -2 = g - 