?
True
Let y = -2.9 + 3. Is -19 bigger than y?
False
Suppose -5*v = -3*r - 22, 2*v - 2*r = -8 + 20. Suppose v*k + k = 207. Let c = 486/7 - k. Which is greater: 1 or c?
1
Let o be (-50)/9*(-10)/(-25). Let t = o + 211/99. Is t greater than 1?
False
Let o be (2 - 1)/(-1 - -2). Let c = o - 4. Let a be 4/(-3) + 2/c. Which is smaller: a or -1?
a
Let q = 59 + -77. Is -16 < q?
False
Suppose 2*l + 3*i + 4 = 4*l, -10 = 2*l + 4*i. Let r = -16/11 - -18/11. Is l greater than r?
False
Suppose o - 2*d = d - 6, 2*d = 3*o + 4. Which is greater: -2/207 or o?
o
Let c = -16 - -26. Let g(q) = q**3 - 11*q**2 + 11*q - 13. Let i be g(c). Is i != -3?
False
Let k(s) = -s + 0*s + 4 + 0*s. Let u be k(5). Let f = -7.4 + 8. Which is smaller: f or u?
u
Let y = -0.2 + 0.4. Let p = -2 + 1.9. Which is smaller: p or y?
p
Let n = 5954/1773 - -17/197. Let b = -11653/9 - -1291. Let t = n + b. Is t greater than or equal to 1/3?
False
Let b = -3 - -6. Let y be 6/(-4)*(-2)/b. Do 2/21 and y have the same value?
False
Let m = 86 + -102. Are -15 and m unequal?
True
Let g be -6 + -3*2/(-3). Let u = g + -1. Let q be ((-10)/15)/(u/3). Which is greater: q or 0?
q
Let c(l) = 3*l**3 - l**2 - l. Let b be c(1). Let g(a) = a**3 + 3*a**2 + 2*a - 1. Let u be g(-2). Which is greater: u or b?
b
Suppose 0*j + j + 12 = 0. Let f be (2/j)/((-6)/(-27)). Are f and 0 non-equal?
True
Let q = -3.6 - 1.4. Which is bigger: -4 or q?
-4
Let m(q) be the second derivative of q**5/20 - q**4 + q**3/6 - 11*q**2/2 + 4*q. Let t be m(12). Which is smaller: -1/21 or t?
-1/21
Let s = -4 + 5. Is 16 less than or equal to s?
False
Suppose 0 = -5*u + 3 + 2. Suppose -6*f = -2*f + 2*p + 110, -5*f = 5*p + 135. Let d be 3 - 46*(-2)/f. Is d at least as big as u?
False
Let s(p) = p - 4. Let x be s(0). Let b(a) be the second derivative of -a**4/12 - 5*a**3/6 - 2*a**2 - a. Let w be b(x). Is -2/7 greater than or equal to w?
False
Let t = -124 + 102. Which is smaller: -70/3 or t?
-70/3
Suppose 3*c = -3*u - 0*c + 24, 3*c = -u + 16. Suppose -j - u = -3*p - 5, -4*p + 4 = -4*j. Let z(y) = -y - 5. Let a be z(-4). Is a equal to p?
True
Suppose g + 2*z = -3*g + 46, z - 5 = 0. Which is greater: g or 8?
g
Let f be 134/117 - 2/9. Let x = f + -11/26. Which is smaller: x or 0?
0
Let f be (1/2)/(1/2). Let l = -701 - -702. Do f and l have the same value?
True
Let f = -31 - -19. Let y = f + 11. Do -1/5 and y have different values?
True
Let g = -9.13 + 0.13. Let i = g + 8. Which is smaller: i or 3?
i
Let c = -28 - -48. Let s = 18 - c. Is s >= 1/2?
False
Let i = -22/5 + 252/55. Let s be 3/(-2) + 2/4. Which is smaller: s or i?
s
Let u = 0 + 1. Let y be 1/(u/(-14)*2). Let p(h) = h**3 + 7*h**2 - h - 9. Let b be p(y). Is b != -2?
False
Let a = -0.4 - -0.39. Let y = 0.01 + a. Let v = -0.3 + y. Which is smaller: 0.1 or v?
v
Let q be -2 - (6/(-3) - -1). Is -5/8 <= q?
False
Let l = -0.32 + 0.02. Let y = -0.31 - l. Which is smaller: y or 1?
y
Suppose 115 = 12*c - 7*c. Which is greater: c or 22?
c
Let o = 1.1 - 0.2. Let p = o - 0.6. Let r = -0.3 + p. Is r <= 2?
True
Let c = -136 + 137.03. Let q = -0.03 + c. Which is bigger: q or 3/2?
3/2
Let s(r) = -r - 5. Let k = -10 - -4. Let u be s(k). Do u and 2/5 have different values?
True
Let g(c) = c**3 - 9*c**2 + 9*c - 7. Let s be g(8). Let p be (-2)/6 - (-28)/12. Let u be (p/5)/((-3)/(-5)). Which is bigger: s or u?
s
Let h = -1 - -1.16. Let j = h + -0.06. Is j at most as big as -3?
False
Let q = -6566/45 - -148783/360. Let r = q + -267. Which is greater: -1 or r?
r
Let p(o) = o - 5. Let t be p(-4). Let d = 33 - 32. Let l be 4*(t/(-6) - d). Are 2 and l nonequal?
False
Let m = -11.5 - 0.5. Does m = -2/7?
False
Let c = -0.3 - -0.5. Let n = -0.8 - c. Let d = 2 - 2.1. Which is greater: d or n?
d
Suppose 2*y - 5*y + 54 = 0. Let i be 4/(-35)*(-21)/y. Is 0 < i?
True
Let l = -288/55 + 51/11. Suppose 0 = -2*x - 5*d + 21, 0*d = 4*x + 2*d - 2. Is l >= x?
True
Suppose 0 = -3*f + 10 - 4. Let s be 40/72 + f/(-3). Is 0 at least as big as s?
True
Let j = 13/44 - 1/22. Is 1 > j?
True
Suppose c = -2*c. Let f be c/((-2)/(-4)*2). Let m be f - 0 - (-2)/(-4). Which is smaller: m or 0?
m
Suppose m + 3 = 0, -5*m - 39 = 7*z - 3*z. Let c be (1/z)/((-9)/54). Is 2/43 equal to c?
False
Let f be (-4)/14 - (-200)/14. Suppose -5*a = -n + 38, -4*n + 4*a = -102 + f. Let s be (-3)/n*-11 + -2. Which is smaller: 0 or s?
s
Let g(c) = -c**2 - 2 - 7*c - 5 + 2. Let d be g(-6). Which is smaller: d or 1/2?
1/2
Let y be (-8)/(-15)*(-18)/(-8). Suppose 0 = -4*t + t. Which is greater: y or t?
y
Suppose 4*i = -219 - 93. Is i at most as big as -77?
True
Suppose 0 = i - 0*i - 3. Suppose 2*v + 5*y + 3 = 0, -2 = -i*y + 1. Let j = -36 - -36. Do v and j have different values?
True
Suppose 0 = l + 21 - 23. Let a be (l/(-69))/((-4)/18). Is 1 at most a?
False
Let r = -42 - -40. Do -4 and r have different values?
True
Let f = -1 + 0. Let o(r) = -3*r - 1 - r + r. Let i be o(f). Which is smaller: 1 or i?
1
Let t = 12 - 11. Which is smaller: -1 or t?
-1
Let i be 5/1*4/10. Let p(y) = -y. Let f be p(-3). Suppose i*t = f*t. Which is greater: t or -2/3?
t
Let p = 21.9 - 22. Let c = 1.6 - 4. Let w = c - -0.4. Which is smaller: w or p?
w
Let n = 5 + -11/2. Suppose -2*y - 8 = -3*r + 5*r, -2*y - 10 = 3*r. Which is greater: r or n?
n
Suppose -4 = -3*q - q. Suppose -2*w + 5*h + 16 = q, 0 = 4*w - 3*h - 23. Suppose -w*n = 5*p - 5, 2*n - 3 = -p - 0. Is p less than or equal to -1?
True
Let q be -1*6/(-2 + 1). Are q and 2 unequal?
True
Let r(v) = -15*v + 34. Let d be r(2). Let i = -0.1 + 0.1. Which is smaller: d or i?
i
Suppose -15 = -5*j + 5*n, 0*n - n = -2*j + 3. Suppose j = -5*r - 1 - 4. Let s(t) = t - 5. Let d be s(5). Does d = r?
False
Let d = -5 + 6. Let m be -4*((-5)/(-6) - d). Suppose -5*q = -2*q. Is q at most as big as m?
True
Let a be ((-2)/(-4))/((-8)/48). Which is bigger: -1 or a?
-1
Let q be -1*(-1 - 48/(-44)). Let b(a) = a**3 + 6*a**2 - 6*a + 6. Let p be b(-7). Is q < p?
False
Suppose 2*d + 56 = s, 0 = 3*s - 3*d + 2*d - 143. Let a = s - 323/7. Is a <= 1?
True
Let k(u) = -u**3 - 7*u**2 + 11*u + 4. Let f be k(-8). Is f >= -20?
True
Let j = 10.2 - 10. Which is smaller: j or 1/9?
1/9
Let j = 27.2 - 35. Which is smaller: j or 1?
j
Let r(l) = -l**2 + 8*l - 5. Let b be r(7). Suppose 1 = 2*z - 4*u - 9, 3*z + 4*u + 15 = 0. Let q be (z - 0) + -2 + 4. Which is bigger: q or b?
b
Let i(n) be the first derivative of n**3/3 - 5*n**2 + 7*n - 2. Let l be i(9). Let z be 1/(-7)*(0 - l). Which is smaller: z or 0?
z
Suppose 2*w + 4*m = 4*w - 18, 3*w - 3*m - 18 = 0. Let p(x) = 5*x**2 - x**3 - w*x + 6*x - 3 - 2*x. Let o be p(5). Is o bigger than 2?
False
Suppose -4*z + 6*z = 2. Is z less than 2/21?
False
Let o = 0 + 4. Suppose y + 0 = o. Let j be (y/3)/((-4)/(-6)). Which is bigger: j or 1?
j
Let m = -9 - -21. Is 10 at least as big as m?
False
Let i(c) = -9*c**3 - c. Let t be i(-1). Is 7 smaller than t?
True
Let o be 4/(-6) + 121/33. Which is smaller: 2/41 or o?
2/41
Let z = 3 - 6. Let u = -1 - z. Which is smaller: -0.2 or u?
-0.2
Let f(c) be the first derivative of 5*c**2/2 + 10*c - 4. Let z be f(-6). Which is smaller: -19 or z?
z
Let r be ((-1)/(-2))/1*6. Suppose r*p = -0*p - c - 6, -c = -4*p - 1. Let m be 3/5 + 4/10. Which is greater: p or m?
m
Suppose 2*w = w + 3*t - 22, t + 16 = -2*w. Let h = w + 7. Let c be -2 - -2 - (-3 - -6). Do c and h have different values?
False
Let t = 2 + -4. Which is smaller: t or -9?
-9
Let c be (-1 - (-1)/2)*2. Let i be 0/4 - (-4)/98. Let w = -88/245 - i. Is w not equal to c?
True
Let m be ((-3)/7)/((-18)/4). Let l = 139 + -140. Which is smaller: l or m?
l
Suppose -3*i + 0*i = -6. Suppose -3 = -0*o - o + c, 3 = o + 4*c. Suppose y - 7 = -i*q, -3*y + o = 2*q - 6. Which is smaller: -2/5 or y?
-2/5
Suppose -3*k = -4*u - 16, -3*u - u = -k. Let o be k/(-32) - (-2)/(-4). Is -1 bigger than o?
False
Let l be (1/(-5) - (-3)/15) + 3. Is 3 greater than l?
False
Let k be 40/(-390)*(-45)/2. Is k not equal to 2?
True
Let x(p) = p + 1. Let q be x(-3). Let f(d) = -d**2 + 11*d. Let n be f(9). Let l = -20 + n. Is q less than or equal to l?
True
Suppose 5*w - 4 = 4*w - j, 2*w + 4*j - 8 = 0. Suppose -8 - w = r. Let g = r - -7. Which is bigger: g or -6?
g
Let k = -22/25 + 29/175. Let n be 0/(-2)*-3*(-3)/9. Which is smaller: n or k?
k
Let g(z) be the second derivative of z**3/6 + 2*z. Let 