hich is bigger: q or -64?
q
Let a(f) = f**3 + 10. Let j be a(0). Let y be ((-2)/j)/((-6)/15). Let u be (8/(-6))/(42/(-9)). Which is smaller: y or u?
u
Let q be 1*97/1*8/8. Is 97 smaller than q?
False
Let q(l) = l**3 + 9*l**2 - 11*l - 62. Let c be q(-10). Which is bigger: -54 or c?
c
Suppose 7*m = 5*m - 402. Let z = 149459/832 + 1377/64. Let d = z + m. Which is bigger: d or 0?
d
Let o = 195 + -115. Let a = o - 80. Which is smaller: 1/122 or a?
a
Suppose 15*n = -638 - 6697. Are -488 and n equal?
False
Let p = -129.95 - 0.05. Let z = -108 - p. Is -0.2 bigger than z?
False
Let w = -166 + 115. Let x = 19273 + -19273. Is x at least as big as w?
True
Suppose 0 = 7*u - 9*u. Let m(h) = -h**3 - h**2 + h + 16. Let y be m(u). Suppose -5*i - y - 9 = 0. Which is smaller: i or -3?
i
Let v = -0.72 + 3.843. Let i = v - 0.123. Do 1 and i have different values?
True
Let d be (-4)/((-22)/6 - -3). Let z be (-20)/8*d/10. Let r = 0.5 + -0.4. Is r at least as big as z?
True
Let j(n) = n + 15. Let u be j(-12). Let p be (-4)/8*90/u. Let v be (1 + -1)/(p - -13). Which is smaller: v or 1/11?
v
Let x = 48 + -17. Suppose -3 = 2*t + 4*m - x, 5*t = -m + 61. Are t and 11 equal?
False
Let j be (13 - 1)*(43 + -42). Is 13 greater than or equal to j?
True
Let j(o) = -o**2 + 44*o - 76. Let h be j(11). Is 287 at least as big as h?
True
Suppose 0*j - 70 = -5*i - 5*j, i + 3*j = 4. Suppose -5*m + 4*x + 34 = 0, m - x - i = -2*m. Let y = 12 + -7. Which is bigger: y or m?
m
Let o = 0.09 + 1.73. Let m = -0.18 - o. Are -2 and m equal?
True
Let d be 375/90 - 1/6. Suppose -p = d, m + 2*m + 37 = -p. Which is smaller: m or -10?
m
Suppose 94*g - 81*g = 143. Suppose -3*a + 0 + 33 = 0. Suppose 0*d - d - 2*s = -a, -5*d = 4*s - 55. Is d at least as big as g?
True
Let t be (11 - 9) + 171/9. Which is smaller: t or -3?
-3
Let r = 187 + -186. Let h = -3.6 + 3.49. Which is greater: r or h?
r
Let o = 73 - 15. Suppose 3*w = w + o. Is w smaller than 30?
True
Let g = -509 - -509.08. Is g less than 1?
True
Let w be ((-3)/(-4))/((-3)/(-8)). Suppose 7 = 3*p + w*r + 19, -4*r - 12 = 4*p. Let d be ((-2)/6)/(1/p). Which is smaller: d or 1?
1
Suppose 3*k + 14 = s, -12 = 3*s - 6*s + 3*k. Is s <= -1/236?
True
Let m = 14 - 12. Suppose -2*u = m*u - 20. Let f(k) = k**2 - 5*k + 4. Let z be f(u). Is z >= 5?
False
Let d be (-1 + (-167)/(-3))/(88/132). Is d > 84?
False
Let t be 4*1 - (-462)/165. Which is bigger: t or 8?
8
Let a(v) be the second derivative of -v**4/6 + v**3/6 + v**2 + 14*v. Let k be a(-1). Is k at least -44?
True
Suppose -r + 3*r - 74 = 3*g, -2*r = -g - 18. Which is bigger: g or -109/4?
-109/4
Let q(k) = -k**3 + 8*k**2 - 8*k + 16. Let f be q(6). Let m be 1*f/12 - (-1 - -4). Is m equal to -1?
False
Let f = -4 + 7. Suppose -x - 4 + f = 0. Let i(w) = w + 2. Let k be i(x). Which is bigger: -2/33 or k?
k
Let t = 2812 - 14104/5. Let n = -552/65 - t. Which is smaller: n or -1?
-1
Suppose 3*q - 2*c - 5 = -86, -3*c + 59 = -2*q. Let o be 6/15 + 35/q. Let l be ((-14)/(-63))/((-16)/(-6)). Which is smaller: o or l?
o
Let o = -3.2 - 0.8. Let k = 3.3 + o. Let c = k + 5.7. Is 0 greater than c?
False
Suppose -i = 4, 3*u - 4*u + 5*i = -21. Suppose 0 = -2*x - 7 + u. Is x bigger than -1?
False
Let q be ((-6)/(-12))/((-657)/30). Which is bigger: 0 or q?
0
Let c be -9 + (-970)/(-110) - 350/11. Is -33 at least c?
False
Let l = 0.0741 + -6.0741. Is l < -0.6?
True
Let x(y) = -30*y - 16. Let j be x(-8). Which is smaller: j or 223?
223
Let m(u) = -u**2 - 2*u + 4. Let v be m(-3). Suppose -13 + 8 = n. Let b be n/v*(-1)/3. Are b and 2 unequal?
True
Let x = -162.6 + 74.5. Let m = 88 + x. Which is smaller: m or -70?
-70
Suppose 4*q - 3*p + 7 = 0, 9 - 3 = -5*q + p. Suppose 10 = 4*y - 2. Let a be q/(y/(-9)*3). Which is smaller: a or -1?
-1
Suppose 4*k = 2*v + 82, -k + 90 = 4*k - 5*v. Which is bigger: k or 22?
k
Let o be 1*-3 + -11 + 15. Let z be -2 + (o/1 - (-286)/297). Which is smaller: 1 or z?
z
Let k(b) = b**2 + 10*b + 23. Let r be k(-6). Is r greater than or equal to -18/23?
False
Let w be (11/6 + -1)*-2. Let u(d) = d**3 - d**2 - 2*d + 3. Let k be u(3). Suppose -5*h = 5*o + k, -2 = h + 4*o + 4. Is h >= w?
False
Suppose -3*g + 48 = -2*q, -3*q + g = 6*g + 34. Let j be (5 - 1) + q/15. Is 4 <= j?
False
Suppose -35*k - 23 = -34*k. Do -22 and k have the same value?
False
Suppose 5*l + 201 = -x, -2*l + 2*x - 38 - 52 = 0. Let n = l - 27. Which is smaller: -69 or n?
-69
Let t = -60 - -74. Let l = 13 - t. Which is greater: l or 5/12?
5/12
Let w = 101 + -101. Suppose -5*c - 2*d + w*d = -56, -4*c + 44 = 2*d. Is 12 at least as big as c?
True
Let t be ((-622)/4)/(21/2 + -10). Is t <= -309?
True
Let h = 992 - 12882/13. Let l = h + -85/91. Let p be (-4)/(-34) + (-120)/(-136). Which is greater: l or p?
p
Let m be ((-1)/(-1))/((-65)/10). Let d = 1.75 + -1.4. Let x = d - 0.15. Are m and x nonequal?
True
Let l = 22 - 28. Let n be 1/(-15 - -1)*l. Is n at least as big as -1?
True
Let k = 0.631 - 0.731. Let i be -2 + 3 + 2/18. Is i greater than k?
True
Let l be (-6)/(-12) + 5/(20/14). Let f(q) = -q + 8 + 0*q - 2*q + 4*q. Let d be f(-4). Is l less than d?
False
Let f(t) = t**2 + 6*t + 2. Let l be 92/22 - (-12)/(-66). Suppose 2*a - 34 = l*c, c + 3*c + 3*a + 9 = 0. Let j be f(c). Which is greater: j or 1?
j
Let c = 10 + -7. Let o be (-442)/(-182) + 1*(-3)/7. Suppose -2 = o*k - b - c*b, -3 = k - 4*b. Which is smaller: 6/5 or k?
k
Let a = -4/735 + -4342/12495. Which is greater: 0 or a?
0
Let k be 6/2 - (19 - 21) - -730. Is k less than 736?
True
Let h be 22/33 + 58/102. Is h at most 1?
False
Let y = -419.988 + 420. Is 1/2 equal to y?
False
Let q(b) = 3*b - 21. Let t be q(8). Suppose -4 = 4*s - 0*s + 4*o, -s + t*o - 9 = 0. Which is greater: -11/4 or s?
-11/4
Suppose -4*t - 5 + 13 = 0. Suppose p = 0, t*m + 3*m - 5 = 4*p. Let g(r) = -5*r + 2. Let j be g(m). Is -3 at most as big as j?
True
Let k = 360 - 334. Is 27 greater than k?
True
Let y be 1190/(-22) - 43/(-473). Are y and -55 unequal?
True
Let u be 28/140 - (-74)/10. Let r(s) = -s**3 + 7*s**2 - 7*s + 13. Let l be r(6). Which is smaller: u or l?
l
Suppose -11*k = -75*k - 23104. Is k at most 2/7?
True
Let j be (64/14 - 0) + (-16)/28. Suppose 14*p - j*p = 10. Is -1 at least p?
False
Let s = -0.83 + 0.13. Let j = s + -20.3. Let m = j + 12. Is m less than or equal to 1/2?
True
Let p = -1.2 + 1. Let l = -2.805 - 48.195. Is p greater than l?
True
Suppose 35*v = -8*v - 15136. Is -353 bigger than v?
False
Let z(g) = -13*g - 52. Let o(d) = -9*d - 35. Let v(x) = 7*o(x) - 5*z(x). Let j be v(-6). Suppose -6*a + j*a = 0. Is a less than -4?
False
Suppose 0 = -8*v + 9*v + 4*j - 207, 999 = 5*v + 2*j. Is 200 <= v?
False
Let s = 1399/2 - 727. Let k = s + 51. Let g = 24 - k. Which is bigger: g or 1/14?
g
Let u be 13/(2/6*126/222). Let s = 69 - u. Do s and 2.7 have the same value?
False
Suppose -463*j = -472*j + 1458. Is j <= 163?
True
Suppose -3*u - 2*u + 15 = 4*i, -3*u + 5*i - 28 = 0. Which is bigger: -5/6 or u?
-5/6
Let f = -67 - 12. Is f < -81?
False
Let w(d) = -12*d - 60. Let p be w(-5). Suppose p = 4*g - 3*g + 16. Is g not equal to -15?
True
Suppose 0*x + 4*x - 153 = d, -d = 4*x - 159. Suppose x*i = 37*i. Which is greater: 2/25 or i?
2/25
Suppose 2*k - 2*r - 462 = 0, -r - 157 - 302 = -2*k. Which is greater: k or 230?
230
Let q = 14 - 26. Let w = q - -14. Let c = 2 - w. Is -2 smaller than c?
True
Let s = 512 - 513. Which is greater: s or -4/191?
-4/191
Suppose -i - 21 = 2*l, 3*i + 3*l = 2*i - 16. Let g = i - -95/3. Let k(w) = -w**2 + 4*w + 3. Let h be k(5). Do h and g have the same value?
False
Let w = -43993/15 + 2933. Let k = -1 + 2. Which is bigger: w or k?
k
Let z = 0 - 18. Let w = 35/11 + -223/77. Which is smaller: w or z?
z
Let h = -3422/8931 - 1/687. Suppose g = -2 + 1. Does h = g?
False
Let n be 3 - 3 - 4/14. Let m be 5/305*(0 + -9). Let s = 173/1586 + m. Which is smaller: n or s?
n
Let s(i) be the second derivative of -i**5/20 - 7*i**4/12 - 5*i**3/6 - 4*i**2 - 5*i. Let m be s(-6). Let n be (0 - -7)*(-4)/m. Are n and 3 nonequal?
True
Suppose -2*b + 6*b + 2*r = 50, 5*b + 5*r = 70. Which is smaller: 19 or b?
b
Let t = 583 + -588. Which is smaller: t or -2.9?
t
Let a = 54 + -46. Suppose a*f + 56 = f. Is -6 less than f?
False
Let w = -73/9 + 383/45. Suppose 0 = 5*j + 5*i + 5, -3*i - 6 = -4*j + 4. Which is greater: w or j?