. Suppose -2*x = -12*x - 170. Let p be o(x). Which is bigger: 6/23 or p?
p
Suppose 4*v + 67 = -3*m + 7, 4*m + 4*v + 84 = 0. Let l be (m/18)/((-4)/(-6)). Let x be l/6*18/159. Which is greater: 1 or x?
1
Suppose 2 = -2*d + 6. Suppose -3*c + 2*m + d = -0, -3*c = 3*m - 12. Suppose 0 = -c*u + u. Which is greater: -1/3 or u?
u
Let t = 67 + 32. Are 98 and t equal?
False
Suppose -5*s - 3*h = -216, 5*h + 40 = -5*s + 260. Suppose -4*v + 4*a = -188, 2*v + v = 5*a + 149. Is v greater than or equal to s?
True
Let o = -4.3 - -1.3. Which is bigger: o or 0.1?
0.1
Let n = -3 + 1. Let k = n + 3. Let u be 111/(-60) - -2 - 6/(-24). Is k bigger than u?
True
Let q(g) = -g**3 - 18*g**2 + 21*g + 22. Let z be q(-19). Let y be (2 + z/6)/(6/9). Is y smaller than 2/57?
True
Suppose -2*u - 2*u + 76 = 4*j, 0 = j - 2*u - 16. Suppose h = -2*h - j. Let p be 2 - 9/h*-2. Which is smaller: -1/4 or p?
p
Let j = 5324/3 + -1774. Let d = 0.19 + 0.71. Is j greater than d?
False
Let z = 369835/39116 + -1/3556. Which is bigger: 8 or z?
z
Let a = 120 - 61. Which is smaller: 0 or a?
0
Suppose -5*m + 20 = -0*m - h, -3*m + 5*h = -34. Suppose -150 = -m*q - 2*q. Suppose -4*g + y + 17 = 0, 5*g - y - q = -9. Which is bigger: g or 8?
8
Suppose -5*o + 0*h - 189 = 2*h, o = 3*h - 48. Let w be 1/(-3) + o/(-9). Let f be (-2 + -2)*(-8)/10. Which is smaller: f or w?
f
Let l = -90 + 260/3. Is l greater than or equal to -4?
True
Let o = 1 + 42. Let y = 117 + -75. Is o < y?
False
Let h = 0.2 + -0.1. Suppose 0*v = -3*v - 3. Let s be 34*v/8 - 6/(-2). Is h smaller than s?
False
Suppose -6*k - 390 = -2268. Is 312 smaller than k?
True
Suppose 3*f = -f - 2*h + 80, 3*h + 27 = f. Let y be (-14)/f*1*-12. Is y bigger than 11?
False
Let j be (-474)/1659 + 122*15/6503. Which is smaller: 0 or j?
j
Let b be ((-66)/(-220))/(1 - 4/5). Let v be ((-4)/8)/((-2)/48). Is b greater than v?
False
Let n be (-2 - 8/(-6))*9. Let j(a) be the second derivative of a**4/12 + 2*a**3/3 - 3*a**2 + 37*a. Let h be j(-4). Are h and n nonequal?
False
Let k = 3/20 - -31/60. Which is bigger: k or -3/80?
k
Let w = 228 - 683/3. Is -13/4 smaller than w?
True
Suppose 3*o = -l + 236, -9*o + 321 = -5*o - 5*l. Which is smaller: 76 or o?
76
Let t = 462790550/4219 - 109692. Which is smaller: 1 or t?
t
Let d(j) = j**2 - 13*j + 5. Suppose 4*x - 3*y = 29, -4*x + 5*y = -6*x + 47. Let f be d(x). Is -17 <= f?
True
Let z = 0.181 + -0.014. Let v = z - 0.067. Which is smaller: v or -0.028?
-0.028
Let u = 61.2 - 67. Let x = u - -4. Let w = 2.2 - x. Which is bigger: -1/5 or w?
w
Suppose u - 4*s - 15 = 0, 0 = -3*u - s + 3*s + 55. Let q = 97/5 - u. Let k(m) = m**2 - m - 2. Let g be k(2). Are q and g non-equal?
True
Let k = -52 - -51.13. Let i = 0.87 + k. Is i less than or equal to 32?
True
Let o = 1303 - 1322. Suppose 2*y = -g - 22, -2*g + g = -2*y + 14. Which is smaller: o or g?
o
Suppose 67*h = 28*h - 39. Which is greater: h or -33?
h
Suppose -16*b + 10*b = -30. Suppose -b*z - 15 = 0, -4*z = -0*d + 5*d - 28. Which is greater: 3 or d?
d
Let o be ((-396)/30 + 2)/(2/20). Which is bigger: -111 or o?
-111
Let o be 3/9*312/(-20). Which is greater: -5 or o?
-5
Suppose -22*j + 186 = 142. Suppose 0*d = 3*l - 5*d - 82, 4*d = -3*l + 91. Is l bigger than j?
True
Let w(o) = -o**2 + o + 10. Let l be w(-3). Let s = 1031/5 - 207. Is l greater than s?
False
Let f(b) = 3*b - 5. Let j(r) = -7*r + 9. Let u(w) = -5*f(w) - 2*j(w). Let t be u(6). Is t less than -5/8?
False
Let z be ((-3)/2)/((-6)/56). Suppose 0 = -4*l + 3*i + 59, -2*l - 5*i - 4 + 27 = 0. Does z = l?
True
Suppose 21 = -2*h + 5*w, 9*h - 10*h - w - 21 = 0. Is h greater than or equal to -23?
True
Let l = 0.127 - 0.094. Let j = l + -5.433. Is j less than 2/5?
True
Let x = -1264 + 1257. Let v(w) = -23*w - 2. Let r be v(-2). Let f = -131/3 + r. Which is greater: f or x?
f
Suppose g - 3*p - 2*p + 25 = 0, -2*g + 3*p = 15. Let a be 0/(-3) + g + 1. Let f be (-18)/15*a/(-2). Which is greater: 1 or f?
1
Suppose -5*i + 81 = -4*x, i = 2*x + 7 + 38. Let m = -46 - x. Let r = -4 - m. Which is smaller: 19 or r?
r
Let i be (-2)/(-4) - 6/(-4). Let s be ((-6661)/(-739924))/((-1)/i). Let j = 1/3274 + s. Which is bigger: 1 or j?
1
Suppose -3*d - 7 = -5*y - 0*d, 0 = 3*y - 5*d - 17. Let o(k) = -k**2 + 2*k - 3. Let j be o(3). Let w be 3/18 - (-1)/j. Which is greater: y or w?
w
Let n = 74 - 73.84. Let p = 0.06 - n. Are 1.2 and p equal?
False
Let s = 147 - 147. Let g = 3403/57 + -179/3. Which is smaller: s or g?
s
Let j = -23 - -24. Suppose 6*b = 7*b - j. Which is smaller: b or 1/45?
1/45
Let g(s) = -186*s + 2230. Let r be g(12). Let x = 5510/9 + -613. Is r equal to x?
False
Let z = 11 + -6. Let h be (-55)/(-20) + (-1)/(-4). Let t = h - 1. Which is smaller: t or z?
t
Let s = -139.0181 - -0.0181. Is s <= -1?
True
Let l be 20/6*(-99)/(-627). Is l at most 1?
True
Let d be ((1 - 10)/(-9))/1. Let t = 129/4 - 163/5. Let h = 3/5 + t. Which is smaller: d or h?
h
Let k be (146/(-2))/(-2 - -1). Which is bigger: 75 or k?
75
Let i = 139717/2 - 28502179/408. Let o = 48526/308703 + -2/6053. Let h = i + o. Is 1 bigger than h?
True
Suppose 2*y - 4*g + 46 = 0, -y + 5*y - 5*g = -89. Let x = y + 34. Let m = 14 - x. Is -2/13 > m?
False
Let h = -0.5 - -27.5. Let y = h - 27. Is y less than -3/4?
False
Let u(g) = -5 + 5*g - 7*g + 11. Let r be u(3). Is 2/5 at least as big as r?
True
Let k = -725 + 710. Does k = -1/4?
False
Let k = 66.48 + -65. Let l = k + -0.08. Let d = -1.1 + l. Which is smaller: d or -3?
-3
Let v = -393 + 376. Let f = -7.9 + 8. Is f <= v?
False
Let y(s) = -s**2 + 37*s - 35. Let v be y(36). Does -5/87 = v?
False
Let r(s) = -s**3 + 15*s**2 - 19*s + 23. Let l be r(14). Suppose -27 = -2*k - 121. Are k and l equal?
True
Let f be (26/(-208))/(6/(-48)). Which is bigger: f or -10/143?
f
Let y = -0.54 + 0.6. Let z = 18.94 - 18. Let f = z + y. Is -2 <= f?
True
Suppose 143 = -11*x + 55. Let m be 0 + 5 - 0/(x + 14). Let a be (-32)/(-6)*(-3)/(-2). Which is greater: a or m?
a
Suppose 0 = 13*b - 10*b + 9. Let s be 5/(-15) - (-521)/b. Let f = s + 711/4. Is f bigger than -1?
True
Let s(l) be the second derivative of -l**5/20 - 3*l**4/4 - l**3/3 - 13*l**2/2 + 7*l. Let x be s(-9). Which is smaller: x or 7?
x
Let d be 4/(-2)*((-2536)/16 - 8). Is d at most 335?
True
Let u(r) = -r**2 + 6*r - 4. Let d be u(4). Let z = 82 - 75. Suppose b - z = -d*b - o, 5*o - 13 = -3*b. Is 2 greater than b?
True
Suppose 430 = 4*v + b - 0*b, -4*b - 440 = -4*v. Let m be (-18)/117 - v/(-26). Let u be (-3)/1*m/(-12). Which is bigger: 1/4 or u?
u
Let z = 458 - 423.9. Let v = -34 + z. Is 14 equal to v?
False
Suppose 0 = 5*t - 0*t + 70. Let x = 20 + t. Let y be x/(-9)*3/2. Is y at most -1?
True
Suppose -3*n = -2*k + 19, -n = 4*k - 5*k + 7. Suppose -3*b - 27 = 9*w - 6*w, 4*w = b - 11. Which is bigger: w or k?
k
Suppose 4 = 3*h + 4*i, -4 = -2*h + 4*h + 4*i. Which is smaller: -8 or h?
-8
Suppose 9 = n - 3*a - 4, 7 = 3*n - a. Let m be ((-2220)/(-110))/(-3) - -7. Which is smaller: m or n?
m
Let p be 136/102 + (-364)/(-6). Which is smaller: 63 or p?
p
Let j be 9/4 - 6/(-8). Let n be (0/(-2))/(-3) + j. Suppose 10 = -f + n*f. Which is smaller: f or 4?
4
Let f be (-93)/62 + (-122)/4. Let i = f + 19. Which is smaller: -15 or i?
-15
Let l(t) = -6*t**2 - 11*t + 12. Let y(g) = 5*g**2 + 12*g - 13. Let s(x) = 4*l(x) + 5*y(x). Let c be s(-17). Which is bigger: -15/11 or c?
c
Let l(p) = 12*p + 4. Let x be l(-2). Let q = 3 - 22. Which is greater: x or q?
q
Let b be 0*(2 + 0 + -3). Let k = 147 + -130. Suppose b = 4*i + 3 + k. Is -5 equal to i?
True
Suppose -17 + 1 = -2*u - 4*t, 4*u - 32 = t. Let x = u - 28. Which is bigger: x or -18?
-18
Let d = -2850/7 - -1063036/2611. Is 0 at least d?
True
Let i = -175 + 166. Which is smaller: -6 or i?
i
Let s = -14.7 - -14.63. Is s greater than or equal to 30?
False
Let k be (-2)/(-6) + 1152/(-54). Let g be (-2 - -3) + k/28. Are 33 and g non-equal?
True
Let t be 12*(-7)/(-28) + (-7030)/2342. Is t greater than or equal to 0?
False
Let o(v) = v**3 - 4*v**2 - 7*v + 5. Let a be o(6). Let p = a - 35. Let z = -14 + 14.5. Which is bigger: p or z?
z
Let b(n) = -3*n**3 - 2*n**2 + 6*n - 3. Let q(a) = -10*a**3 - 7*a**2 + 19*a - 8. Let c(f) = 7*b(f) - 2*q(f). Let w be c(2). Is -10 greater than or equal to w?
False
Let g be 1 + 4 - 0/(-2). Suppose -2*w = -g*u + 36, -6*w + w = -3*u + 52. L