 be v(2). Let b = -19/54 + 1/54. Is b smaller than y?
True
Suppose 5*q = 3*q - x + 2, -3*x = 6. Suppose 3*t + 4 = 7*t. Let i = t - q. Is -4/7 less than or equal to i?
False
Suppose 0 = -5*i + 3*i + 28. Which is bigger: i or 13?
i
Let b = 4 - 0. Let p = -4.5 - -5. Let o = 0.3 - p. Which is smaller: b or o?
o
Let j(m) = m**3 + 4*m**2 + 1. Let p be j(-4). Suppose -5*z + 110 = -3*r, 2*z + 5*r + 0 = 75. Let v be -1 + (z/4)/5. Is p less than v?
False
Suppose 3*q + 5*d = -50, 0*d + 4*d + 16 = 0. Let g be (-3)/5 - (-4)/q. Is g less than or equal to 2/9?
True
Let a be (12/3 - (0 + 3))/1. Which is greater: -2/61 or a?
a
Let c be 144/14 + (-12)/4. Which is bigger: c or 6?
c
Let i = -110 - -225. Let t be i/20 + (-1)/(-4). Suppose -2*b + 3*s + 2*s = 6, 2*b - 2*s = -t. Does -3 = b?
True
Let h = -34 - -31. Let p be 3/5 + 62/(-20). Is h != p?
True
Let z = 22 - 22. Is z <= -2?
False
Let a = -2 - -1. Let l = 11 - 7. Suppose -l*j = -20 + 12. Which is bigger: j or a?
j
Suppose -2*l = 2*p + l + 23, 3*l = -5*p - 35. Which is bigger: p or 0?
0
Suppose -4*b - 3*f + 44 = 0, -28 = -3*b - b + f. Suppose -3*p = -b - 1. Suppose -3*q + 2 = -0*h + h, h = -4. Which is greater: p or q?
p
Let s be (-2 - -31) + 1 - (-9)/(-9). Is s at least 27?
True
Let c = 507 + -15229/30. Let w = c - -3/10. Is 1 > w?
True
Suppose 3*f + 4 = 1. Let v be 0/((-2)/2*f). Let j be 34/30 - (-7)/(-21). Is v less than j?
True
Suppose 98 = 4*h + k - 2*k, 0 = 5*h + k - 118. Let r be 4/h + (-4)/(-6). Is 0 <= r?
True
Let u = -27 - -39. Let o be (-8)/u + 20/3. Let p(x) = -x**3 + 5*x**2 + 7*x - 4. Let d be p(o). Is d <= 2?
True
Let n = -1 - -2. Suppose b + 0*b + n = 0. Which is greater: b or 0.2?
0.2
Let q(a) = a**2 + 6*a + 7. Let s be q(-5). Suppose -15 = -5*d + s*k - 2, -3*d + 4*k = -19. Let g = -3 - -3. Which is bigger: d or g?
d
Let m = -7 + 9. Suppose 2*h = -m - 0. Do 3/13 and h have the same value?
False
Let g = -0.005 - -0.105. Which is greater: g or 8/3?
8/3
Let m = -828/5 + 165. Is m at least 1.1?
False
Suppose 0 = -5*p + 4*x + 71, -x - 6 = -2*p + 23. Suppose -3*g + 5*i = -8*g - p, -4*g + 8 = -i. Are g and 0 nonequal?
True
Let k be (-1)/(-28) - (-4)/(-14). Let m = -0.42 + 28.42. Let n = -27.94 + m. Which is smaller: n or k?
k
Let k be 2 + 3*2/3. Let g be k/(-12) + 6/(-9). Which is smaller: -2/27 or g?
g
Let m = 15 - 15. Let s = 3165/208 - -7/208. Let d = s - 15. Is m > d?
False
Suppose -4*m - 2*w = -48, m - 5 = -2*w + 1. Suppose -h - m = h. Which is greater: -6 or h?
-6
Suppose 0 = -u + 3*t + 10, -2*u - 2*t - t = 25. Is -2 greater than u?
True
Let f be (10/325)/((-2)/10). Which is smaller: 0 or f?
f
Let h(f) = -2*f**2 + 6*f. Let a be h(4). Which is bigger: -7 or a?
-7
Let d be ((-16)/(-6))/((-7)/(-42)). Let f = d + -19. Which is greater: f or -2?
-2
Let d(s) = s**3 + 10*s**2 - s - 7. Let u be d(-10). Let y be (-8)/(-12)*u/(-7). Are y and 6 unequal?
True
Suppose 32*n = 36*n. Which is greater: n or -1/15?
n
Let o be (-23)/(-6) - (-4)/24. Let h(q) = -q**2 + 5*q - 2. Let d be h(o). Is d less than or equal to 1?
False
Let w be (-6)/(-15) + 69/15. Let v be 1/(10/4)*w. Suppose -4*o + 1 = -3. Which is greater: o or v?
v
Suppose 2*f = -f - 18. Let m be (-3)/5*15/f. Suppose -5*k + 0 = -15. Is m less than or equal to k?
True
Let y(u) = -2*u - 20. Let d be y(-10). Which is greater: d or 1/8?
1/8
Let b(z) = z**3 - 3*z**2 - z - 4. Let c be b(3). Is -13/2 equal to c?
False
Let i = -163/18 - -50/9. Which is bigger: i or -4?
i
Let c(s) = s**3 + 9*s**2 - 9*s + 14. Let y be c(-10). Let a(l) = -l + 1. Let o be a(y). Let p = 3 - 5. Is p less than o?
False
Let q(a) = -11*a - 4. Let h be q(-5). Let i be 213/h + (5 - 9). Is i smaller than 1?
True
Let b be 1/6 - 10/(-84). Let k be -2 - (1 - 2 - -5). Let n be (8/132)/((-2)/k). Which is smaller: b or n?
n
Let a = -0.06 + -0.04. Let v = 0 + a. Which is greater: -4/9 or v?
v
Let c = 4 + -2. Let q = -0.05 - -5.05. Let w = 6 - q. Is w > c?
False
Let q = -0.05 - -0.1. Let o = -0.61 - 0.34. Let f = q - o. Is f less than or equal to 0?
False
Let j = 0 + -0.06. Let g = -1.06 - j. Which is smaller: g or 2/7?
g
Let q(k) = -k**2 + 18*k - 30. Let a be q(14). Is 28 >= a?
True
Let a = 1 + 1. Let g = -1.9 + a. Which is smaller: 1/2 or g?
g
Suppose -4*c - 3*w = -w + 14, 4*w = -3*c - 18. Let y = 0.4 + -0.6. Let l = y + 1.2. Which is smaller: c or l?
c
Let p(t) = t**3 - 5*t**2 - 6*t + 2. Let a be p(6). Suppose 3*f + 3*v = 7*f - 32, a*f = -2*v + 16. Let d = f - 11. Which is greater: 0 or d?
0
Let o = 4 - 2. Let k = 2.2 - o. Let z = -0.2 + k. Which is bigger: 0.1 or z?
0.1
Let c = -35 + 20. Let b = c - -15.11. Which is smaller: b or 1?
b
Let u = 6 + -13. Let h = -1 + 3. Let r be 1 - (h + u/5). Which is greater: -0.2 or r?
r
Let n(v) = -v**2 + 5*v + 6. Let k be n(5). Let r = 33 - 97. Let u be 15/35 + r/(-14). Are k and u non-equal?
True
Let g = -2 - -1. Which is smaller: g or -5?
-5
Let y(k) = k**2 - k. Let o(z) be the second derivative of 5*z**4/12 - z**3/2 + z**2 + 2*z. Let h(t) = o(t) - 4*y(t). Let n be h(-2). Are 5 and n nonequal?
True
Let a be (-4)/(1 - -1 - 4). Suppose 0 = -a*r + 6 - 2. Let c be 5*((-10)/25)/(-1). Is c equal to r?
True
Let l = 3 - 19/8. Which is greater: l or 2?
2
Let g = 1 - -3. Which is greater: -1 or g?
g
Let l(z) = z**3 - 5*z**2 + z + 1. Let d be l(5). Let v be -6*(-1 + 10/d). Let f = 3 + v. Is f at least -2?
True
Suppose -4*r = -5*a + 15, 2*a + 2*r = -a + 9. Suppose a*j - 45 + 0 = 0. Is 15 at least j?
True
Suppose -3*q - 5*r = -2, q - 7 + 1 = -3*r. Let m = 4 + q. Let j be (m - (-3 + 1))/2. Are j and -3 equal?
False
Suppose 3*u + 4*v = -40, 5*u + 3*v + 42 = -21. Let x be (-47)/12 - u/16. Let f = x + 5/2. Is f at most 3?
True
Let u be (-24)/(-114)*(-14)/(-8). Are u and 1 non-equal?
True
Suppose 17*c + 12 = 13*c. Let y be (3 + 2)*(-4)/10. Which is bigger: y or c?
y
Let p(i) = i + 3. Let b be (-6 + -3)*2/6. Let d be p(b). Which is bigger: d or -1/11?
d
Suppose u - 52 = -3*u. Let b = 8 - u. Which is smaller: -4 or b?
b
Let v(p) = -p**3 - 8*p**2 - 4*p + 9. Let x be v(-7). Let s be (-4)/x + 17/(-45). Do s and 1 have different values?
True
Let s be (5 + -9)*(-2)/(-22). Is s less than -1?
False
Let j be 783/(-2)*(-6)/630. Let n = j - 43/10. Suppose 7*d - 5*d = 0. Which is bigger: d or n?
d
Let r(p) = -p**2 + 3*p - 3. Let u be r(4). Let v be 2/u*(-1)/2. Suppose -851*o = -879*o. Which is smaller: o or v?
o
Let r = 414 + -408.91. Let x = 0.09 - r. Is x greater than 0?
False
Suppose 0*o = -2*l + o + 27, -2*l = -5*o - 15. Let x = l - 31/2. Which is smaller: x or -1?
-1
Let m(g) = 10*g - 5. Let b be m(0). Let f(r) = -4*r**2 + r. Let o be f(1). Is b != o?
True
Suppose 0 = y + 3*y + 64. Let u be 4/y*4/3. Let m = -1/105 - 2/15. Which is smaller: m or u?
u
Suppose -4*z = 19 + 13. Let n be (15/(-20))/((-2)/z). Let v be (-3)/9 - (-5)/(-3). Is n <= v?
True
Let a = -197/5 + 39. Suppose -5*x = -0*x. Let w = 0 + x. Is a smaller than w?
True
Let k be 9/(-18) + 30/(-4). Let s = 7 + k. Which is smaller: s or 0?
s
Let l = -23 - -15. Let f = 1 + l. Let u be f + 4 + -2 + 1. Is u at most as big as -4?
True
Let j be 22*((-7)/14 - (2 + -3)). Let b be 4*2 - (-3 + 1). Which is smaller: j or b?
b
Suppose -5*s = -6*s - 3. Which is greater: s or -4?
s
Let u be 6*((-3)/6 - 1). Is -10 greater than u?
False
Let t = 4 + 21. Suppose 4*a - 5 + t = 0. Let s be a*((-48)/25 + 2). Which is smaller: 0 or s?
s
Suppose -2*o + 3*o = t - 207, -2*o = 2*t + 418. Let f be (-2)/(-7) + o/532. Let p = f - 24/133. Which is smaller: p or 2/7?
p
Let t = -555 - -6101/11. Let m be 1/2*2 + -1. Is m at most as big as t?
False
Suppose -3*l + 35 - 8 = 0. Suppose -5*f + l = -4*h + 1, -4*f - 5*h = 10. Which is smaller: 0.04 or f?
f
Let a(i) = -2*i - 5. Let z be a(-3). Let g = 24/19 + -514/437. Which is smaller: g or z?
g
Suppose 2*o - 2 = -0. Is o less than 0.07?
False
Let m(r) be the first derivative of 1 - r - 7/2*r**2 - 1/3*r**3. Let x be m(-7). Are -5/4 and x nonequal?
True
Suppose -r = 6 - 1. Let d = 5 - 9. Do d and r have the same value?
False
Let o = 23 + -22. Let q be (-24)/(-14) - (4 + -2). Is o less than q?
False
Let o = -0.28 + -0.72. Let c = -0.5 - -1.3. Let r = o + c. Which is bigger: r or 3?
3
Let s(d) = 2*d - 10. Let x be s(5). Is x equal to 1.6?
False
Let c = 38 - 45. Is -5 smaller than c?
False
Suppose -3*w + w - z = 