= 601 + -602. Which is greater: p or a?
p
Suppose 8 = 3*h - 28. Let t = 11 - h. Is -2 smaller than t?
True
Let h be (-2 - -4)*3 + 1. Is 13 smaller than h?
False
Suppose 5*u - o - 16 = 0, 5*u + 0*o + 4*o - 36 = 0. Is u > 1/3?
True
Let i = 39 - 7. Is i at most 32?
True
Suppose 0 = -5*a + 25, -5*a = 4*u - a - 28. Is u equal to 0?
False
Suppose 183 = 3*y - 4*m, 14*y - 9*y - 305 = -3*m. Is y <= 62?
True
Let o be (-4)/6*(-8 - -2). Suppose 5*a = 2*a + 15. Suppose -1 = -a*z + o. Which is smaller: 0 or z?
0
Let o = 1 + -46. Is o greater than -45?
False
Let y be (18/15)/(2/5). Which is greater: -1 or y?
y
Let z be ((-343)/28)/7 - 1/4. Let c = -259/150 + 3/50. Do c and z have the same value?
False
Let d = -9 - -9. Let b = 47.1 - 47. Do d and b have the same value?
False
Let z = -379/2505 - -3/167. Does 0 = z?
False
Let c(j) = 3*j**2 + j + 5. Let d be c(3). Which is smaller: d or 36?
d
Let v(r) = -r**2 + 13*r - 5. Let c be v(13). Is -5 greater than c?
False
Let h = -48.9 + 53. Let d = h + -4. Which is bigger: 4 or d?
4
Suppose -3*o - 1 + 4 = 0. Let h = -1 + o. Let c be 4 - (3 + h)/3. Is c less than or equal to 2?
False
Let t be 0*(1 - 4/8). Suppose -2*k + 3*k - 2 = t. Is k at most as big as 16/5?
True
Let h = -322 + 33829/105. Let n = h + -22/15. Which is bigger: n or 0?
0
Let v = 1 - 4. Let l = v + 6. Is 2/3 less than or equal to l?
True
Let x = 8/13 + 2/39. Suppose -5*m = -0*m - 4*d, 0 = 2*d. Is x equal to m?
False
Let l(r) = -r**2 - 11*r - 17. Let o be l(-9). Which is smaller: o or 1/9?
1/9
Suppose -2*d - 5 - 7 = 0. Suppose 0 = -b - 1 - 3. Let x be b/6 - 19/3. Are x and d unequal?
True
Let t = -4 + 3.9. Let z = -0.6 - t. Let x = z + 0.4. Which is bigger: 1 or x?
1
Let o = -1.1 - -1. Let j = 0.49 + -3.49. Is o greater than j?
True
Suppose 2*r = 6*r - 140. Let l = r + -106/3. Which is bigger: l or -1?
l
Let h be (-86)/(-22) + -9 + 5. Is -1 at least as big as h?
False
Let k = 69/259 - -6/37. Let u(m) = m + 2. Let h be u(-2). Which is bigger: h or k?
k
Let s(n) = -2*n + 15. Let q be s(10). Let u be (-14)/2 - 0/3. Let a = u - q. Is -2 bigger than a?
False
Let r(h) = -h**2 + 5*h - 4. Let f be r(3). Is f >= 2?
True
Let b = 73/9 - 23/3. Let q be (2 + -1)/(2/2). Do b and q have the same value?
False
Suppose -o + 0 = 4*w + 2, 0 = -3*o + 5*w - 6. Suppose 0 = -4*z - 9 - 7, 4*u = -3*z + 8. Let p(i) = -i + 2. Let c be p(u). Which is greater: o or c?
o
Let n = -99/35945 - 2/1365. Is 0 at least as big as n?
True
Suppose k = t + 1, -2*t - 3 = -3*t + 5*k. Suppose -5*c + 2*n = -2*c + 46, 5*c + 85 = 5*n. Let v be (c + 7)/(-1 + 4). Is t greater than v?
False
Let q = 4 + -3.89. Let w = 0.01 - q. Is w >= -6?
True
Suppose 3*z + 2*z + 8 = 4*c, 0 = -c + 2. Which is smaller: z or 2/5?
z
Let o = -4.9 + 5. Which is smaller: o or 0.3?
o
Let u = -0.3 + 0.1. Let q = u - -0.3. Let k = -2 + 7/3. Are q and k equal?
False
Let w = 316/15 + -102/5. Let z(y) = 2*y**2 + y - 1. Let g be z(1). Which is greater: w or g?
g
Suppose -4*r + r + n = -71, 2*r + 4*n - 66 = 0. Let q be (30/r)/((-9)/(-10)). Which is bigger: q or 0?
q
Let j = 25 - 43. Let r = -22 - j. Which is smaller: r or -2?
r
Let b = -37 + 38. Which is smaller: b or 0.05?
0.05
Let x = -13 + 7. Let d = x - -5. Which is smaller: d or -8/7?
-8/7
Let r be 158/6 - 2/(-3). Let s = 39 - r. Suppose 0 = -3*q - 0*d + d + s, 3*q = 4*d + 12. Is q not equal to 3?
True
Let q = -14 - -6. Are -9 and q equal?
False
Let r = -8.9 - -9. Which is greater: 0.5 or r?
0.5
Let l(n) = -n**2 + 2*n + 1. Let x be l(2). Are -1 and x equal?
False
Let o(c) = c + 3. Let h be (3/2)/(3/(-6)). Let m be o(h). Suppose -4*t + 2 - 6 = m. Which is smaller: 1/5 or t?
t
Suppose -2*t - t = -0*t. Let g(p) = -p**3 + p**2 - p - 3. Let b be g(0). Is t != b?
True
Let k be 8/(-1)*(0 + -1). Let n = 59 + -53. Which is bigger: n or k?
k
Suppose 0 = -k - 3 - 0. Let b be 207/(-104) - (k - -1). Let s = b - -77/104. Which is greater: 0 or s?
s
Suppose -2*l = 3*z - 3*l - 55, -2*z - l + 45 = 0. Suppose 2*y - 6*y - z = 0. Are -3 and y non-equal?
True
Suppose 5*r - 45 = 4*z - 13, 28 = 4*r - 4*z. Let a = -3 + 6. Which is greater: r or a?
r
Let p = -118 - -114. Is -3 < p?
False
Let g be (-4)/(-6) - 8/(-6). Suppose j - 6 = -2*z + g*j, 3*z - 4*j = 19. Let s be 0/2 - 3/(-4). Which is smaller: s or z?
s
Let a = 68 + -63. Which is smaller: 60/13 or a?
60/13
Suppose 0 = -3*x - 3*f - 0*f + 3, 5*f - 5 = 5*x. Let g(q) = q**2 - 6*q - 14. Let u be g(8). Suppose 0 = 2*t - x - u. Is t > 2/3?
True
Let s = 13 - 16. Is -3 at most as big as s?
True
Suppose 0*g + 5 = g. Let h = 17 - g. Suppose -4*b - 5 = 3*s, -2*b + 3*s = b - h. Are -1 and b non-equal?
True
Let a = -0.1 + 0. Suppose 8*b - 2 = 6. Is b at most as big as a?
False
Suppose -9*m - 10*m + 19 = 0. Is m at least as big as -1/182?
True
Let s = -11 + 10.9. Which is bigger: s or -0.09?
-0.09
Let t(w) = 2*w**2 + 2*w + 4. Let i(y) = -6 - 1 - 4*y**2 - y - 3*y. Let v(z) = 3*i(z) + 5*t(z). Let h be v(-1). Are h and 1/10 unequal?
True
Let v = -4 + 6. Let s = v + -3. Which is greater: s or -0.3?
-0.3
Let i = -5 + 9. Suppose j - 2 = -4*j + i*z, 4*j - 7 = 5*z. Let m be 1 + (j/(-6) - 1). Is m at most as big as 0?
False
Suppose 5*y + 6 - 1 = 0. Let b = -4 - y. Which is greater: -4 or b?
b
Let s be (-1408)/28 + (-6)/(-21). Let d be 10/(-45) - s/(-18). Is d less than or equal to -5?
False
Let d = -211 + 4855/23. Which is smaller: d or 1?
d
Let d(j) = j**3 - j**2 + 3. Let w be d(0). Let g be (-1)/3 + (-1)/w. Which is bigger: -1 or g?
g
Let n(v) = 198*v**2 - v - 1. Let d be n(-1). Let m be (2/6)/(6/d). Let f be 8/12 + m/(-12). Which is bigger: f or 1?
1
Let z = 62 + -64. Which is smaller: 0.1 or z?
z
Let n be (0 + 4 - 4) + 10/(-7). Is -2 smaller than n?
True
Let b(l) = 4*l. Let u be b(1). Suppose -s - v = 4*s, u*s = -3*v. Which is bigger: -1/27 or s?
s
Let t = -82 + 81.8. Is 24 greater than t?
True
Suppose -5*z = 5*j - 4*z - 1145, -4*j + 5*z + 945 = 0. Let u be 5*-1*4/j. Which is smaller: u or 0?
u
Let h be (-9)/14*2/3. Suppose -f = -5*f + 16. Suppose -4*i = -0*i + f. Which is bigger: h or i?
h
Let k = 12 + -11. Which is greater: k or -1/4?
k
Let l = -0.3 - 1.7. Let w = l + 0. Which is greater: w or 2?
2
Let w = 45662/21 + -2174. Is w at least 1?
False
Let d(n) = n**3 - 12*n**2 - 5*n + 12. Let v be d(12). Which is greater: -2 or v?
-2
Let h = -141 - -272. Suppose 3*n - 84 = -3*w, 0*w + 4*n = 5*w - h. Let o = w - 107/4. Which is smaller: -3 or o?
-3
Let f = 16 - 14. Suppose 0 = 3*l - f*o - 2*o + 5, -5*l + 2*o - 13 = 0. Is 1/3 at least as big as l?
True
Let s be (-1 + 0)/(2 + -1). Suppose -4*x = 3*v + 52, -4*v - 3*x - 11 = 49. Let w be 0 + (v/(-15))/2. Which is bigger: s or w?
w
Let k = 0.19 - -0.81. Is k at most 4?
True
Suppose -2*w - 12 = w. Suppose 2*t - t - 1 = 0. Let g = w + t. Which is greater: -2 or g?
-2
Let k(n) = n + 2. Let d be k(0). Which is greater: d or -2?
d
Let c be (3*-3)/(-3)*5. Let p = 3 + -1. Suppose 3*w + w = -3*l - c, -2*l + 4 = -p*w. Which is bigger: 1/8 or l?
1/8
Let x be (1 - -29)*(4 - 2). Suppose -20 = -2*c - 5*t + 26, 0 = -3*c - 3*t + x. Let l be (c/12)/(1/2). Is 3 at most l?
True
Let o = -12 + 12.02. Let k = o + -0.22. Is k < 0.1?
True
Suppose 4 = -3*a + 13. Is a greater than or equal to 3?
True
Let r = 8 + -5. Let y = r - 3. Is -1 equal to y?
False
Let i = -2 + 1. Is i less than or equal to -1?
True
Let m(b) be the first derivative of b**2/2 - 9*b - 3. Let d be m(9). Let q = 14 - 29/2. Which is greater: q or d?
d
Suppose -3*a + 10 = 5*k, -5*a + k + 13 = -13. Which is smaller: 1 or a?
1
Let n = 7/8 + -1. Let d(t) = -t**2 + 9*t - 18. Let m be d(6). Is m at most n?
False
Let f(y) = -y**2 + 2*y. Suppose 5*k - 4 = -2*w, -4*w = -k - 7*w - 7. Let v be f(k). Let i = -3 + v. Which is smaller: i or -4?
-4
Let y = -0.3 + -0.75. Let c = -0.05 - y. Is c > 0.08?
True
Let m = -0.33 + 0.19. Which is bigger: -0.2 or m?
m
Let y be 1/(-2)*(0 + 1). Suppose -2*w + w + 1 = 0. Let o be (2 - (-2 + 6))/w. Is o at least y?
False
Let h(g) = -5*g + 6. Let z be h(-9). Let u = -666/13 + z. Are 1 and u non-equal?
True
Let p = 23 + 5. Let j = p - 18. Which is smaller: 1 or j?
1
Let h be (-1 - 0)*(-9)/(-36). Which is smaller: 0 or h?
h
Let i = -46 - -140/3. Suppose 5*m - 6 + 3 = -p, -2*m + 9 = 3*p. Suppose -p*f = -3 - 0. Are f and i equal?
False
Let a be ((-4)/7 - 0) + (5 -