t n be (-2)/(-3)*(-6)/(-4). Which is smaller: -2 or n?
-2
Let s be (14/(-5))/(-1 - -3). Suppose 0 = -6*t + t. Is t at least as big as s?
True
Let c = -807 + 795.98. Let k = c - -11. Which is smaller: k or 0?
k
Suppose 0 = -5*j - 6*j - 22. Let l be (-3)/(-12) + (-7)/4. Which is bigger: j or l?
l
Let s = 20092/13 + -1544. Is s less than 1?
False
Let q = 614/9 - 68. Let p be (-2 + 4)*2/(-4). Are p and q nonequal?
True
Suppose 68 = 4*h + 4*b, 4*h - 31 = 4*b + 13. Let d = h - 15. Which is bigger: 3/7 or d?
3/7
Suppose f - 2*h = 2, 0 = 2*f + 11*h - 14*h - 2. Is f < -14/5?
False
Let m = 6/11 + -228/55. Which is bigger: -3 or m?
-3
Let a be (2/8)/(3/4)*-3. Which is bigger: 1/4 or a?
1/4
Suppose 3 - 4 = x. Let q = 2 - x. Which is smaller: q or 5?
q
Let m = 19/12 + -1/4. Suppose -2*k + 5*t = t - 24, 3*k - t - 16 = 0. Suppose -x = 2*f - 5, -3*f = -3*x + 1 - k. Which is smaller: m or x?
x
Let x be 2 - (2/(-1))/(-2). Suppose 0 = -3*s - 4*m - 1, -x = 3*s - 8*s - 4*m. Which is greater: s or 2/9?
s
Let a(z) = 2*z. Let w be a(3). Suppose 8 = -w*v + 8*v. Suppose -o - 9 = 5*f - 4, -v*f + 15 = -3*o. Is o at most as big as -5?
True
Let k be 10/45 + (-6)/27. Is 6/7 < k?
False
Let f = 6.25 + 0.25. Let d = -7.18 - -0.18. Let w = f + d. Which is greater: w or 1/3?
1/3
Let l = -445/51 + 26/3. Is -1 at least l?
False
Suppose -2*d + 1 = -3. Which is greater: d or -2?
d
Let b = -47 + 46. Which is bigger: 0 or b?
0
Suppose 5*k = k - 12. Let h be (-2)/5 + 32/(-20). Are k and h equal?
False
Let z(s) = s**3 + 8*s**2 + 4*s - 10. Let r be z(-7). Does r = 11?
True
Let d be (-10)/(-35) - 10/(-14). Let k = 41833/6 + -6993. Let l = 41/2 + k. Which is greater: l or d?
d
Let l be 188 + (0 + 0)/(-2). Suppose 4*s + l + 112 = 0. Let i = 371/5 + s. Which is greater: i or -1?
i
Let z be (24/(-20))/(14/5 - 2). Let l(k) = k**2 - 5*k - 7. Let t be l(6). Let q be t - (8/6)/(-1). Do q and z have different values?
True
Suppose -2*w - 3*d - 1 = 0, 0*w + 3*w - 2*d - 5 = 0. Which is smaller: 9/7 or w?
w
Let p = -50 - -49. Do p and 0.28 have the same value?
False
Suppose 0 = -4*q - 2*q + 48. Is 4 less than or equal to q?
True
Suppose -5*i + 14 = -4*q, 4*i = -4 - 4. Let h = 11 + q. Suppose 3*p = -22 + 28. Which is greater: p or h?
h
Let f = 29 + -42. Let a = f - -9. Let b = a - -3.8. Is -0.2 equal to b?
True
Let w = -40 + 58. Which is smaller: 0.2 or w?
0.2
Suppose -4*o + 3*a = -19, -11*o + a + 4 = -10*o. Which is bigger: o or 4?
o
Let o = -11910359/13 + 915213. Let j = o - -968. Which is smaller: 0 or j?
j
Let a = 167/85 + -13/17. Is 0 != a?
True
Suppose -3*k - 21 = -3*y, -k - 18 = -4*y + k. Suppose y*g = 5*g + 9. Let m = 4 + g. Which is greater: m or 0?
m
Let f = 2 + -14. Let y = -12.5 - f. Suppose -3*r + 5*d + 20 = 0, -3*d - 1 = 2*r + 11. Is y less than r?
True
Let n be 14*((-7)/12)/7. Which is smaller: n or -2?
-2
Suppose -6 = o - 4*o. Suppose 2*h + o*h = 8. Is 4 < h?
False
Let d = 10 - 14. Let q = d - -3.9. Let y = -37 + 257/7. Which is smaller: y or q?
y
Let f be ((-2 - -2)/4)/1. Which is bigger: f or 1/4?
1/4
Let g(i) = -i**3 - 7*i**2 - 7*i - 2. Let q be g(-6). Suppose 0 = -0*c + q*c. Is 1/4 not equal to c?
True
Let q = -2 + 3. Let k(d) = d**3 - 13*d**2 + 10*d + 14. Let x be k(12). Let f be (-8)/(-40) - (-3)/x. Which is smaller: q or f?
f
Let y = -343/2145 - -1/165. Is y >= -2/5?
True
Suppose -4 = 2*s + 2*s. Let n = 1 + 1. Let u = n + -1. Which is smaller: u or s?
s
Let v(j) = j + 3 - 6 - 7. Let p be v(5). Are -5 and p non-equal?
False
Let h = -641/2667 - -2/889. Is h equal to 0?
False
Let w(y) = -y**3 + 3*y**2 + 3*y + 5. Let v = -6 - -10. Let m be w(v). Let c be (3 + -1)/(m - 0). Is 2 less than c?
False
Let c be -5*1*(-18)/5. Let f be c/(-15)*10/3. Which is greater: f or -3?
-3
Let j(k) = -4*k + 40. Let w be j(10). Which is smaller: -2/19 or w?
-2/19
Suppose 3*l - 3*s - 18 = 0, 3*s + 2 = -4*l - 2. Suppose 5*x = 3*o - 19, l*o - 10 = 4*x + 6. Suppose -4*k = n - 3, -k + 9 = 4*k + 3*n. Is o >= k?
False
Let m be 7/(-28) - (-3578)/72. Let y = m + -149/3. Is -1 equal to y?
False
Let o = -4.9 - -4.7. Which is smaller: 2 or o?
o
Suppose 0 = 5*f - 2*f + 3. Let j(q) = -4*q**2. Let g be j(f). Let p = g - -3. Is p < -2?
False
Let w be (2/8)/((-147)/56). Is w > 0?
False
Let j be (2/(-6))/((-9)/(-54)). Let u be (3 + 3)/j - -3. Is u equal to 0?
True
Let d = 3 + -6. Suppose -4*z - 9 = -7*z. Let c be 1/(-1 - 0/z). Which is smaller: d or c?
d
Let s(y) = -y**3 - 6*y**2 + y - 3. Let v(l) = -l**2 + 0*l**2 - 2*l**3 - 3*l**3 + 4*l**3 + 1. Let i(u) = -s(u) + 2*v(u). Let d be i(4). Which is bigger: 0 or d?
d
Let x = 41 + -33.9. Let z = x - 0.1. Let p = z - 6. Is 0.4 greater than or equal to p?
False
Let m = 3 - 5. Suppose 9 = -3*h + 30. Let v = h + m. Is 5 not equal to v?
False
Let q = -5.8 + 5.9. Which is smaller: q or 0.03?
0.03
Let q = -0.89 - 0.16. Let x = q - -0.05. Let g = -1 - x. Which is smaller: -3 or g?
-3
Let k = 0.09 - 6.09. Let l = -15 - -11. Let x = k - l. Is x > 0.1?
False
Suppose -p = 5*k + 23, 5*p - 3*k + 15 = -8*k. Suppose 5*y + 2*s - 30 = 0, p*y + 13 = 3*y - s. Suppose 3*d = 7*d - y. Do 2 and d have different values?
False
Let q = -12 + 18. Let h = -6 + q. Suppose -f = -5, -3*f + 40 = -5*x - 0*f. Is h > x?
True
Let p be 41/((12/24)/((-2)/(-6))). Does 28 = p?
False
Let p(x) = x**2. Let o be p(1). Let b be -2 + 1 + 6/4. Is b bigger than o?
False
Suppose 0 = -s - 2*l - 21, s + l + 43 = -2*s. Let m be (-1)/3*(-6)/s. Is m >= -1?
True
Let h = 6 + -6.3. Let y = -31.4 + 31. Let p = h - y. Is 2/15 at least p?
True
Let b(f) be the third derivative of f**5/60 + f**4/4 + f**3/6 + 3*f**2. Let i be b(-6). Is i at most as big as 4/5?
False
Let p be 9 - ((0 - (1 - 4)) + -1). Is p less than 64/9?
True
Let k(c) = -3*c**2 + 7*c + 3. Let u be k(3). Is u < -15/7?
True
Suppose -c = -1 - 1. Let y be (1/c)/((-4)/8). Let x = 36/7 + -122/21. Which is greater: y or x?
x
Let q(i) = i. Let g(h) = -7*h - 6. Let u(p) = g(p) + 5*q(p). Let y be u(-4). Suppose 2*a - 4 = -y. Are 1 and a non-equal?
False
Let d = 149 - 151. Which is bigger: 27 or d?
27
Let a = -47 - -17. Is a less than -32?
False
Let p(u) = 2*u**2 + 2*u + 1. Suppose -2*i + 13 = 5*j + 2, -j = 4*i + 5. Let d be p(i). Is 4 bigger than d?
False
Let o be (-26)/(-3) - 2/(-6). Suppose 0 = n - y - 7, 2*n + 3*y + o = -2. Suppose 2 = -n*i - 0. Is 1/3 > i?
True
Suppose x = 4*x + 12. Which is smaller: -3 or x?
x
Let u(g) = g + 9. Let l be u(-9). Suppose 3*k - 8*k + 305 = 0. Let p = k - 185/3. Is p equal to l?
False
Let z = 29 + -8. Suppose 2*c + 16 = 3*d, 2*c + 3 = 5*d - z. Which is smaller: d or 0.1?
0.1
Let w = -3.049 + 0.089. Let d = -0.04 + w. Does -0.1 = d?
False
Let v = -42 - -27. Which is smaller: -0.1 or v?
v
Suppose -1 - 2 = -3*x. Let m = 32243/31 + -1040. Let h = m + 53/93. Is h bigger than x?
False
Let m(x) = x**2 - 9*x - 13. Let t be m(10). Let p = 2 - 2.04. Let g = p + -0.06. Is g equal to t?
False
Let l = 92/21 - 33/7. Let o = 8 + -8. Which is bigger: l or o?
o
Let c be -2 - ((4 - 1) + -3). Is c less than or equal to -1?
True
Let n(t) be the second derivative of -t**4/6 - t**3/2 + 2*t. Let k be n(-2). Is -1 at least as big as k?
True
Let k = -5 - -7. Let a = -4 - -7. Suppose c = -k*d + 3, c - 6 + a = 0. Is -2 != d?
True
Let w = 17.9 + -10.9. Which is smaller: 5 or w?
5
Let i be 50/(-77) - 22/(-77). Suppose -7*a = -10*a. Which is smaller: a or i?
i
Let f(k) = -k**2 - 3*k - 2. Let o be f(-1). Does -1/10 = o?
False
Let n be -2*(-6)/(-28)*1. Let f be -3 - (2 + (-6 - 0)). Let u(g) = g - 2. Let o be u(f). Is n at least as big as o?
True
Let n be (-34)/36 - (-2)/4. Let r be (1 + (0 - 1))/(7 + -8). Which is bigger: r or n?
r
Let v be 0 - ((-180)/26)/(-3). Let n be 394/182 + 6/(-21). Let y = v + n. Which is greater: y or 1?
1
Suppose -2*t + 3*w = -3*t + 3, -4*t + 4*w = 20. Let s(j) = j**3 + 4*j**2 + 3*j - 1. Let x be s(t). Let z = -1 + 0. Is x at least as big as z?
True
Let u = -8 + 1. Let k(r) = r**3 - 39*r**2 + 37*r + 32. Let q be k(38). Which is greater: q or u?
q
Let t = -32 - -28. Suppose 5*u - 4*w = -41, -2 = u + 2*w - 5. Is u less than or equal to t?
True
Suppose 20 = -5*q, -3*w - 5*q = -0*w + 20. Let g be (-5)/(-5) + w/(-2). Which is smaller: g or -1/5?
-1/5
Let n be 51/120 + 14/(-35). Do 0 and n have different values?
True
Let a(k) = -3. Let y(r) = -r - 6. Let 