6 - 6. Which is greater: v or s?
s
Let q = -64 - -83. Let g be (3 - 3 - -4) + -1. Suppose -m - 40 = -g*m. Which is bigger: m or q?
m
Let o = 1/270 + -1921/8370. Which is greater: o or -1?
o
Suppose 0 = 2*m - 4*z + 16 + 24, 44 = -3*m + 2*z. Let v = -8 - m. Let o(h) = -h**2 + 6*h - 3. Let a be o(v). Is a smaller than 4?
False
Let l(n) = n**2 - 5*n + 3. Let c be l(3). Suppose 15*j - 11*j + 4 = 0. Which is greater: j or c?
j
Let f = 618 + -6785/11. Is 2 greater than f?
True
Let k(t) = t**2 + 9*t + 5. Let n be k(-7). Let h be (-3)/2*(-6)/n. Let y be (16/(-68))/((-6)/(-9)). Which is smaller: y or h?
h
Let m(t) = 2*t - 24. Let g be m(12). Suppose -3*f + f = g. Let h = f - 12. Is h < -12?
False
Suppose 0 = -r + 3*r. Let a be 1 + (2 - r) - 1435/483. Do a and -1 have the same value?
False
Let q = -30 - -27. Let f be -3 - (1 - (-24)/q). Suppose -f*h - 4*o + 38 = h, -2*h = -2*o - 26. Which is greater: 0 or h?
h
Suppose 2*a + 9 = 3*c + 1, -4*a = -4*c + 16. Suppose 1 = -r, -3*r + c = 5*g - 2. Is g smaller than 9/7?
True
Let g = 548/3533 - -584732/2243455. Let s = g - 2/127. Let m = -3.39 - 0.61. Which is bigger: s or m?
s
Suppose -457 = 5*i - 4*z, -i - 3*z - 135 = -36. Is i equal to -94?
False
Suppose -276 = -2*h + 2*t, 0*h + 4*h = -4*t + 568. Which is bigger: h or 424/3?
424/3
Let o be 2*1 + 1 + (-4 - -7). Let d be ((-2)/2 - (-1 - o)) + 0. Which is greater: 7 or d?
7
Suppose 7*f + 29 = -41. Let q be 56/f - -4 - (-6)/10. Is -3/52 > q?
True
Suppose -4*y = -34 + 10. Suppose h = -y*h - 7. Is 2/49 greater than or equal to h?
True
Let r = -0.2 + 0.32. Let c = -144 + 138.88. Let q = c + r. Is -0.2 at most as big as q?
False
Let h = 37 + -35. Suppose -5*u = -b + 1, -u = h*b + u - 26. Is 11 greater than b?
False
Let y be (-6)/(-18)*(-430 - -13). Is -148 less than y?
True
Let z be 0 + -4 + -4 + 7. Let g = -54 - -42. Is z at least as big as g?
True
Let p be 1630/14833*14/6. Is 0 at most p?
True
Let f = -8 - -32. Let i be (-45)/f*(-285)/9. Let r = 59 - i. Which is smaller: 0 or r?
r
Let i = -1.18 + 0.18. Let k = i + -17. Let j = k - -13. Is -2 != j?
True
Let j(g) = 2*g**3 + 3*g**2. Let a be j(-2). Let t be (2 - (-10)/a)*0. Let r = 3/44 - 9/11. Which is smaller: t or r?
r
Let w be (-441)/616 + 6/8. Suppose -22*o = -3*o + 19. Is w less than o?
False
Let c be (5/(-2) - (-2)/4) + 13. Let a(v) = -v**3 + v**2 - 2. Let k be a(-2). Let t = k - c. Is t at most -1/8?
True
Suppose -743 = -4*d + w - 2315, -1965 = 5*d - 3*w. Is -393 != d?
False
Suppose m - 2*m + 6 = 0. Let k be m/4 + 90/(-21) + 3. Is k less than or equal to -1?
False
Let k(u) be the second derivative of -u**3 + 17*u**2/2 + 15*u. Let w(s) = -5*s + 17. Let c(d) = -3*k(d) + 4*w(d). Let v be c(9). Is v less than 2/5?
True
Let b = -1662 + 1680. Which is greater: b or 52?
52
Let q(j) = j**2 + 15*j - 5. Let w be q(3). Which is smaller: w or 50?
w
Let t be (4 + -69)/(-5)*(-2)/2. Let z(u) = -u**2 - 10*u + 43. Let w be z(t). Is w equal to 9/2?
False
Let i be (8/14)/(-2 - 176/(-84)). Suppose i*b + 2 = -4. Which is smaller: -1/11 or b?
b
Let r be 3/18 + (-58)/(-12). Suppose 3*g + 2 - r = 0. Is 2/29 greater than g?
False
Let d be 4/(-4)*(3 - 67). Let k = 194/3 - d. Let a = -3 - -1. Which is bigger: a or k?
k
Let y = -54.958 - -55. Let v = 0.088 + y. Is 0.2 > v?
True
Let d = -48 - -50. Suppose j = -0*j - d*m + 29, -4*m - 103 = -5*j. Are 22 and j equal?
False
Let j(v) = -3*v - 2. Let s be j(-4). Let p be (2 - s)*(-15)/(-20). Let o(n) = n**2 + 5*n - 6. Let h be o(p). Which is smaller: -1.1 or h?
-1.1
Let k = 384 + -1513/4. Let q(z) = -8*z - 50. Let y be q(-7). Which is smaller: k or y?
k
Let d = -24 - -15. Let b be d/(-8) + (6/6 - 4). Which is greater: b or -3?
b
Let r(o) = -19*o - 556. Let p be r(-28). Which is bigger: p or -23?
-23
Let a = -13 - -13.2. Let x = 0.3 - a. Let c(k) = k**2 + 7*k - 4. Let g be c(-7). Which is greater: x or g?
x
Let k = -29 - -194. Which is bigger: k or 1?
k
Let n be (-2)/(((-8)/(-4))/(-2)). Let k(m) = 2 - 4*m**2 + 4*m**n - 13 + m**3 + 8*m**2 - m. Let w be k(-8). Is w at most as big as -4?
False
Let g = 431.9 + -409. Let a = -23 + g. Which is smaller: a or 0?
a
Suppose 3*h - 21 = -2*p, -5*p - 3*h + 23 = -7. Let q be (p - 3)/(2 - 1). Let s(c) = c**3 - 9*c**2 - 9*c - 10. Let v be s(10). Is v less than or equal to q?
True
Let d(p) = -8*p**3 - p + 1. Let a be d(1). Let r(l) = -12*l + 70. Let z be r(6). Let t = z + -5. Which is smaller: t or a?
a
Let x = 5 - 13. Let a be -1 - (x + 0)/(-4). Let h be (3/(-4))/(0 + a). Which is smaller: 18 or h?
h
Let f be -288 + 284 - (1 - (-1 - 732)). Is f < -738?
False
Let o = 29.14 - 0.14. Let p = -30 + 58.7. Let r = p - o. Is 7 at least as big as r?
True
Let o = -9 + 12. Suppose -24 = -j - 3*j. Suppose 3*i = -0*i + j. Which is smaller: o or i?
i
Let o be (-6)/(-3) - (-576)/(-276). Which is greater: o or 0?
0
Suppose 25*u - 90 = -20*u. Is 33/14 > u?
True
Suppose -3*o = -1 - 8. Suppose 4*r + 5*a = o*r + 3, 5*a - 15 = -5*r. Suppose -p + 2*b + r - 5 = 0, -4*p = -4*b - 4. Which is smaller: 3 or p?
3
Let t(d) = -50*d**3 + 2*d**2 - 2*d + 1. Let j be t(1). Let q = 3719 + -3769. Which is smaller: q or j?
q
Let p(r) = 2*r + 5. Let z(q) = -12*q - 25. Let s(n) = 11*p(n) + 2*z(n). Let f be ((-3)/(-2))/((-3)/(-6)). Let o be s(f). Does -4/3 = o?
False
Let h = -104 - -86. Which is smaller: -4 or h?
h
Let g = 1256 - 1203. Which is smaller: 40 or g?
40
Suppose -77 = 7*j + 2*w, -17*j + 16*j + 5*w - 11 = 0. Is -32/3 less than j?
False
Suppose 0 = 3*h - 2*b + 412, 2*h + 22*b = 20*b - 258. Which is greater: h or -136?
h
Let d = -0.23 + 5.03. Let c = 2.2 - d. Which is greater: 1 or c?
1
Let x = 4.72 - 5. Let l = x + 2.28. Is -10 not equal to l?
True
Let m = 0.3 + -1.3. Let d = 43896 - 43896.021. Which is smaller: d or m?
m
Suppose -4*i + 22 = -5*v, -2*v - v + 3*i - 12 = 0. Let n(y) = -y**3 - 8*y**2 - 9*y + 7. Let k be n(v). Which is smaller: k or -10?
k
Let n be 2*(60/105)/(10/4). Do 1 and n have different values?
True
Suppose 4*o = o - 756. Let k = o + 1507/6. Suppose 2*y + 1 = n, -3*n - 2 + 1 = -4*y. Is y > k?
False
Let c = 15.92 - 16. Let i = c + -1.12. Is -1/4 != i?
True
Suppose 2*s - 4 = -0. Let v be (3/s)/((-6)/(-152)). Is 37 < v?
True
Let y = -27.5 + 67.7. Let d = 40 - y. Which is smaller: d or 13?
d
Let q be (-1 - (-2)/(-1))/1. Let b(m) = 6*m**2 - m**3 - 5*m + 4 + 6*m - 11*m. Let n be b(4). Is n > q?
False
Let q be -1 + -2 + (-102)/(-2). Suppose -4*d = 4*l - 36, -5*l - 6*d + q = -2*d. Let g be 13/(130/l)*5. Is 6 at most g?
True
Let u = 235 + -195. Is 40 smaller than u?
False
Let d = -3 + 2. Let n = 612/5453 - 2/287. Which is greater: n or d?
n
Suppose -3*z - 3 = -5*r, 4*z - 3*r + 4 = 11. Suppose 4*q = 2*w + 14, 0 = z*w - 8*w - q + 17. Suppose 2 + 1 = -w*j. Is j >= 2/23?
False
Let i = -2.03 - 0.67. Let v = -133 + 401/3. Do v and i have different values?
True
Let u = 168 + -169. Let g = -105690/31 - -3410. Let n = g - 347/682. Which is smaller: n or u?
u
Let i be (-2 - 0)*42/(-20). Suppose -p + 3*p = 5*d - 10, 0 = 3*p - 15. Which is smaller: i or d?
d
Let z = -371.59 - -371. Is 0 at most z?
False
Suppose 2*j + 2 = 3*j. Suppose -b = -3*i + 4*i - 21, 2 = j*b. Which is smaller: 18 or i?
18
Let i = -81 + 138. Suppose 0*s + 92 = 5*s - 4*k, 3*s = 3*k + i. Suppose j - 5*j = -s. Are 0 and j equal?
False
Let m(r) = -2*r - 3. Let b be m(2). Let o = -17 - b. Is -10 smaller than o?
False
Let f(o) = o - 3. Let m be f(-4). Let j(q) = q**2 + 15*q - 40. Suppose 3*u = -1 - 50. Let c be j(u). Which is bigger: m or c?
c
Suppose 4 = 8*p - 7*p, -5*c = -4*p + 566. Which is smaller: -105 or c?
c
Suppose 3*x = 4*q + 1776, 1243 = -3*q + 3*x - 89. Let o be (-674)/q + 9/(-6). Let i = -232/555 + o. Is i at least 0?
False
Let d = 12093 + -6300451/521. Is 1 > d?
True
Suppose 6*c - 3 = 5*c - 4*s, 2*c + 4*s - 18 = 0. Suppose 0 = -10*w + 5 - c. Is -11 >= w?
False
Let r = 1.4 - 1.382. Let y = r + -0.448. Let d = y + -0.07. Which is smaller: d or 0?
d
Let c be (0/(-7))/(-10) + 1/(-6). Is c smaller than -3?
False
Let o(n) = -n**3 + 8*n**2 - 7*n + 5. Let v be (-3)/(-6)*28/2. Let z be o(v). Suppose -2*a + 5 = -5*k, -5*k - a - 4*a = z. Which is smaller: k or -2/3?
k
Let t = -76.9 - -77.7. Do t and 2/3 have the same value?
False
Let x = 909.02 + -909. Which is smaller: 3/35 or x?
x
Let p be 0 - (10 + -14) - (-3)/5. Which 