 2/13 or o?
2/13
Let p be (-2)/(-1)*41093/290. Do 284 and p have the same value?
False
Let y(l) = -l - 5. Let k be y(-6). Let q be -1 - ((-18)/22)/(6/8). Which is smaller: k or q?
q
Let x = 23 - 20.3. Let d = x + -2. Let a = -3.3 - d. Which is smaller: a or -1?
a
Suppose -4*n = 4*z - 24, 0 = -2*n + 2*z - 0*z. Let i be -4*2/(-2) + n. Is 6 smaller than i?
True
Let m = 15 - 17.1. Let y be 16/20 - ((-3553)/165)/(-19). Is m <= y?
True
Let a = 2058 + -2057. Which is smaller: a or -6.07?
-6.07
Let i = -1.803 + 1.603. Is i at least 1.37?
False
Suppose -4*v - 5*t = -0*v - 30, -5*v - 2*t = -29. Let c(p) = -p**3 + p**2 + 1 - 2*p + 0*p**2 + 2*p**2 + v. Let y be c(3). Which is smaller: -2/53 or y?
-2/53
Suppose 9*h - 10*h - 3 = 0. Let r = -283/6 + 1349/30. Is h bigger than r?
False
Let v = 5 - 3. Let n = -0.634 - -0.564. Which is greater: v or n?
v
Let q(n) = -2*n + 114. Let z be q(0). Suppose -4*s = -2*r + 40, 0*s + 4*s = -5*r + z. Let t = -22 + r. Is 2 greater than or equal to t?
True
Suppose -3*o + 3*y + 12 = 0, 4*o + y - 12 = 3*y. Suppose 0*h + 5*h + 8 = -4*a, -3*h = o*a + 4. Is a > -5/8?
False
Suppose -34 + 26 = 8*u. Is -1/299 at most u?
False
Let d = 148 + -22201/150. Which is bigger: 1 or d?
1
Let m = 8138/3 + -2741. Let a = 28 + m. Is 0 equal to a?
False
Let c be ((-54)/(-21) - 3) + (-64)/(-112). Which is greater: 1.3 or c?
1.3
Let b(x) = 31*x**2 - 57*x**2 + 30*x**2 + 7 - 6*x. Let v be b(3). Is 1 >= v?
False
Let i be (19/4)/((-9)/288*-8). Let n be (-1)/(-2 - 78/(-40)). Is i less than or equal to n?
True
Let u = -697 + 716. Which is bigger: u or 11?
u
Let t(s) = -s + 23. Let k be t(0). Suppose -3 + k = 5*d. Let h = -6/859 - -15504/6013. Which is bigger: d or h?
d
Suppose -6 = 2*c + 4*w, -5*c + 14 = -w + 7. Which is smaller: -2/205 or c?
-2/205
Let z = 622 + -324. Which is greater: z or 297?
z
Suppose w = -5*d + 2*w, 2*d - 2*w = 0. Let j = -2 - d. Let h(f) = 4*f + 2. Let x be h(j). Which is greater: x or -4?
-4
Let m = 13202819/2769 - 61980/13. Let l = 4/71 - m. Let j be 2/4 + (-19)/6. Which is smaller: j or l?
j
Let k = 36 + -33. Suppose -k*u = -2*u. Which is smaller: -1/37 or u?
-1/37
Suppose 11 = 22*g - 55. Let x = 4 - 0. Do g and x have the same value?
False
Let w(i) = i**2 + 8*i + 1. Let a be w(-8). Suppose 4*u + o - a = 0, 2*o = -2*o + 4. Suppose u = q + 4*q. Is -1 at least q?
False
Suppose 7*o = -3 - 18. Which is smaller: -34/9 or o?
-34/9
Let w be 15/40*4/63. Let o be -1 + 2/8*0. Which is smaller: o or w?
o
Let y = -3590 - -46698/13. Is y at most 2/7?
False
Let g = -0.01 - 0.02. Let h = 633.6 - 634. Which is greater: h or g?
g
Let x = -1/155 + 323/2015. Which is greater: x or 4?
4
Let f(c) = c**3 - 11*c**2 + 30*c - 5. Let g be f(6). Is g greater than -0.14?
False
Let x = -15 + 20. Let d = 0 - x. Let f = -9 - d. Is 2 greater than f?
True
Let b = 28 + -19. Let o(g) = 6*g. Let v be o(-3). Let t = -10 - v. Which is greater: t or b?
b
Suppose -2*a - 2*x + 38 = 0, a - 37 = -2*x - 15. Suppose 3*g - 17 = a. Which is greater: -2 or g?
g
Let t(h) = -h**2 - 7*h - 6. Let k be t(-6). Let r be ((-100)/6)/(-5)*-6. Let q(a) = a**3 + 20*a**2 - 2. Let f be q(r). Which is bigger: k or f?
k
Suppose 3*n + 2*q = -136, -13*q + 20 = -17*q. Which is smaller: n or -300/7?
-300/7
Let c(k) = -13*k + 1. Let d be c(-1). Let r = d - 11. Suppose 5*x = 2*u - 3, r = -5*u + x + x. Is -5/6 less than u?
False
Let j = 17.9 - 9.9. Is -11 <= j?
True
Let p = 437 + -438. Let q = -50/7 + 1707/238. Is q >= p?
True
Suppose 9*n = -6*n. Suppose -14 = -n*t - 2*t - 5*b, b + 8 = -4*t. Which is bigger: t or 12?
12
Let k(t) = 2*t**2 + 44*t - 45. Let u be k(-23). Is 4/31 at most u?
True
Let o = -2203.56 - -2138. Let d = o + 80.7. Let p = d - 15. Is p != 0.2?
True
Let v be 1/((-4)/(-14))*2. Let z = v - -1. Let o = 5 - z. Which is greater: o or -5?
o
Suppose -3*t + 5*m + 12 = 8*m, -m + 1 = 4*t. Which is smaller: 3/11 or t?
t
Let o = 0.21 + -0.225. Let x = o + 2.015. Which is smaller: 0.01 or x?
0.01
Suppose -3*u = 5*b + 40, 3*b - 8 = u + 2*b. Let j = -15 - u. Which is smaller: -4 or j?
j
Let m = 38 - 16. Let h = -25 + m. Which is greater: h or -1?
-1
Let w be (1 + 1/(-4))*-36. Let s = -10656 - -10655.8. Is w bigger than s?
False
Suppose 3*m - 2 = 7. Suppose 2*w - m*k = -18, -2*k = 2*w + 3*w + 64. Which is smaller: w or -6?
w
Let z = 1154 - 1305. Is -152 less than z?
True
Let d = 189 + -188.8. Suppose -3*c + 10 = -5*t, 2*c + 2*t - 4 + 8 = 0. Suppose -2*w = 2*y + 14, -4*w + 5*y + 0*y + 17 = c. Are w and d equal?
False
Suppose 4*c + 9 = 2*b + 27, 0 = -c - 2*b - 8. Suppose -3*w + 11 = c. Let r(z) = -z**2 + 3*z - 3. Let p be r(w). Is -1 > p?
True
Suppose -2*b - 2*q - q + 38 = 0, 3*q = -b + 25. Suppose -9*p + 10*p = -b. Let x = p - -17. Is 7/2 not equal to x?
True
Let z be (-837)/(-45) - (4 + 0). Which is smaller: 16 or z?
z
Let g be (-18)/57 + (-1 - -1). Suppose 19*o - 2 = 21*o. Is g > o?
True
Suppose 0 = 2*i + 6, 0*u + 2*i = -u - 10. Let r be u/(-3)*(-3)/1. Which is smaller: r or 0?
r
Let m = 4 - 13/3. Let r = 16.9 - 9.9. Which is smaller: r or m?
m
Let y = -29.6 - -29.8. Let c = -27 - 17. Which is smaller: c or y?
c
Let d = 27 + -35.1. Let b = -3.1 - d. Let z = 15 - b. Which is smaller: 1/2 or z?
1/2
Suppose -q + 2 = q. Let r = -15.31 - -15.21. Does r = q?
False
Suppose -28 = 4*s - 4*l, -s + 6*s = -2*l - 7. Let i be 1/(15/39) - 3. Which is smaller: s or i?
s
Let j(a) be the second derivative of a**5/20 + 11*a**4/12 + a**3/6 + 6*a**2 - 3*a. Let w(l) = -3*l**2 + 7*l - 5. Let x be w(3). Let b be j(x). Is 1 at most b?
True
Let m = -178 - -177.9. Is 0.004 less than or equal to m?
False
Let y = -401 + 401. Is y less than or equal to 1/137?
True
Let f = -448 + 459. Which is smaller: f or -0.6?
-0.6
Let f = -9.566 + -0.134. Let w = f + 10. Which is bigger: 0.2 or w?
w
Suppose -3*i - 3*s - 27 = 2*i, 0 = -i + 4*s - 10. Suppose 3*r - 3*x + 2*x + 5 = 0, r + 15 = 3*x. Suppose 3*a + 4*p = 8*a + 26, 3*a - 5*p + 13 = r. Is i >= a?
True
Let s be 7/(28/(-18)) + 4. Which is smaller: s or 483?
s
Let n = -37514/123 + 305. Which is smaller: n or 1?
n
Let q = 181 + 708. Are 889 and q equal?
True
Let f be 2*(6/(-4))/3. Suppose 2 = 2*o - 4*h, 7*o - 3*h - 15 = 4*o. Let q be f/o + (-2)/9. Is q not equal to 0?
True
Suppose 4*f = 5*b - 1097, -3*b + 41*f + 657 = 39*f. Which is greater: b or 214?
b
Let a = -545 - -527. Which is smaller: a or -0.11?
a
Let x be ((-21)/4)/(12/(-64)). Suppose -32 = -2*h + 3*p, 4*p - x = -4*h - 4. Suppose 3*a = 19 + 14. Is h at most a?
True
Let n = 679 + -737.1. Let h = -58 - n. Which is smaller: h or 39?
h
Let a be ((-6)/9)/((-12)/54). Let q be 4/14*(56 + a). Let p = q - 17. Is p at least as big as -1/4?
True
Let q = -6412/13 + 493. Which is bigger: 2 or q?
2
Suppose -2*z - 106 = -4*s, 134 - 354 = 5*z - s. Let l = z + 10. Is -33 not equal to l?
False
Let f = -1159 - -1172. Is f greater than or equal to 2/3?
True
Let t = -0.57 + 0.37. Let d = t + 0.3. Is 0.13 <= d?
False
Let l be 6/(-2 + 0) - 19. Let v be (l/5)/((-1)/(-5)). Let b = 22 + v. Is b greater than or equal to -1/3?
True
Suppose 8*t - 13*t - 40 = 0. Let g be (12/t)/(1/(-12)). Let m be (-4 + 82/g)/1. Is 1 at most as big as m?
False
Let h be (44/24 - 2)*(-1008)/(-27). Are h and 1 unequal?
True
Let o = -26.9 - -26.4. Is 0 <= o?
False
Let t = -19811 + 1485872/75. Let k = 1/25 + t. Does -4 = k?
False
Suppose 5*m + 2*d - 44 = 0, -m + 2*d - 5*d + 14 = 0. Let g be (-11)/2 - 1/(-2). Let l be 4 + -3*g/(-5). Which is bigger: m or l?
m
Let d = 1901/5 + -388. Which is smaller: d or -8?
-8
Let k be 8/12 - 212/(-6). Let n = -37 + k. Which is bigger: 1/60 or n?
1/60
Let c be -4 + 2 + (-2)/(-2). Let o = -227385/14 - -6867375/406. Let u = -673 + o. Is u at least as big as c?
True
Suppose -4*i = -16, -y + 4*i = 2*y + 160. Let b be (-2)/(-6) - y/(-90). Let g = b - -7/25. Which is smaller: g or -1?
-1
Let v = 45 + -41. Let q be (0/v)/(3 - 2). Which is smaller: -6/5 or q?
-6/5
Let j = -8 - -11. Suppose -4*k - w + 13 = -5*k, 43 = -4*k - 5*w. Which is greater: j or k?
j
Suppose 0 = 5*o + 5*r - 10, 0 = -3*o + 2*o + r. Let p be 5/3 + o/3. Suppose -2*m - 2 = p. Is -1 <= m?
False
Let b = 444 - 515. Which is smaller: -72 or b?
-72
Let u be (-3 - (-2)/10) + 3. Suppose -32 = 3*q + q. Let j be 4/16 - (-2)/q. Which is smaller: u or j?
j
Let s be -11 + 14 + (-22)/16 + 1.