. Do 0.1 and p have the same value?
True
Let q = 1/320 + -967/2240. Suppose -5*w = y - 16, 5*y + 4*w - 9 = 29. Suppose 0 = -y*c + c. Is c < q?
False
Let j be (((-17)/34)/(2/6))/12. Suppose 0 = b + 4*b. Which is smaller: j or b?
j
Suppose 0 = 3*f - 4 - 2. Let m be (15/f)/5*-2. Let a be m/4*8/12. Is a greater than 1/2?
False
Let v = 0 + 0. Suppose o = 5*o + 36. Let k = 17/2 + o. Is k equal to v?
False
Suppose 5*o = 3*w + 18, 0 = 4*w + o - 2*o + 7. Does w = -0.03?
False
Suppose -u = 4*u - 1130. Let a be 4/6 - u/(-12). Let w = -19 + a. Is 1 equal to w?
False
Let s = -12 - -12.2. Let w = s - 0.3. Is w greater than or equal to -1/5?
True
Suppose -m + 25 = 4*w, 5*m - 3*m + 22 = 4*w. Let c(t) = -9*t + 13. Let f(z) = -5*z + 6. Let g(d) = -3*c(d) + 5*f(d). Let u be g(w). Does u = 2?
False
Let q = 20 + -12. Suppose -3*i - 7 = 3*c + q, -c + 4*i = -10. Let a be (c - (1 - 3)) + 0. Is a less than or equal to 0?
True
Let o(g) = g**3 + 8*g**2 - 10*g - 4. Let r be o(-9). Suppose 3*i - r*h = -5, -2*i - i - 3*h = -3. Suppose i = x - 6*x + 5. Are x and 3 equal?
False
Let w(k) = k**3 + 7*k**2 + 6*k. Let f be w(-6). Suppose f*m + 1 = m. Is 1 greater than m?
False
Suppose -5*l = -123 + 23. Suppose -a = 4*a - 5*t + 35, -2*a - l = -4*t. Is a at least as big as -5?
True
Suppose -3*m = -5*h + 1 - 8, -2*m - 2 = 0. Suppose -4*f = 4*q + f, 0 = -3*q - 4*f. Which is smaller: h or q?
h
Let n = 5 + -7. Let p = 1 + n. Let l = 3 - 7. Is l at most as big as p?
True
Let g be 0 + (0 - (-2)/2). Let o = 36 - 21. Suppose 0 = i + 3*n + 6, -3*i - 5*n + 5 = o. Is i bigger than g?
False
Let f(y) = -y**3 + 5*y**2 - 4*y - 7. Let r be f(3). Is r greater than or equal to -2?
True
Let j be 1/2*(-24)/1. Let u be ((-4)/j)/(4/3). Let a = 0 - 0. Which is greater: u or a?
u
Let x be (-14)/60 - 6/(-15). Is x at most as big as -0.3?
False
Let r be (-12)/(-3) + 3/3. Suppose 2*w + 0*w = -r*i - 9, -4*w + 3*i = 5. Is -2 not equal to w?
False
Suppose -4*a - 3*k = 11 - 4, -28 = 4*a - 4*k. Let f = -223/4 - -56. Does a = f?
False
Suppose -31 = 2*g - 3*n, -29 - 36 = 5*g - 5*n. Let x = 7 + g. Is x at least -1/2?
False
Let q be 2/((-12)/3)*-8. Suppose p + q*p = 0. Which is bigger: p or 5/6?
5/6
Let j be (-74)/(-132) - (-1 + (-12)/(-8)). Which is smaller: -0.06 or j?
-0.06
Let i(m) = m**3 + 4*m**2 - 5*m + 3. Suppose -4*w - 3 + 19 = 0. Suppose -v + 25 = 3*n - 8*n, w*n + 20 = 4*v. Let k be i(n). Which is smaller: k or 2/5?
2/5
Let n be (-6)/((-60)/(-2)) - (3 + -2). Does n = -2?
False
Let u be 2/5 + (-6)/15 - 2. Are -2 and u unequal?
False
Let g be -6 + 2/(-2) - 3. Let v = g - -8. Let t be (v/7)/((-1)/7). Which is greater: t or 1?
t
Let m = -7 + 10. Let o(v) = -v + 11. Let a be o(9). Let y = a + 3. Are m and y non-equal?
True
Let w be 4 + -4 - (-100)/(-369). Let j = w - -2/41. Which is greater: -0.1 or j?
-0.1
Let c(a) = -4 + 4 + 3*a. Let x be c(6). Suppose 0 = g + 2*g + 5*j + 14, 3*j = 3*g - x. Is g != 1?
True
Let n be 471/(-4) - 2/8. Is n < -117?
True
Suppose 1 = 2*r + y, -3*r - 21 = -5*y - 55. Suppose 3*w = 5*i + w - 10, -r*w = 15. Suppose i = 3*b - 2*b. Which is smaller: 1/3 or b?
b
Suppose 3*m + 10 - 7 = 0. Which is bigger: m or -2/53?
-2/53
Let p(j) = j**3 - 5*j**2 - j + 6. Let t be p(5). Which is greater: t or 3/2?
3/2
Let v be 64/(-98) + 2/3. Let j = v - -244/3675. Which is bigger: 1 or j?
1
Let g = 98 - 1765/18. Which is greater: 1 or g?
1
Let h be (39/(-14) - -1)*(-4)/(-20). Which is bigger: 0 or h?
0
Let n be 0/(0/(-2) - -2). Suppose 22 = 2*b - 3*b. Let x be -4*1/b*1. Which is smaller: x or n?
n
Let o = -91.99 - -92. Let d = -0.015 - 0.395. Let h = o + d. Is 1/3 smaller than h?
False
Let p be (3 - 2)/((-1)/3). Let v = -36 - -55. Suppose 10*x - 5*x + o = -v, -2*x = -3*o - 6. Do x and p have different values?
False
Suppose -3*b + 2*s = 7, -b - 2*s - 1 = 4*b. Let m(h) = 2*h + 1. Let u be m(b). Let p be (30/175)/((-1)/5). Is p > u?
True
Let o be -39*((-49)/(-27))/(-1). Let l = -71 + o. Let a(z) = -z**3 - 5*z**2 + 7*z + 5. Let k be a(-6). Which is bigger: l or k?
l
Suppose 8*s = 3*s. Suppose s*t - 4 = t. Which is greater: -5 or t?
t
Suppose 9 = y - 2*k + 2, -6 = -2*y + 2*k. Let p = 1 - y. Suppose -p*i + 6 + 19 = -5*m, -20 = -3*i + 4*m. Does i = 1?
False
Let r = -20260/11 + 1844. Is 2 > r?
False
Let l be 8*(-3)/(18/(-3)). Suppose -4*o + l = -0. Which is smaller: 0.3 or o?
0.3
Suppose -7 = -2*q + 3*b, 2*q - b + 4 = 1. Let t be (-14)/(-99) - q/18. Which is smaller: -1 or t?
-1
Suppose 2*o + 22 = 3*p, -4*p - p - 71 = 3*o. Let t = o - -53. Let s be (-33)/t - (-2)/8. Which is smaller: 0 or s?
s
Suppose 61 = 5*k - 14. Let z be (1 + 0)*3/k. Is z greater than or equal to 0.1?
True
Suppose -22*s - 858 = 242. Is s at most as big as -50?
True
Suppose 2*a - 6*a = -24. Suppose -a*g + 2*g = 0. Which is smaller: g or 1?
g
Let v = -0.04 + 0. Let t = -4/9 - -1/9. Is v smaller than t?
False
Let a(d) = -4*d + 1. Let b be a(2). Let i = 4 + b. Is i at most -4?
False
Suppose n - m - 3 = -3*n, 0 = 5*m - 5. Suppose -6*h = -h - 15. Let z be h/12*(-8)/(-10). Are n and z equal?
False
Suppose -6*x + 16 = -2*x. Suppose 3*v = -x*i - 16, 3*i - 5*v + 2*v = 9. Let d be i + 0 - 4/(-3). Which is bigger: -0.1 or d?
d
Let c be (15/6)/(3/6). Suppose -4*h + 0*h + 65 = -c*z, -3*z - h - 22 = 0. Let p = -6 - z. Is p greater than 3?
False
Let b(x) = 5*x - 18. Let a be b(-7). Is -52 <= a?
False
Suppose -2*d + d - 3 = 0. Let s = 4 + d. Which is smaller: -4/9 or s?
-4/9
Let r = 1587/565 - 1/113. Let s = r - 41/20. Are 0 and s non-equal?
True
Suppose 19*l - 23*l - 24 = 0. Let a = -14 + 9. Which is greater: a or l?
a
Let i be 1 + (-4)/(-16) + 3. Is 5 at most as big as i?
False
Let u be -2 + (1 + 3)*1. Let k be (-3)/u - (-12)/8. Is 3 less than k?
False
Suppose 5*s + 4*o = -156, 52 = -2*s + 5*o - 4*o. Which is smaller: s or -27?
s
Let g be (-1)/1 - -2 - -6. Suppose 0 = 2*t + 5 - 19. Is t greater than g?
False
Let z(j) = -j**2 - 4*j + 1. Let x be z(-4). Suppose -479 = -5*y + l - 114, 4*l + 20 = 0. Let a be (-42)/y + 2/6. Is x > a?
True
Let b(h) = h**3 - 7*h**2 - 7*h - 7. Let q(i) = -i**3 + 7*i**2 + 2*i - 6. Let f be q(7). Let a be b(f). Is a less than 1/5?
False
Let o = 31 + -32. Which is smaller: -4/19 or o?
o
Let l be (-4)/18 + (-6)/(-27). Let r = -1 + 1. Suppose -5*y + r*y = -5. Which is smaller: y or l?
l
Let m = 53/56 + -11/8. Let s = m + 5/7. Are 0 and s equal?
False
Suppose 3*v - t = v - 13, -5*v = t + 29. Suppose -4 = g + 4*n + 10, -n - 2 = 0. Are g and v nonequal?
False
Let p = 36 - 40. Which is bigger: p or -5?
p
Let g = 227725/1792 - -53/256. Let b = g + -127. Which is smaller: 1 or b?
b
Suppose z - 6*z - 25 = 0, 5*z = -5*m + 265. Which is smaller: m or 56?
56
Let b = -135 - -1486/11. Suppose 5 = -4*u + 1. Is u < b?
True
Suppose j + 17 = 3*v, j + 24 = v - 3*j. Is v equal to 1/7?
False
Suppose 12 = 2*f + 10. Is -5/13 < f?
True
Let h(s) be the first derivative of -s**2/2 - 3*s + 1. Let n be h(-3). Let w = -2/15 + -4/45. Which is greater: n or w?
n
Suppose 2*i + 3*i - 25 = 0. Is i at most 5?
True
Suppose 4*y - 2*y = 8. Suppose v + 4*p + 8 = 0, 4*p = -y*v + 3 + 1. Is v >= 4?
True
Let f(k) = 7*k**2 + 5*k + 5. Let x(y) = 6*y**2 + 4*y + 5. Let j(b) = 5*f(b) - 6*x(b). Let h be j(0). Let d = -4 - h. Is d less than 0?
False
Let j = 0.35 - 0.05. Suppose 5*v = 36 + 39. Let q = v - 16. Is q less than or equal to j?
True
Let d = 35 - 18. Suppose d*s = 15*s. Let z be 2/(-5)*(-20)/6. Which is smaller: s or z?
s
Let f = -17 - -61. Does 44 = f?
True
Let y be ((-2)/(-1))/2 - 1. Let h be (2 - 2)*2/(-4). Let s be 1 - (-14)/(-6) - h. Which is bigger: s or y?
y
Let k = -189 + 173.1. Let h = -16 - k. Which is greater: 1 or h?
1
Let d = 84 + -82.7. Is -0.1 at most d?
True
Let p = 3 + -3. Let z be 2/(-4)*p/3. Is z > -3/5?
True
Suppose 3*p - 3 + 0 = 0. Let z be (p/3)/(1/24). Which is greater: z or 7?
z
Let k be 0 + (-1 + -23)/(-3). Suppose -5*m - k = -2*g, 6*g - 3*g = -m - 5. Let p be -1 + (1 - (-1 - -2)). Is g < p?
False
Let t(c) = 5*c**2 + 1. Let q be t(-1). Let l = 9 - q. Let a be (l/(-2))/(4/(-8)). Are a and 2 non-equal?
True
Suppose -c = 4, -3*p + 2*c + 1 = c. Let g(y) = -y**3 + 6*y**2 + 6*y + 5. Let r be 21*2/6*1. Let j be g(r). Are p and j nonequal?
True
Let p be (-5 - -2)/(33/(-2)). Let y = 3 + -2. Let b = y + -1. Is p not equal to b?
True
Let i(n) = 19*n + 52. Le