?
False
Let m = 1 + -2. Let s(z) = 5*z + 4. Let o be s(m). Do o and 1/10 have different values?
True
Let c be 4/18 + 49/(-99). Let i = -121.4 - -121.1. Are c and i unequal?
True
Suppose -q - r = -23, -q + 47 = q + 3*r. Suppose -4*a = 20, -3*p = 5*a - 0*a + q. Is p at most as big as -2/15?
False
Suppose -t = -4, 3*c + 522 = -2*c + 3*t. Which is smaller: -101 or c?
c
Suppose 2 = 2*a + 24. Suppose -2*w - 2*v - 35 = -7*w, 5*v = w + 16. Suppose -l = 2 + w. Is a greater than or equal to l?
True
Let i be 654/(-552) + (9 - 75/10). Which is smaller: i or -1?
-1
Suppose -6*j + 18 = -8*j + 5*q, -2*q + 6 = -2*j. Is -0.0046 at most as big as j?
True
Let w = -23928133/818 + 29252. Which is smaller: w or 0?
0
Let j = 532/3 + -9101/51. Which is greater: -2 or j?
j
Let t(b) = 1. Let d(z) = 4*z + 27. Let x(m) = -d(m) + 5*t(m). Let v be x(-6). Is 8/7 greater than or equal to v?
False
Let w = -5/23 + 108/391. Let t be 0*(-3)/(-15)*(-13 - -12). Is t at most as big as w?
True
Let p = -87.9 - 2.1. Let w = -90.1 - p. Is w > 19/3?
False
Suppose -2*t - 3 = -5*z - 4*t, -25 = 5*z - 5*t. Let f be z + 2 + (-3)/(-3). Which is smaller: f or 1?
1
Let y = 82 - 740/9. Let k = 21674/17 - 1275. Which is greater: k or y?
k
Let w be 30*(-8)/(-16)*3. Is -8 != w?
True
Let v(g) = -g**3 + 6*g**2 - 3*g - 8. Let n be v(5). Suppose -6*i + 96 = -n*i. Is i less than 25?
True
Let l(v) = v**2 + 6*v + 4. Let d be l(-6). Suppose 0 = 4*c - 8 - 0, d*b = -5*c + 186. Let t be 8 + -6 + (-90)/b. Which is bigger: 0 or t?
0
Let f = -29 + 33. Suppose -1 + 3 = f*i - 2*r, -i + 4*r = -4. Which is smaller: -3 or i?
-3
Let c = 97/5 - 3211/165. Which is smaller: 2/3 or c?
c
Suppose -3*b = -w - 1, -4*w + 18 = -b - 0*b. Let v be 7/b*1/7. Suppose -6*i = -16*i. Which is greater: i or v?
v
Let v = 106 - -99. Let h = 128 - v. Are -1 and h equal?
False
Let v be (2 + -4)*(7 + -5). Suppose 3*k = -2*r + 3 - 12, -5*k + 3*r + 4 = 0. Let t be (-5)/2 + 0 + k. Is t equal to v?
False
Suppose 3*t - 32 = 10. Suppose 0 = -5*h - 84 + t. Which is smaller: -13 or h?
h
Let b(r) = r**2 - 2*r - 1. Let l be b(3). Let q be (18 - 13)*l/5. Suppose q*p + 13 = 3*z, 6 = -2*p - 4. Is z less than 9/10?
False
Let g(a) = -a**2 - 6*a + 17. Let t be g(2). Which is smaller: t or 1/52?
1/52
Let x be (-12)/(-50) + (364/(-35) - -10). Is 0 != x?
True
Let s(z) = z**2 - 9*z + 5. Let p be s(6). Which is smaller: -5 or p?
p
Let v = -129 + 132. Which is bigger: 1.1 or v?
v
Suppose -3*z + 85 = -5*q - 92, 5*q = 4*z - 181. Do q and -33 have the same value?
True
Suppose 3*f - 90 - 45 = 0. Let p be 63/f + 4/(-10). Let a = -133.4 + 133. Is p != a?
True
Let n(c) = -8 - 6*c - 10 - c**2 + 12. Let k be n(-4). Suppose 10 = -2*i + 3*a, -4*i - 3*a - k = 18. Is i at least -6?
True
Let l = -53 - -74. Suppose 4*t - 2*t - l = -z, -t + 2*z = -18. Which is bigger: 10 or t?
t
Suppose -2*q + 5*l = -3*q - 4, -3*q - 5*l - 12 = 0. Let d be 3/2*q/21. Which is greater: d or -1/8?
-1/8
Let f = -1034 + 1036. Let x be -2 - (1 - 66/14). Is f at most x?
False
Let m = 0.686 - 0.686. Is m bigger than 2/3?
False
Let z = 0.85 - -0.05. Let j = z - 1. Let x = -0.01 - j. Which is greater: x or 0?
x
Let t(w) = w**2 + 7*w - 14. Let z be t(-8). Let b be (-63)/(-21)*2/z. Which is greater: b or -3?
b
Let d be ((-41)/(-2))/((-51)/170). Is d less than or equal to -69?
False
Let r = 0.33 + -16.33. Let j = r - -6. Let h be 1/6 - 14/12. Do j and h have the same value?
False
Let h = 2002 + -2003. Does -1495 = h?
False
Let l = 1281 + -1316. Which is smaller: -15 or l?
l
Let h(r) = r**3 + 13*r**2 + 2*r + 19. Let j be h(-13). Let k(b) = b**3 + 8*b**2 + 9*b + 10. Let y be k(j). Is y greater than or equal to -7?
True
Let n be (-18)/(-8) - 4/4. Let b(i) = -i**3 + 6*i**2 - 3*i - 10. Let t be b(5). Suppose -5*q + 4 + 6 = t. Which is bigger: n or q?
q
Let c(p) = p**3 - 4*p**2 + p - 3. Suppose 2*w = -4*n - 56, -2*w + 0*n = 2*n + 50. Let q = -18 - w. Let o be c(q). Is o <= 7/5?
True
Suppose -1385 = 19*o - 14*o + 5*b, -1078 = 4*o - 2*b. Is -273 bigger than o?
False
Let s = -19.7419 + 19.92. Is s not equal to -1/2?
True
Let t = 287 + -89. Is 197 at least as big as t?
False
Let u(x) = -x**3 - 17*x**2 - x - 3. Let t be u(-17). Suppose -5*g + t = -11. Suppose -f - g*f = -96. Is 0 equal to f?
False
Let b(s) = -7*s**2 + 30*s - 51. Let f be b(4). Let d be (-1)/3 + 184/(-6). Let k = d - f. Which is bigger: 11 or k?
k
Let r be (33 - -1)/(28/(-6)). Let y = -612314/35 + 17487. Let m = y - r. Is 1 <= m?
False
Suppose -15 = -5*b, 2*l + 0*b = b + 2265. Let f be 3/5 - l/(-35). Suppose -4 = i + 5*a - f, -3*a - 6 = -2*i. Is i <= 10?
True
Let q = -154.9 + 155.3. Which is greater: -29/4 or q?
q
Let y = 3 + 2. Let b(p) = p - 16. Let f(x) = -x + 17. Let s(w) = 5*b(w) + 6*f(w). Let r be s(15). Is y less than r?
True
Suppose 7*t - 18 = 3. Let x be 6/(-9)*t/2. Let z = 2 - 1.82. Which is smaller: x or z?
x
Suppose 0 = -22*z + 17*z + 8040. Suppose z = -5*u + q + 510, -u + 3*q = 214. Let b be u/416 + (-6)/(-16). Which is smaller: 2/15 or b?
b
Suppose 12 = -3*o, -3*p - 20 = 2*o + 3*o. Let s(a) = -2*a - 2. Let l be s(-5). Suppose 4*t - l + 0 = 0. Which is smaller: p or t?
p
Suppose -4*p - 5*b + 28 = 0, -2*p + 15 = 4*b - 5. Suppose -2*v + 18 = p*o - 6, -5*v = 3*o - 40. Let y = -14 + o. Which is smaller: -8/3 or y?
y
Let d = 1 + 7. Let f = 8 - d. Suppose f*n + 3 = 3*n. Which is smaller: -1 or n?
-1
Let w = -2.94 + 141.94. Let n = w - 139.075. Is 0.1 at most n?
False
Let o be ((-46)/(-4) + -1)/((-10)/340). Let c be 2355/o - -7 - 2/17. Which is smaller: c or -2?
-2
Let l be 410*((-6)/15 + 0). Let r = -108 - l. Let o be 21/r*20/6. Which is smaller: o or 2?
o
Let a = 690 + -687. Which is bigger: a or 0.18?
a
Let y = 53.2 - 1.6. Let a = y + -52. Which is greater: a or -9?
a
Let t = -39 - -235/6. Let p = -135 - -135.2. Are t and p unequal?
True
Let i = -553 + 554. Is 83 greater than i?
True
Let p = -1671 - -1179. Let c be (-12)/8*p/(-9). Which is smaller: c or -81?
c
Let z = -67 - -57. Is -9 at most as big as z?
False
Let m be (5/2 - 1)*(-248)/(-6). Is 63 smaller than m?
False
Let z = -14 - -25. Suppose -2*s + 3*s - 2*j - z = 0, 43 = 3*s - j. Suppose 0*y = 5*y - s. Which is bigger: y or 2?
y
Suppose 5 + 5 = -5*o. Let v be -4 + (3 + 1 - -20). Let x be v/(-16) - (-22)/56. Which is smaller: x or o?
o
Suppose -2*u - 3*o + 2 = -4*o, -18 = -2*u + 5*o. Let m be (-259)/(-14) - (-18)/4. Which is greater: m or u?
m
Let k = -15 - -12. Which is greater: -3/14 or k?
-3/14
Let l = -340060489/504 + 6747223/10. Let u = l + 1/280. Is u greater than or equal to -1?
True
Let d(k) = k**2 - 3*k. Let w be d(10). Are 64 and w equal?
False
Suppose -z = -5, -2*z = -r + 3*z + 93. Is 117 at least r?
False
Let h(t) = -10*t**2 + 1. Let g be h(1). Let d be 22/6 - (-6)/g. Suppose 4*k + 5 = 5*n, -3*k + 1 = 4*n - d*n. Which is smaller: k or 4/5?
k
Let h = -539 - -602. Are -0.6 and h non-equal?
True
Let p = -1280 + 1296. Are p and 82/5 nonequal?
True
Let n be (0 + -3 + -395)*2/10. Let k = n + 80. Which is smaller: -43 or k?
-43
Let c(y) = 54*y - 82. Let x be c(2). Let k(l) = 27*l**2 - 2*l - 1. Let f be k(-1). Is f < x?
False
Suppose 0 = -5*p + 3*k + 22, -5*p - k - k = -2. Let b be p*(-4 - 116/(-28)). Which is greater: b or 0.11?
b
Suppose 2*b - 2*r - 21 = 25, 4*r - 41 = -3*b. Which is smaller: 11 or b?
11
Let m = 175 + -174. Which is smaller: 185 or m?
m
Let v = -5.24 - -3.54. Which is greater: v or -21?
v
Let a = 102.2 - 100.2. Let k be ((-2)/20)/((-2)/(-8)). Which is bigger: k or a?
a
Let x = 0.93 + -53.93. Is x bigger than -2/5?
False
Suppose 5*c = -3*r + 31 + 13, r + 2*c - 16 = 0. Suppose -4*z - 19 = -2*a - 3, 5*a + 4 = -z. Suppose 5*j + r - 3 = a. Are -2/9 and j equal?
False
Let t be (-34)/(-119) - 136/182. Which is smaller: 0.25 or t?
t
Suppose -4*j = -2*j - 8. Let t(c) be the second derivative of -c**5/20 + c**4/4 + 5*c**3/6 - 3*c**2 + 3*c - 3. Let a be t(j). Is 0.8 < a?
False
Suppose -4 = 2*a - 40. Suppose 4*s + a = 2. Is s not equal to -5?
True
Let x = -202 - -196.22. Let j = x - -3.91. Let n = j - 0.13. Is n at least as big as -2?
True
Let d = -1.9 - -2. Let b = d - -0.6. Let h = b - 4.7. Is h < 0?
True
Let q = 1.816 - -0.184. Let g = -0.8 + 5.8. Let i = g - q. Do i and -0.1 have different values?
True
Let y = 13.515 + -14. Let x = y - 0.015. Which is smaller: x or -2?
-