. Let p(i) = -7*d(i) - 2*j(i). Let h be p(-3). Is h at least 6?
False
Let v be (-10)/(-6)*(-6)/(-2). Let l = v + -6. Let g = l - -3. Which is smaller: 1 or g?
1
Let m(t) = -t + 1. Let l(y) = -y + 2. Let q be l(3). Let g be m(q). Let s = -2 - g. Is -5 not equal to s?
True
Suppose -2*i = 5*d + 13, -6*i - d + 25 = -i. Suppose -i*x = -x. Is x > -1?
True
Let l = 0.5 - 0.47. Is -6 at most as big as l?
True
Let w = -18056710123/11133179248 + 35/24999654. Let p = -4/167 + w. Let n = p + -1/48. Is n at most -2?
False
Let w = -49418/71 - -696. Which is greater: w or 1?
1
Let d = 20 - 22. Does d = -12?
False
Let h be 1*(-1 + (-10)/(-12)). Which is smaller: -2/3 or h?
-2/3
Let w be (10/25)/((-1)/(-10)). Which is smaller: 0 or w?
0
Let t = -5 - 0. Let s = 5.1 + t. Is s <= -1?
False
Let q = 14 - 13. Which is greater: 2/91 or q?
q
Let p(k) = -k**3 + k**2 + k + 11. Let w be p(0). Let n be 2 - (-2)/((-8)/w). Let j = 14 - 14.1. Is j equal to n?
False
Let i be (-1 - 11)/(12/(-8)). Let b be (-1)/i + 0/(-4). Which is smaller: b or 0?
b
Let m be 1 - (0/(-3) + 1). Suppose 0*z + 2*z = m. Which is smaller: -1 or z?
-1
Let k(g) = -g**3 - g**2 + g + 36. Let w be k(0). Let r be (-6)/w - (-85)/6. Is r <= 14?
True
Let d = -8 - -6. Let p be (-1)/d*6*-1. Is p at least as big as -2?
False
Let m = -117/170 + 10/17. Let v be 33/6 + 3/(-2). Let q = -5 + v. Is m less than or equal to q?
False
Suppose 2*l + 3 = -1. Let q be -2 - 2/(-5) - l. Suppose 22 - 22 = -2*z. Is z >= q?
False
Let n(r) = -r**3 - 3*r**2 - 5*r - 5. Let u be n(-4). Suppose -u = 5*w - 1. Which is bigger: w or -7?
w
Suppose -3*s - 12 = -3. Which is smaller: -2 or s?
s
Let n = 37 + -32. Which is bigger: 2 or n?
n
Let k = 14 - 20. Let s = k + -2. Suppose -3*c = 19 + 2. Which is smaller: c or s?
s
Suppose 10 = j + 8. Does j = 2?
True
Let k be ((-12)/9)/4 + 1. Which is bigger: 2 or k?
2
Let q(m) = m**2 - 10*m - 4. Let g be q(10). Which is bigger: g or -3?
-3
Let g = 0.217 - 0.377. Is 0.05 >= g?
True
Let b be ((-4)/(-10))/((-28)/20). Let h(k) = -k. Let f be h(1). Which is smaller: b or f?
f
Let d be 0/((-6)/(-9)*-3). Suppose d*t = -2*t - 2*y - 8, -4*t - y - 16 = 0. Is -3 greater than t?
True
Let r = -116/3 + 40. Let h(x) = -3*x - 53. Let l be h(-18). Which is greater: r or l?
r
Let o = 3 - 5. Let j = o + 2. Which is bigger: j or 1/5?
1/5
Let n = 0.06 - 0.06. Which is greater: -1 or n?
n
Let v = 14 - 2. Is 12 greater than or equal to v?
True
Let s = 4.184 + 0.016. Let k = 4 - s. Let t = k - -0.5. Is 2 at most as big as t?
False
Let p = -269 + -43. Let l = -217 - p. Let u be l/(-165) + 2/3. Is 1 greater than or equal to u?
True
Let h be 588/660 + -2*(-1)/(-2). Which is bigger: -1 or h?
h
Suppose -3*y - 5*d - 13 = 0, 5*d - 7 = y + 4*d. Let o(b) = -b + 6. Let r be o(y). Is 12 < r?
False
Suppose -2*d = 2*d + 20, i - 5 = d. Let w = -7 + i. Are w and -7 nonequal?
False
Let j = 3 + 1. Suppose 3*q + 10 = 2*g, -4*q + j*g - 25 = -9. Which is smaller: q or -6/5?
q
Let l be 115/25 + (-2)/(-5). Suppose -l*q = 57 - 2. Is q at least -12?
True
Let f = -2 - -5. Are f and 3 non-equal?
False
Let i = -0.5 - -0.49. Which is smaller: i or -0.1?
-0.1
Suppose 0 = 3*z + 5*q + 27, -28 = 9*z - 5*z + 4*q. Which is smaller: -5 or z?
-5
Let d = -118 + 67. Let i be (6/9)/(2/d). Let c be (-4)/14 - i/35. Which is smaller: 0 or c?
0
Let j be ((-345)/(-84) + -4)/((-2)/(-7)). Let p be (2/3 - 1)*-3. Suppose 0 = -5*v + 6 - p. Is j greater than v?
False
Suppose 3*h - 87 = -18. Let n be (-2)/(2/h)*-1. Let o = n + -183/8. Are o and 0 nonequal?
True
Let h be (-1 - 185/(-50)) + -3. Which is smaller: h or 0?
h
Suppose 0*f - 5*f = -20. Let c be (f - 2 - 7)/(-1). Which is smaller: 4 or c?
4
Suppose -y + 0*y - 1 = 0. Let w = 0 - y. Let g be w*1/(-1 + 0). Is g smaller than 0?
True
Let d = 39.9 + -40. Does d = 10?
False
Let u = -0.59 - -0.19. Which is bigger: -4 or u?
u
Let b = 38 + -38. Which is smaller: b or -0.1?
-0.1
Suppose -5*v + 35 = -4*o - 46, -22 = 3*o + 4*v. Let s(r) = -r**2 - 4*r - 2. Let g be s(-4). Let f be (-6 - o) + g*1. Which is smaller: f or 5?
5
Let b be 2/3*12/10. Suppose -3*l - 2*a + 8 = 0, -3*l - a + 10 = 3*a. Is b at most as big as l?
True
Let w(l) = l**2 - 7*l + 5. Suppose -3 = -2*z + 9. Let c be w(z). Let m(o) = o - 8. Let p be m(9). Is c > p?
False
Suppose 4*k = -i + 23, -i - 5*k = -0*i - 27. Let o = -3 + i. Let p(y) = -y**3 - 5*y**2 - y - 1. Let t be p(-5). Does t = o?
True
Let u(r) = r**3 + r**2 + 10. Let s be u(0). Let o be (16/(-20))/((-4)/s). Is o smaller than 6/7?
False
Let i(v) = v**2 - 2. Let l be i(2). Let o(d) = d**2 + 1. Suppose u = 3*g - 5, -2*u = -u + 5. Let k be o(g). Which is smaller: k or l?
k
Let r be (4 + 0)*(-6)/(-12). Suppose -t - 13 = -w + 3*t, 5*w + 1 = -2*t. Is r bigger than w?
True
Let a(w) = w**3 - 2*w**2 + 2*w - 2. Let j be a(2). Suppose -6 = -r + 2. Suppose 5*b = -5*l - 25, -j*b + 17 = -5*l - r. Which is smaller: b or -1?
-1
Let b(u) = 31*u**2 - u - 8. Let z be b(-2). Which is smaller: z or 117?
117
Let q = -1 - -2. Let w = 461/28 + -67/4. Is w < q?
True
Let m(r) = r**2 + 3*r - 18. Let z be m(3). Which is smaller: z or 5/18?
z
Suppose -3*q + 2*q + 3 = 0. Suppose -5 = -2*m + 1. Is q < m?
False
Suppose 0 = -3*m + 3*w + 27 + 30, -m + 5*w = -19. Let v = m - 11. Suppose -2*c - 2*c + 8 = 2*k, 4*k - v = 0. Is c at least as big as 1?
True
Let l(u) be the first derivative of -u**3/3 + 7*u**2/2 - 7*u - 5. Let a be l(6). Let p = -3 + 0. Which is greater: p or a?
a
Let i be 0 + 72/10*-18. Let c = i + 130. Is c greater than or equal to 0?
True
Let s(l) = -l**3 - 7*l**2 - 8. Let q be s(-7). Let i(h) = 7*h**2 - 7 - 11*h + 11*h + h**3 - 9*h. Let z be i(q). Which is smaller: 4 or z?
z
Let x be (-3)/(-9) - 17/42. Which is greater: x or 0?
0
Let x = 0 + 0.2. Let d = -12 - -10.4. Let m = 0.4 - d. Which is bigger: x or m?
m
Let r(k) be the first derivative of -k**3/3 - k**2 + 4*k - 1. Let t be r(-3). Are 2 and t equal?
False
Let c = -12 - -17. Suppose 12 = -g + c*s - 2*s, -4*g = 4*s - 16. Which is smaller: 3/5 or g?
g
Let h(l) = -16*l + 14. Let d(g) = 3*g - 3. Let v(m) = 11*d(m) + 2*h(m). Let c be v(5). Which is bigger: c or -1/26?
c
Let l be (-1)/(-3) + (104/12 - 0). Let h = -0.3 + 0.5. Which is smaller: l or h?
h
Let w = -18 + 12. Does w = -6?
True
Suppose 2*y + 3*y + 3*h + 117 = 0, -4*h - 121 = 5*y. Let w be (-2 + y/(-15))*1. Which is bigger: -2 or w?
w
Suppose 0 = 2*o - 1 + 9. Do o and -13/5 have different values?
True
Let g = -3 - -5. Let o be 0 - (g + 1 - 2). Let h be (1*(-1)/11)/1. Are o and h nonequal?
True
Let k = 212/189 + -11/27. Is k <= 1?
True
Let l = 3023/68 + -175/4. Let z = -2/51 + l. Let g = 2 - 3. Is z smaller than g?
False
Let q = 13 + -12.97. Let i = -0.16 - -0.06. Which is smaller: q or i?
i
Let d = 5 + -4.87. Which is smaller: -3 or d?
-3
Let y = -46 + 47. Is y > 5/3?
False
Let f = -1/77 - -1235/231. Which is bigger: f or 4?
f
Suppose 3*l - 3*t = -0*t - 12, -5*l + 2*t = 8. Suppose -2*g + l = -m - 6, -2*g = 3*m - 22. Which is smaller: 2 or m?
2
Let x be (4/(-12))/((-4)/12). Is 3/5 not equal to x?
True
Let s be (-59)/(-4) - (-3)/(-4). Suppose 0 = -4*h - 2 + s. Which is smaller: 5/2 or h?
5/2
Suppose 5*f - 4*o = 12 - 29, -o + 4 = -f. Suppose -2*p + 5*p + 30 = 0. Let b be (-3 + -4 - -3)/p. Which is greater: f or b?
b
Let f(q) = -q**2 + q - 2. Let h be f(2). Let d be (h/(-10))/((-2)/(-10)). Let r be 3/((9/2)/3). Is r equal to d?
True
Let d = 0.01 - -3.99. Let z = d + -3.9. Let a = -7 + 7.1. Is a at most z?
True
Let t = 37 - 63. Does t = -26?
True
Let c = 17/100 - -2/25. Which is bigger: c or -1?
c
Let h(x) = x**2 - 7. Let w be h(0). Let q = -7 - w. Which is smaller: q or -1?
-1
Let c = 0.08 + -1.58. Let r = 2.4 + c. Let q = -1.1 - r. Which is smaller: 0.2 or q?
q
Suppose 4*y = -6*y. Is y less than or equal to 6/7?
True
Let s be -5*-1*(-10)/(-2). Let l be (s/(-2))/((-3)/6). Suppose -5*z - l = -0*t + 5*t, 2*z = t - 13. Which is greater: z or -1?
-1
Suppose 5*a + 5*d + 25 = 0, 8*a - 3*d - 15 = 3*a. Let m = a + 0. Is -1/7 < m?
True
Let c = 15/11 - 119/55. Is c at most -1?
False
Suppose 0 = -5*a + a - 4. Let c = 2 + a. Which is bigger: 1/3 or c?
c
Suppose -l = -5*l - 24. Let k = -4 - l. Suppose 4*n + 2*p = 4, 5*p + k = 2*n - 0*p. Is n greater than 2?
False
Let q = 45/2 + -22. Is 1 less than or equal to q?
False
Let s = -2