f = 0.03 + 0.27. Are q and f non-equal?
True
Let v = -141.9 + 134. Let q = -8 - v. Which is smaller: 0 or q?
q
Let w be (46/(-4))/((-10)/4). Let y = -5 + w. Is y smaller than 2/3?
True
Let p be ((-3)/(-6))/(2/116). Which is greater: 28 or p?
p
Let c be 16/(-8)*(-2)/4. Is 12/7 > c?
True
Let r(w) = w - 7. Let q be r(14). Is -2/3 greater than or equal to q?
False
Let u = -12 + 4. Let k = -7 - u. Which is smaller: 0.1 or k?
0.1
Let z = -18/11 - -212/143. Is -1 bigger than z?
False
Let u = -20 + 20. Which is smaller: u or 1/55?
u
Suppose -4*o = -7*o - 36. Let r be (-2 - -2) + 3*(-9 + 5). Are r and o unequal?
False
Suppose -2*t - 5 = -t, 4*t + 44 = -4*k. Which is bigger: k or -9?
k
Let j be (-14)/(-5) - (24 + -26). Which is smaller: j or 6?
j
Let t be (-8)/28 + 36/(-21). Which is smaller: -3/4 or t?
t
Let s be (2 - 3)*(-1 + -2). Let f be 5 - s - (-1 - 2). Which is greater: f or 4?
f
Suppose -4*x - 14 = 30. Let k be x/(-8) + -3 - -2. Is 1 not equal to k?
True
Let r = -22103/43 + 514. Let v = -127/877 + 94436/113133. Let h = r + v. Is 2/5 at most h?
True
Let k be (-3)/5 - (-4)/15. Is k less than or equal to 2/5?
True
Suppose 3*b + 9 = 6*b. Is b greater than or equal to 2?
True
Let s(k) = -k**3 + 5*k**2 + k - 2. Let i be s(5). Let u be (i/(-18))/(-1 + -1). Is 1 less than u?
False
Suppose 2*l + 5*u - 11 = 0, -l - 1 = -5*u + 1. Suppose 5*f = -b - 4, 0*f = -l*f - 6. Which is greater: b or 5?
b
Suppose -7*d + 5*d - 30 = 0. Let k = d - -14. Let s = -2082/13 - -160. Is k equal to s?
False
Suppose -3*k - 3*p - 2*p = -43, -5*k - p + 57 = 0. Let v(c) = c + 2. Let y be v(k). Is y at least as big as 13?
True
Let y = 29 - 45. Let u = 5039/3 - 1695. Let f = u - y. Do f and 1 have the same value?
False
Let n = 8 - 4. Let l be (1 - 1)/(1 - n). Let k be l - (2/(-2) - -3). Is k != -3?
True
Let f(k) = k**2 + 4*k - 1. Let t be f(-4). Which is smaller: t or -2/29?
t
Let s be ((-22)/55)/((-1)/5). Is 14 bigger than s?
True
Let t = -311/188 + 33/20. Is t equal to 1?
False
Let h = 5 - 9. Let r(n) = -n**2 + 11*n + 4. Let p be r(11). Let d = -7 + p. Is d equal to h?
False
Suppose -24 - 16 = -8*m. Let h(a) = -a**2 + 7*a + 6. Let b(u) = -u**3 - 3*u**2 - 3*u - 2. Let o be b(-3). Let f be h(o). Do f and m have different values?
True
Let f(n) = 9*n - 41. Let j be f(5). Is j not equal to 11/4?
True
Suppose 0*f + k = -3*f + 13, -4*k = 2*f - 22. Suppose -f*o + 4*o = w - 13, -4*w - 2*o = -70. Let b be (-4)/(-2)*(-2)/w. Which is bigger: -1 or b?
b
Let i be -1 + (3 - 7 - -4). Is 1 greater than or equal to i?
True
Let p = 48 + -145/3. Let v = -3 - -2. Let s = 1 + v. Which is bigger: p or s?
s
Let i = -0.026 - -2.126. Let t = 0.1 - i. Let w = -2.4 - t. Which is smaller: -0.2 or w?
w
Let q be 1 + ((-3)/2)/3. Is 0.3 less than or equal to q?
True
Let j(z) = -z**3 + 9*z**2 - 7*z - 9. Let w(c) = -c + 19. Let t be w(11). Let v be j(t). Is -0.11 > v?
True
Let s be (-3)/9 - (-2)/6. Let z be -2 - (s + 17/(-8)). Are 0 and z equal?
False
Let j be (18/(-40))/9*(6 + -10). Which is smaller: j or -1?
-1
Let d(m) = m**3 - 16*m**2 - 37*m + 22. Let p be d(18). Is 5 less than p?
False
Let v be (-1 + 4)*-4*-1. Suppose 0 = -4*h + 4*g - v, 0*g - 2*g = -4. Let s = 2 + -1. Is h smaller than s?
True
Let l = 7 - 4.2. Let k = 0.2 + l. Let t be ((-8)/(-40))/((-6)/(-10)). Is k not equal to t?
True
Suppose -1 = -4*m - 3*a + 12, a + 2 = 5*m. Is 5/3 smaller than m?
False
Let y be (8/(-310))/4*-113. Let n = y - 4/31. Are 3/2 and n nonequal?
True
Let m = 54 + -107/2. Which is smaller: 2 or m?
m
Let v be 6/21 + 71586/(-14). Let m = -122753/24 - v. Let y = 11/6 + m. Which is smaller: y or -1?
-1
Let p = -123114/11 - -11468. Let o = p + -276. Let k = o + -12/55. Is 3/7 greater than or equal to k?
True
Let s = 10.7 - -17.3. Which is smaller: 0.3 or s?
0.3
Let q be 5/(-1)*(-9)/45. Which is smaller: q or -1/24?
-1/24
Let b be ((-1)/(20/(-15)))/(3/(-2)). Let z be (0*(-1)/(-1))/2. Suppose 5*f + 3*p + 3 = 0, z = -2*f + 5*p + 2 + 3. Is f bigger than b?
True
Let v = -66.4 + 67. Which is bigger: -0.2 or v?
v
Suppose -a - 4*a + 30 = 0. Let s(l) = -l. Let x be s(-3). Let t be ((-2)/x)/((-16)/a). Which is smaller: 0 or t?
0
Suppose -a + 5 = l - 2*l, -3*a - 10 = 2*l. Let j = -29 + 265/9. Which is smaller: a or j?
a
Let r = 0.06 + 2.94. Let f = 3 - 9. Let v = f + 6.1. Which is smaller: r or v?
v
Suppose 8 = 4*l - 2*l. Let o(v) = -7*v + 11. Let q(u) = -3*u + 5. Let f(g) = 2*o(g) - 5*q(g). Let b be f(l). Which is smaller: -1/4 or b?
-1/4
Let s = -10 + -5. Which is bigger: s or -14?
-14
Let n be (5 - (0 + 0)) + -1. Let s(x) = -x**2 + 4*x + 1. Let j be s(n). Suppose -3*w + j + 4 = -2*b, 0 = 5*w - 5. Is -2/7 > b?
True
Let i(f) = f**2 - 22*f + 22. Let l be i(21). Is 5/17 at least as big as l?
False
Suppose -3 = -2*p - 7. Suppose 3*g = -m - 0*m + 21, 4*m = -g + 40. Let n be 3/m + (-52)/30. Which is smaller: n or p?
p
Let c be ((-3)/(-9))/(1/6). Suppose 7 = c*o + 3. Are 2 and o nonequal?
False
Let j = -465 + 271. Let a be j/(-66) - 2 - 1. Are a and 0 nonequal?
True
Let z = 0.3 - 0.51. Let k = -7 + 6.99. Let x = k - z. Is 1/4 greater than or equal to x?
True
Let d be 2 - -1*3*-3. Let o(n) = -11*n - 18. Let w(v) = -7*v - 12. Let l(t) = 5*o(t) - 8*w(t). Let p be l(d). Which is smaller: -2/3 or p?
p
Let q be 57/(-18)*(-6)/(-15). Let c = q + 5/3. Is -2 less than c?
True
Suppose -5*r + 4 = 4. Which is smaller: r or 8/13?
r
Let b be 0 + 1 - (-1)/(-4). Suppose 0*x - 8*x + 16 = 0. Is x smaller than b?
False
Let g = 2835/11 + -113169/440. Let z = g - 1/40. Does -10 = z?
False
Let h be (-21)/(-35)*28/(-6). Which is greater: 1 or h?
1
Let j = -62.7 + 66. Let s = -0.7 - j. Let l = -1 - s. Which is bigger: 0 or l?
l
Let o = 825 - 5784/7. Which is smaller: o or 2?
o
Let k be 2*1/(-1) - (-2 + -10). Is 7 less than k?
True
Let u(b) = b**3 + 6*b**2 - b - 5. Let z = -12 - -6. Let p be u(z). Let r be 2/(-8)*24/(-9). Is p greater than r?
True
Let a = 19 + -19. Let q = -4 - -8. Are a and q non-equal?
True
Let x(s) = -s**2 - s. Let k be x(0). Suppose 3*q - 4 = 8. Let p be q/(-10) + 16/90. Which is smaller: p or k?
p
Let o(p) = p**3 + 7*p**2 + 6*p - 4. Let y be o(-6). Let u = 7 + y. Do 7/2 and u have different values?
True
Let g = 15 + -10. Let n = 4 - g. Which is greater: n or 0?
0
Suppose 8*g + 12 = 4*g. Which is smaller: -4 or g?
-4
Let p = -6919530 + 159111039/23. Let k = p - -1659. Let g = k - -5/69. Which is smaller: g or 1?
g
Let s = 0.96 + 0.04. Is s greater than or equal to -42?
True
Let u(q) be the third derivative of -3*q**4 + q**3/3 - 3*q**2. Let c be u(-6). Let s = -3902/9 + c. Is s less than or equal to 0?
False
Suppose 5*f = -q + 26, 16 = 3*f + 1. Let h = -0.3 + 0.1. Let u = h - 0. Is u bigger than q?
False
Suppose 0 = -2*d - 0 - 4. Suppose 12 = 2*f + 2*f. Suppose 12 = -o - f*o. Is o less than d?
True
Let h = 601/3197 - 8/139. Is h less than or equal to 1?
True
Suppose -21 = -2*x - 9. Suppose -6*t + 4*t + x = 0. Suppose -1 = -t*b + 2*b. Is -2/3 greater than b?
False
Suppose 3*p = -5*i - 45, 0 = -4*i - 5*p - 34 - 15. Let c = -7 - i. Which is smaller: c or -4?
-4
Let h be (-1 - 0)/((-2)/8). Suppose -2*v - 2*v - h*k = -20, 8 = 2*v + k. Suppose -b + 2 = v. Is -2/9 greater than b?
True
Suppose 0 = x + i + 1, -3*i + 13 = -x - 0*i. Suppose 3*g + 0*g = -12. Are g and x equal?
True
Suppose 0 = d - 0*d - 2. Suppose 0 = 3*w - 8*w - 3*f + 40, 0 = -w - f + 10. Let s(p) = -p**3 + 5*p**2 + 1. Let o be s(w). Is d less than or equal to o?
False
Let g = -34 + 33. Which is bigger: -4/23 or g?
-4/23
Suppose -3*u - f - 3 = 0, -2*u - 2 = -0*u - 4*f. Let w = -6 - 6. Let k = 13 + w. Which is smaller: k or u?
u
Let m be (-1)/((-33)/(-18) - 2). Suppose -5*u - 1 = x - m, 3*x + 15 = 0. Which is smaller: u or -0.3?
-0.3
Let g be 2 + -6 + -9 + -1. Which is greater: -0.1 or g?
-0.1
Let q = 7 + -4. Suppose 2*v + q + 1 = 0. Is -5/3 at least v?
True
Let j = 87 + -85. Let n(f) = f**2 - 6*f. Let t be n(6). Suppose t = 5*a - 5*w, 5*a + 6*w = 2*w + 18. Is j < a?
False
Suppose j = -2 + 5. Suppose p = -3*n + 5 + 5, 0 = -4*p - 5*n + 26. Suppose 0 = 2*w + s - 7, 2*w = -2*s + p*s - 2. Which is smaller: w or j?
w
Let c(r) = -r**2 - 4*r - 2. Let i be c(-3). Suppose 3*o = -2*k - 14, 3*o - 4 = 4*o. Let b be i/7*(-3 - k). Which is smaller: b or -2/21?
b
Let z = -13 + 7. Which is bigger: z or -2?
-2
L