se 5*k + 40 = -w + 16, -2*k + 5*w = 15. Which is greater: k or -17?
k
Let f = 4.51 + -4.51. Which is bigger: f or -37?
f
Let j = 220 - 220. Which is smaller: j or -1/26?
-1/26
Let s be 10*-2*2/2. Let o = s - -13. Is o < -1?
True
Let h be 1 + -6 + (62 - 0) + 1. Which is greater: h or 57?
h
Let d = -1992/82355 + 2/905. Let r(t) = -t**2 - 26*t + 232. Let g be r(7). Which is bigger: g or d?
g
Let u be (-822)/(-66) + 12/22. Does 23/2 = u?
False
Let r(i) = 24*i**2 - i + 1. Let k be r(1). Let s be 1/(-4) - 186/k. Let j be (-2)/5*(-10)/s. Is j not equal to -6?
True
Let x be (-4)/(-30)*(-3909)/(-18). Let s = 24232/495 + x. Let f = s - 78. Which is greater: -1 or f?
f
Let o = -8415 - -8417. Let y be 4/6*(-1)/(-14). Is o equal to y?
False
Suppose 3*l - 5*s + 398 = 0, -4*l = 3*s + 735 - 214. Is l > 1?
False
Let z = 746 - 362. Is z greater than 384?
False
Let n = 0.08 + -0.03. Which is greater: -0.2 or n?
n
Suppose 5*i = 11*i - 24. Let o be (-2 + 94)*2/i. Which is smaller: o or 45?
45
Let f = 7734 + -16264600/2103. Which is smaller: f or 1?
f
Let z = -24.504 - -0.004. Let q = -23 - z. Is 0 bigger than q?
False
Let x(y) = y**2 + 3*y - 2. Let l be 0/(44/(-16) + 1/(-4)). Let s be x(l). Is -19/6 bigger than s?
False
Let v be (737/150 - 5) + (-2)/(-12). Let k = -0.96 - 0.04. Which is bigger: k or v?
v
Suppose 103 = -a - 5*j - 168, 5*j + 853 = -3*a. Is a greater than -293?
True
Let p be 9/(-6) + 58/4. Let w = 10 - p. Suppose -3*u + 4*l - 7 = 3*l, 0 = 2*u + 4*l - 14. Is u less than w?
False
Let m be 0 + -6*(-4)/12 + -3. Are -10/237 and m nonequal?
True
Let q(h) = -h**2 + 4*h + 5. Suppose 287*v = 285*v - 2. Let n be q(v). Let s = 737/21 - 35. Which is greater: s or n?
s
Let q be (-176)/5 + 8/40. Let a be q/100*(-6)/(-14). Which is greater: 1 or a?
1
Suppose 0 = 3*d + 4*f - 117, -7*f + 3*f + 47 = d. Let q = d + -41. Suppose 4*y + 22 = -2*n, 2*n + 14 + 1 = -3*y. Is y smaller than q?
True
Let f be (10/40)/(1 - (-3)/(-4)). Which is smaller: -0.4 or f?
-0.4
Suppose 4*z + v = 238, 4*z - 297 = -z - v. Are z and 63 non-equal?
True
Let s(d) = 394*d - 2. Let q be s(5). Let a be (460/q + (-2)/8)*-6. Which is greater: a or 1?
1
Let t = 584 - 578. Do t and 92/17 have the same value?
False
Let m be (-18564)/(-18512) + (-2 - -1). Which is greater: m or 0?
m
Let o = 8 + -12. Let d be ((-2)/o)/((-77)/66). Let b = 70 + -70.3. Which is greater: b or d?
b
Let d be ((-24)/(-108) + 1048/306)*1. Which is smaller: d or 3?
3
Let q = -660.3 + 630. Let x = -32 - q. Let t = -2.7 - x. Which is smaller: -6 or t?
-6
Let r = -1.5 + 1.6. Let p be (11 + 3 + -12)*(-6)/4. Is r at least p?
True
Let d(j) = -j + 9. Let l be d(5). Suppose 0*v + 6 = l*c - 2*v, -5*c + 6 = -2*v. Let q be -2*(1/2 + c). Which is smaller: q or 1?
q
Let o = 165 + -172. Let g(p) = -p**2 - 3*p + 8. Let c be g(-5). Which is greater: o or c?
c
Let v = -0.162 + -0.038. Is v smaller than 1.11?
True
Suppose q + 0*q = 0. Let z be 2*(-4 + 3) + 1. Let y be z + 3 + (-88)/42. Which is smaller: y or q?
y
Let b be (-18)/306 - 486/2720. Which is smaller: b or 0?
b
Let d = -2421 - -1340. Is d equal to -1081?
True
Suppose 0 = -f + 2*u - 29, -2*f + 117 = -7*f - 4*u. Let v = 7 + -3. Let a be (-106)/v - 1/(-2). Which is smaller: a or f?
a
Suppose -4*r + 5*o = -39, -6*r = -2*r + 2*o - 18. Let q be (-234)/(-12)*r/(-9). Are q and -11 non-equal?
True
Let u be -7 - 8/((-160)/(-225)). Which is smaller: u or -19?
-19
Suppose -453 = 4*m + 771. Let r be 1 + m/(-24) + 2/8. Is 15 less than r?
False
Suppose -5*p + 8*p + 20 = -4*g, 4*p - 5*g - 25 = 0. Which is greater: -1.15 or p?
p
Suppose -5*k + 70 = -3*k - 2*d, -d = 5. Suppose k = -4*x - x + 5*p, 0 = -5*x - 4*p - 57. Is x < -9?
False
Let o(j) = -j**3 - 4*j**2 + 14*j + 6. Let h be o(-8). Is 150 equal to h?
True
Let j be 1*-5*(-11)/((-55)/6). Let a be 26*2/j*3. Which is bigger: -27 or a?
a
Let i = 2.1 + -2. Let c = 186 + -195.22. Let z = 0.22 + c. Which is bigger: z or i?
i
Suppose 0 = -5*s - 20 - 5, -2*c - 3*s - 249 = 0. Is c less than or equal to -118?
False
Let v = 3 - -19. Suppose -26 + v = 2*b. Is b greater than -5/2?
True
Let o be (1 - (-27)/1) + 392/(-98). Which is smaller: o or 19?
19
Let o = 37 - 36. Let i be o*(-40)/(-132)*3. Is i at least as big as 2?
False
Suppose -3 = 2*p + 11. Let i be 4/p + 42/(-98). Does -3/5 = i?
False
Suppose 0 = 4*t + 26 - 22. Suppose -2*a = 5*q - 26, -q - 20 = -3*a + q. Let m be (2 + t)*(-5 - a). Which is smaller: -14 or m?
-14
Let b be 3/(-9) + (-8)/12. Let j = -178/7659 + 1/666. Is j at most b?
False
Let u(m) = m**2 + 17*m + 50. Let k be u(-4). Let i = 2.93 - -0.07. Let s = i - 3.2. Which is greater: s or k?
s
Let c = 74.7 - 80. Let o = c + 5.2. Which is smaller: o or 1/93?
o
Let k be 67 - (-6 - (3 + -16)). Is 50 less than or equal to k?
True
Let f(v) = 3*v**3 + 2*v**2 - 6*v + 7. Let s be f(3). Suppose x = 34 - s. Is x at most -54?
True
Suppose 4*q = -p - 2*p + 695, -5*q = -4*p + 937. Suppose a - p = 5*i, -90 = i + i - 2*a. Which is smaller: i or -46?
i
Suppose 0 = i - 5*x + 32, 6*i + 5*x + 10 = i. Suppose 3*d + 25 - 73 = 0. Let p = d + -21. Are i and p unequal?
True
Let v be -4*(-2)/(-16)*-22 - -3. Let t be ((-21)/(-2))/(-3 + v/4). Is t < 22?
True
Suppose 2*m - 4*i = 0, -i - 5 = 3*m - m. Do m and -28/39 have the same value?
False
Let d(s) = -s. Let k be d(-2). Let q be (4/3 - k)/(-2). Let c be (-8)/(256/136) + 6 + -2. Is q less than c?
False
Suppose -4*x = -5*x - x. Suppose 3*c = -x*c - 39. Is c less than -14?
False
Let m be ((-2)/3)/(24/720). Is m at most -19?
True
Let r = 252 - -56. Is 311 <= r?
False
Let r be -9 - (1069 - (0 + 6)). Does -1073 = r?
False
Let f = -2 + -1. Let a be -16 + 2 - f/3. Let g be (-119)/a - 4/26. Are 9 and g nonequal?
False
Let l be -2 + 1 + (-22)/2 + 4. Suppose -n = -4, 2*c + 16 = 3*n - 10. Which is greater: c or l?
c
Let j = -16 - -16. Let h(g) = g + 1. Let p be h(j). Which is greater: -2/9 or p?
p
Let t be (-3)/(-4) - (-75)/12. Let s(v) = 10*v**2 - v - 1. Let d be s(-1). Let i be (t/(-70))/(4/d). Is i greater than 0.1?
False
Let b = 3023 - 3012. Let i(s) = -s**2 + 7*s + 1. Let p be i(7). Suppose 5*y = 2*z + 51, -p = 4*z - 9. Is y greater than or equal to b?
True
Let p be ((-20)/(-6) - -2) + 24/36. Let h = p + -6. Is h at most as big as 5/24?
True
Suppose 0 = -18*h - 12026 + 1946. Is -560 smaller than h?
False
Let k be (-6)/(-33) - 2036/(-187)*-1. Is -12 greater than k?
False
Let s = -401 - -190. Which is smaller: s or -210?
s
Let q(k) = -24*k**2 + 2*k. Let n be q(2). Let y be (n/(-8) + 2)*(-12)/(-153). Which is smaller: y or 0?
0
Suppose -11*j = -8*j - 6. Let s be 8/j + (-854)/217. Are 1 and s nonequal?
True
Let y be ((-5 - -8)/3)/(-5)*-10. Is y less than or equal to 8/5?
False
Suppose 16*k + 5 - 5 = 0. Let c be 2/4*(-78)/923. Is c greater than or equal to k?
False
Let q(d) = -5*d - 20. Let g be q(-5). Let v = -13 + 9. Which is greater: v or g?
g
Let c be 53/7 + (-60)/(-140). Suppose -3*x - t = 2*t - 6, -5*x + 4*t + 10 = 0. Let n be 8 - 0/(x - -1). Is n < c?
False
Let u = -51 + 54. Let r be u/2 - (-9)/(180/(-25)). Is r greater than -24?
True
Let p(b) = b**3 - 16*b**2 + 17*b - 26. Let y be p(15). Which is smaller: 13 or y?
y
Suppose -24*w + 28*w = -4. Let l be -7*(-1)/4*(-2 + w). Does -6 = l?
False
Let a be -1 + 1 + 12 + -3. Suppose 4*i - 3*g = -a, -3*i - 7 = -2*i + 4*g. Suppose 4*v = -0 - 16. Is v at most i?
True
Suppose 4*o - 5 = -5*b - 90, -b = 3*o + 17. Are -17 and b nonequal?
False
Let k = 15 - 10. Suppose k*x - 6 = -3*v, 6 = 3*v - x - 2*x. Let w = 8 - v. Which is smaller: w or 7?
w
Let b be ((-201)/(-6))/(33/(-22))*-3. Is b <= 69?
True
Let u = -217 - -200. Suppose 4*v + 9 = -59. Do u and v have the same value?
True
Let z = -139 - -182. Is 2/9 at least z?
False
Let r = 156 + -32. Are 122 and r equal?
False
Let c(x) = -x + 7. Let u be c(7). Let j be 6 + -2 - (-105)/(-9). Let k = -419/57 - j. Is k bigger than u?
True
Suppose -5*m = 4*f - 80, -2*m + 35 = f + 6. Is m at most as big as 64/5?
True
Suppose -6*m - 3 = -3*m. Let i = m - -3. Let t = -31 + 31. Which is greater: t or i?
i
Suppose -3*d - 2*a = 2991, 4985 = -5*d + 33*a - 30*a. Do d and -999 have the same value?
False
Let g be (-2)/2 + 2 + (-55)/3. Let j = -970/57 - g. Which is smaller: -1 or j?
-1
Let l(o) be the first derivative of o**2/2 - 3*o + 2. Let b be l(-6). Is b less th