r 13?
13
Let c = -58/17 - -3115/918. Let d be 2/16*20/27. Let n = d - c. Is 0 at least n?
False
Let b = -8.63 - 0.57. Let i = b - -9. Is i >= 3/4?
False
Let l = -1 + 1.15. Let j = l + 0.95. Let c = j - -2.9. Does c = -1?
False
Let y(s) = -s**2 + s + 1. Let n be y(0). Suppose 4*m + u - 1 = 2*m, 18 = 3*m - 4*u. Which is greater: m or n?
m
Suppose 2*p + 5*t + 10 = 0, -p = t + 3 - 1. Suppose 4*g + 12 + 4 = 4*h, -2*g - 8 = -h. Is p < h?
False
Let c = -436 - -8289/19. Is 0 < c?
True
Let o be ((-4)/35)/2*-5. Let c = -9 - -25. Let x be ((-4)/c)/(1/(-4)). Which is greater: x or o?
x
Let t = 16 - 16.1. Let y = -107 + 748/7. Is y < t?
True
Let n(a) = 3*a**2 - 2*a - 9. Let o be n(7). Let t be (o/406)/(-1 + -1). Let i = t + 2/203. Is i at most 1?
True
Let w = -1 + 10. Suppose 0 = -z + j - w, 3 = -z + 3*z + 5*j. Is -8 > z?
False
Suppose 4 = -3*p - 5*a + 16, 0 = p - 3*a - 4. Suppose 0 = -2*t + p + 6. Suppose 0 = u - 0*u + 5, 3*z - 8 = -2*u. Is z != t?
True
Suppose -3*c - 13 - 2 = 0. Is -5 at least as big as c?
True
Suppose -p + 5*z = -21, -1 = 5*p + 2*z + 2. Let t = -25 + 26. Is t != p?
False
Let j = -32 - -33. Are j and 4/3 equal?
False
Let z = 0.6 + -0.37. Which is smaller: z or -1/5?
-1/5
Let f be 388/44 + (-2)/(-11). Suppose -4*h = -4*b + 12, 0 = -2*b - 3*b + 3*h + f. Which is smaller: b or -1?
-1
Let l = 22 - -7. Are l and 28 unequal?
True
Let v = -0.12 + 0.02. Let h = -2.92 + -0.08. Which is greater: v or h?
v
Suppose -2*m + 12 = 2*g, -m - 3*g = -2*m - 6. Suppose -20 = 5*k, -5*z - k = m*k + 16. Let i(t) = -t**2 - 8*t - 8. Let h be i(-7). Which is smaller: h or z?
h
Suppose 2*s + 2*s = -5*l - 1, -l - 1 = 0. Let t = -1/18 - 1/9. Is t bigger than s?
False
Let p = 11 + -7. Let d = 5 - p. Which is bigger: d or 2/19?
d
Suppose -2*q - 2*j + 4*j - 6 = 0, 0 = -4*q + 5*j - 17. Suppose i + 7 = -2*k, -3*i + 19 = -q*k - 2*k. Suppose -33 = -8*g - 3*g. Do i and g have the same value?
False
Let z(x) = x - 6. Let i be z(10). Suppose i*g = 4 - 16. Is g greater than 0.1?
False
Let o(x) = 2*x**2 + 9*x - 4. Let y be o(-5). Which is smaller: y or -4/13?
-4/13
Suppose 2 = -d - 4*f, -7*f - 15 = -5*d - 2*f. Let m be d*-1 + (-72)/(-45). Does m = 0.3?
False
Suppose 4*b - 132 = -0*q + 5*q, 2*b - 24 = q. Which is smaller: -27 or q?
q
Let d be (-226)/(-12) + (-34)/(-204). Is d at most as big as 18?
False
Suppose -4*v + 10 = 2. Is 2 at most v?
True
Let x = -190 - -115. Is x < -75?
False
Suppose -a = 2, 0 = 4*i - 0*a - a - 2. Let o = -0.5 - -0.4. Which is smaller: i or o?
o
Let a = -245/3 + 80. Is a less than or equal to 1?
True
Suppose -6 = 5*x - 11. Is x at least 1?
True
Let j be (-4)/(-12) - (-8)/30. Let r be 0/2 + 4/(-16). Which is bigger: r or j?
j
Let z = -6.02 + 6. Let b = z - 2.98. Let s = -3.1 - b. Is 5 equal to s?
False
Let x be 6/9*9 - 1. Suppose 0 = -4*t + x*t - 1. Suppose 3*j + 3*a = 0, 4*j - 3 = 2*a + 9. Which is smaller: j or t?
t
Suppose 5*q - f = -388, -2*q + 5*f + 293 = -6*q. Let l be q/(-35) - (0 + 2). Which is greater: l or 1?
1
Let d = -463/6 + 77. Are 2 and d non-equal?
True
Suppose 4*u - o = -3*o - 30, 3*u = o - 15. Let t = u + 11. Is t >= 7?
False
Suppose -5*h = -0*h. Is h greater than -1?
True
Let n be 2/(-9) + 350/441. Is 0 bigger than n?
False
Let f = -81 - -78. Which is bigger: f or 2?
2
Suppose 0 = -4*o + 4*r - 120, -5*o - 6*r - 182 = -3*r. Is o less than -34?
False
Let s = 2844/5 + -566. Which is smaller: s or 4?
s
Suppose 2*v - 5*c = -2*v + 2, v - c - 1 = 0. Which is smaller: v or 9/4?
9/4
Suppose y - 186 = 3*x - y, 55 = -x + 3*y. Is x != -64?
False
Suppose -3*k + 48 = -18. Which is smaller: k or 1/3?
1/3
Let x be (-3 - 0) + (-72)/(-21). Which is smaller: x or 0?
0
Let s be (-1 + 2 + -1)/(-2). Suppose -2*p + 3 = w - p, -4*w + 5*p - 24 = s. Is 1/4 greater than or equal to w?
True
Suppose -4*l - 10 = -14*l. Is 20 at least as big as l?
True
Let s = 3 - -4. Let m = s + -6. Is m at most 1?
True
Let z be 20/(-4) + (-8)/(-2). Which is smaller: -7/12 or z?
z
Let l(f) = 22*f + 2. Let k be l(-3). Let u be (-4)/(k/(-30)) - -2. Which is smaller: u or -1?
-1
Let x = -1.6 - 13.4. Let f = 16 + x. Let v = 0.4 - 0.2. Is v > f?
False
Suppose -k + h = 4*h - 8, -k + 5*h - 8 = 0. Suppose -36 = -4*n + 5*p - 0*p, 0 = -p. Suppose 2*i + 10 = -4*l, n = 5*l + 29. Is i < k?
False
Let k(t) = t**2 + 4*t - 5. Let d be k(-5). Let u be ((-2)/50*-2)/(-2). Let v = -9/25 + u. Which is smaller: v or d?
v
Let y(z) = -z**2 + 3*z + 8. Let p be y(6). Let s = 7 + p. Is -2 bigger than s?
True
Suppose -84 = -3*v + 2*t + 70, -4*t - 158 = -3*v. Is 50 > v?
False
Let k(x) = 6*x**2 + 4*x + 1. Let p be k(-5). Let s = p + -657/5. Let t = -1338 - -1339. Which is greater: t or s?
t
Suppose k = f + 8, -4*f + 4 = -5*f. Let l be 13/21 - k/14. Which is smaller: 1 or l?
l
Let q = -2.3 - -3.2. Let r = 1 - q. Which is smaller: r or 3?
r
Let r = -23 - -34. Is 12 less than r?
False
Let b(t) = t**2 + 3*t + 2. Let y(r) = -r**2 - 3*r - 2. Let h(d) = 6*b(d) + 7*y(d). Suppose -f - 3 = -0*f. Let n be h(f). Which is greater: n or 0.2?
0.2
Suppose 5*l - 10*l + 80 = 0. Let d be (4/l)/(2/6). Which is bigger: d or 0?
d
Let v(o) = o**2 + 11*o + 29. Let x be v(-7). Is x >= -6/23?
True
Suppose -3*t = 5*x - t + 13, -2*t - 6 = -2*x. Let b = 1 + x. Which is smaller: b or 2/15?
b
Suppose 3*k = k. Suppose -5*u - 20 = -k*u. Which is smaller: u or -3?
u
Let q = -178/715 + 1/55. Which is bigger: -1 or q?
q
Suppose -3*j + 15 = -6*j. Let p(v) = v**2 + 6*v - 3. Let n be p(j). Is -7 at most as big as n?
False
Let l be (0/1*-1)/(-1). Suppose -3*o = 2*o - 50. Let q be 4/o + (-34)/60. Which is bigger: q or l?
l
Suppose -5*u - 30 = -5*l, -l - 3 = u - 7. Is l at least as big as 7?
False
Suppose -2*w + 20 = 12. Let v be (-18)/(-12)*w/(-21). Let k be 1/(-1) + 2/1. Is v greater than k?
False
Let k = 23/58 - -3/29. Is 0.018 < k?
True
Let y = -6 - -13. Suppose -9*w - 10 = -y*w. Is -6 less than or equal to w?
True
Let k(y) = y**3 - 4*y**2 + 3*y - 1. Suppose 6 = -m + 4*m. Let x be k(m). Let a be (1/(-3))/(2/(-3)). Which is smaller: a or x?
x
Let p = -15.6 + 17. Let a = p - 0.4. Let y = 0 + a. Is 0 at most y?
True
Let f = -9 + 9. Is -2/7 greater than or equal to f?
False
Suppose -2*u - 6 = a - 1, -u = 0. Let r be (2 + 3)*(-2)/a. Let s be ((-1)/(-2))/(1 + 0). Which is smaller: r or s?
s
Suppose l - 4*i + 193 = i, -3*l = 2*i + 528. Let a = 2137/12 + l. Is 1 less than or equal to a?
False
Let z be (-21)/(-12) + 1/4. Suppose -g = -2 + 1. Let l be ((-1)/g - -1) + 1. Is l > z?
False
Let k = -622 + 20528/33. Which is smaller: k or 0.1?
k
Let c = -0.3 - -0.27. Which is smaller: c or -1?
-1
Let h be (0*(-4)/(-12))/(-1) + -3. Which is smaller: -2/11 or h?
h
Let d(b) = -b**2 + 5*b + 5. Let f(s) = -s - 3. Let c be f(-8). Let n be d(c). Suppose -n*q = 2 + 8. Which is bigger: q or -1?
-1
Let a = -285083 + 3701566/13. Let i = 347 + a. Is 0 < i?
False
Let s = 2/21 + -88/483. Which is greater: 1 or s?
1
Let s = 3 + 3. Let v be 8/s*1/(-2). Suppose 5*p - 4*y - 5 = -2, -2*y = 5*p + 9. Which is bigger: p or v?
v
Let d(p) be the third derivative of p**6/360 - p**5/120 - p**4/8 + p**3/6 - p**2. Let y(m) be the first derivative of d(m). Let r be y(0). Are -3 and r unequal?
False
Suppose -o + 15 = 5*u, -10 = -5*u - 5*o + 3*o. Suppose -u*c + 3*c = 3. Is -2 at most as big as c?
False
Let v = -43 + 36. Is v at least as big as -7?
True
Let l = 0.2 + -1.2. Let i = 0 + l. Let d = 14 + -15. Is d greater than or equal to i?
True
Let a(m) = -8*m + 10. Let t be a(-5). Let r be ((-5)/t)/(4/30). Which is greater: -2/13 or r?
-2/13
Let h be ((-3)/(-3) - 1)/(-3 - -5). Which is smaller: h or 12/11?
h
Let l = -2 - -7. Suppose 2*t = -3*w + 22, -l*t - 17 - 20 = -4*w. Are 8 and w non-equal?
False
Let m be (26/52)/((-13)/6). Which is smaller: -1 or m?
-1
Let z = -0.5 + 0.5. Which is bigger: z or -1/92?
z
Let b = -0.716 + -8.314. Let d = -0.03 - b. Which is smaller: -0.1 or d?
-0.1
Let c = -0.08 - -3.08. Let i be (5/(-60))/((-2)/18). Which is greater: c or i?
c
Let q = 11.975 + 0.025. Are q and -0.2 equal?
False
Let r be 14/6 - (-11)/(-11). Suppose t - 1 + 0 = 0. Is t < r?
True
Let b be -1 + 5/(-2) + 4. Is b > 38?
False
Suppose 0*z + 18 = 2*n + 2*z, -4*z + 30 = 3*n. Suppose -5*o + 1 = n. Suppose 0 = -4*h - h. Which is smaller: h or o?
o
Let p(t) = -t + 24. Let o be p(7). Let b be (-5 - -1)*o/