Which is greater: -0.2 or m?
-0.2
Suppose -3*s = -y + 3 - 1, 4*s + 5*y - 29 = 0. Suppose -5*c + 0*v = -v + 7, 5*v + 7 = 4*c. Let p = c + s. Are -0.2 and p nonequal?
True
Let y be (-7)/(-14)*(-2)/(-7). Let c = 25/77 - y. Which is bigger: 0 or c?
c
Let c be (2*2)/2 - (-9 - 0). Which is smaller: 10 or c?
10
Let w = 4467/8320 - -1/640. Is w != 1?
True
Let v be 4/22 - 68/132. Are -2 and v non-equal?
True
Let i(f) = f - 5. Let s be i(7). Is s at most 0?
False
Let z = 1/132 + -101/264. Let d = -50 - -51. Is z less than or equal to d?
True
Let u = -5 - 2. Let y = u + 4. Which is smaller: -2/3 or y?
y
Let u = -1.9 - -1.8. Let b be 0/1 - 0/(-1). Is b <= u?
False
Let a = 413 + -5366/13. Which is bigger: a or -1?
a
Suppose 2*d = 4*d - 24. Let y be (3*2/d)/(-1). Which is bigger: -1 or y?
y
Let o = 1 - 0. Let p = 2/323 + 291/5168. Which is bigger: p or o?
o
Let c = -78109/4 + 19966. Let l = 36815/84 - c. Let y = -16/21 - l. Which is greater: y or -1?
y
Let o = 19 + -12. Suppose -f + o = 11. Is 1 at most f?
False
Suppose 8 + 12 = -5*t. Let x be (-4)/(-3) + t/(-6). Suppose x = -p, d - 2 = p - 0. Are d and -1/4 non-equal?
True
Let i be (-36)/71 + (1 - 3/6). Which is bigger: 1 or i?
1
Let p be 1 - 0 - 62/3. Let u = p + 19. Which is smaller: 0.4 or u?
u
Suppose -2*x = -3*o - 2, 2*o - 5*o = -x - 2. Let g = 8 - 5. Which is smaller: o or g?
o
Let a be (-100)/(-70) + 3/(-7). Let n(m) = m - 2. Let s be n(a). Is -1/3 equal to s?
False
Let f = 0.27 + 0.73. Which is smaller: 0.15 or f?
0.15
Let l be 92/(-80) + 12/30. Are l and -1 unequal?
True
Let p(c) = -c**2 + 10*c - 18. Let b be p(9). Let t be (-3)/b - 106/282. Which is greater: t or 0?
0
Let z(o) = o**2 - 7*o - 9. Let w be z(7). Let v(u) = -u**2 + 3*u - 2. Let r be v(4). Let h = r - w. Which is bigger: h or 1?
h
Let p be 27/333*(1 - 0). Which is smaller: p or 1?
p
Let b = -64 + 56.8. Are 0 and b non-equal?
True
Let v(f) = 2*f - 28. Let x be v(0). Let k = 23 + x. Which is smaller: k or -4?
k
Suppose 0*g - 3*u = -2*g + 5, 4 = g - 3*u. Does 14/15 = g?
False
Suppose 3*i - i = 4. Suppose 5 = -0*d - d, -5*p - i*d = 0. Let y be 8/(-3) + p/1. Which is greater: y or -2?
y
Let r = 102 - 104. Let j = 1 + -1. Let d = j - 0. Which is bigger: r or d?
d
Let q = 23 - 24.1. Let a = 1 + q. Is a equal to 0.07?
False
Let i(c) be the second derivative of c**3/6 - 5*c**2/2 + 4*c. Let u be i(3). Let w = -17 + 49/3. Is u > w?
False
Let p = 162 + -193. Is p less than -32?
False
Let l(d) = d**2 + 8*d + 10. Let h be l(-8). Let k be 3/12 + h/(-8). Is 1 greater than k?
True
Suppose -u - 4 = -2*m, 3*u - u + m - 12 = 0. Let z(c) = -2*c - 9 - 3*c + u*c. Let p be z(-5). Are -3 and p equal?
False
Let h(o) = -o + 2. Let f(s) = -s + 1. Let u(j) = -5*f(j) + 6*h(j). Let x be u(0). Suppose 1 - 15 = -z + 4*v, 4*z = v + 26. Which is bigger: z or x?
x
Let c(i) = -i**2 + 89. Let v be c(11). Are -31 and v equal?
False
Let p = 3 + -3. Suppose p*j = 3*j. Let q = -1 - j. Which is bigger: q or -1/3?
-1/3
Let a be 7/(-2) - 7/(-14). Are a and -4 non-equal?
True
Let b = -26 - -22. Which is smaller: b or -3?
b
Let v(q) = q**2 + q - 4. Let z be v(-3). Which is greater: z or 5/7?
z
Suppose 0 = u + 2*l - 2 + 7, 2*u + 3*l + 8 = 0. Which is greater: u or 2/23?
2/23
Suppose -3*j = -5*j. Is -1/2 less than or equal to j?
True
Let v be ((-7)/(14/(-20)))/(-2). Do -2 and v have the same value?
False
Let f be 6/24 - (-3)/(-12). Which is smaller: f or 1/2?
f
Let r = 0.084 + 10.016. Let w = -35 - -25. Let y = w + r. Which is greater: y or 3?
3
Let k be 2/(-2 - 0)*-1. Let y(p) = -8*p. Let g be y(2). Let f = -14 - g. Is k < f?
True
Let z be (-2 - -3)/(8/(-16)). Let x be (1/z)/((-7)/(-2)). Is -1 greater than or equal to x?
False
Let n = 0.05 + -2.05. Let d = -1.9 - n. Let p = -0.4 - 1.6. Which is greater: d or p?
d
Let a = -48 + 48. Is a at least as big as -5/6?
True
Let i be (4/(-6))/(8/(-36)). Suppose 2*u = i*y - 2*u - 11, y - 2*u = 3. Suppose b = y*w - 10, -5*b + 0*w + 5*w = 10. Are b and 0 unequal?
False
Let y = 302/63 + -38/9. Let t(k) = k**2 - 5*k + 2. Let g be t(5). Is g < y?
False
Let f = -1.1 + -2.9. Are -7 and f nonequal?
True
Suppose 2*h - 3*l - 11 = 0, -4*h = -5*l - 12 - 5. Is -1 not equal to h?
True
Suppose -4 = 3*c + c, -2*y - c = 13. Is y less than -5?
True
Suppose -4*t - 5*k - 9 = 0, -2*k - 14 = -t - 0*k. Let g = -16 - -16. Suppose g*p = -t*p. Which is bigger: -1/5 or p?
p
Let t = -3 - -2. Let l = 3 - 3. Let g = l - 0.2. Is g smaller than t?
False
Suppose 0 = 9*i - 14*i - 35. Do 2 and i have the same value?
False
Let i(x) = x + 7. Suppose 0 = -5*t - 0*t + 100. Suppose 3*r = -t - 1. Let v be i(r). Are 1 and v equal?
False
Let b = 0 + -1. Let v = 3 + -3. Which is smaller: v or b?
b
Let r be 34/(-6) + (-19)/6 + 3. Which is smaller: -6 or r?
-6
Let r = 20 + -16. Suppose -a = r*a. Is a less than 0?
False
Let l = -40 + 41. Is l > -1/19?
True
Let d = 41.95 - 41. Let a = 0 + d. Let x = a - -0.05. Which is smaller: -1 or x?
-1
Let m be 5/40 + 7/8. Let x = 37/6 + -343/54. Let n = x + 89/189. Is m less than n?
False
Let f = -18 - -24. Suppose 4*w - 51 = -5*z - 10, 5*z = -2*w + 33. Is w bigger than f?
False
Suppose 5*f = -4*p - 25, 3*f - p - 1 = 1. Suppose 5*x - 2 = -m - 14, 2 = -x. Let t be ((m - 0) + 1)/(-2). Which is bigger: t or f?
t
Let g be (-5 - -1)*(-1)/2. Let v(b) = 9*b - 3. Let w be v(g). Let t be w/(-22) - 1/(-2). Is t bigger than 1/2?
False
Let u = -105 + 527/5. Let z = -13 - -12.77. Does z = u?
False
Let q = -2.3 + 1.6. Let l = q - 5.3. Let o = 5.7 + l. Which is greater: 0.1 or o?
0.1
Let t = -9 - -5. Let q = -11 - t. Is -7 greater than or equal to q?
True
Let w(j) = j**3 + 4*j**2 - 1. Let m be w(-4). Which is bigger: m or -3?
m
Let a(j) = -j**2 - 8*j - 5. Let i be a(-7). Suppose 27 = -3*v - i*p, -7*v + 3*v - 56 = -4*p. Which is smaller: v or 1?
v
Let d = -18 - -19. Let p be 50*3/156 - d. Which is greater: 0 or p?
0
Let i = -18 - -20. Let s be 9/(-3)*2/(-2). Which is bigger: s or i?
s
Let b be ((-105)/10)/(3/(-6)). Which is bigger: b or 23?
23
Let z be -2*(-1)/(-3)*-6. Suppose -2*i + 3*x - 3 = 0, -3*x + z = -11. Let q be (-2 - -1)/((-2)/10). Is q < i?
True
Let z(s) = s**3 + 11*s**2 - 11*s + 16. Let h be z(-12). Suppose -3*j = 9, 0 = -3*u - 5*j - 0*j. Which is bigger: h or u?
u
Suppose 2*o = 3*l - 8*l + 23, -3*l - 5*o = -29. Let h be (l + -1 - 2)/(-2). Which is bigger: -3 or h?
h
Suppose -3 = 4*b + 5. Let a = b + 3. Which is smaller: a or -2/9?
-2/9
Let p = 0.4 + -0.2. Let f = -0.25 - 0.05. Let x = p + f. Is -2/3 < x?
True
Let y(a) = -2*a**2 + 7*a - 11. Let f(k) = -2*k**2 + 8*k - 11. Let q(c) = -6*f(c) + 5*y(c). Let x be q(5). Is x != -2/9?
True
Suppose -3*r - 1 - 8 = -4*o, 0 = 2*r - 10. Let k(n) = n**3 - 7*n**2 + 7*n - 5. Let t be k(o). Is t less than or equal to 3?
True
Let y be 14/49 + (-60)/14. Let r be (1/2)/((-2)/y). Are -3 and r non-equal?
True
Let p be (-6)/(-2) + (-17)/(-1). Suppose q - 6*q = p. Is q greater than or equal to -3?
False
Suppose u + 5 - 4 = 5*g, 0 = 5*g + u - 9. Let t = 25 - 13. Let f be t/9 - (-5)/(-15). Is g greater than or equal to f?
True
Let b = 10095 + -4956647/491. Which is greater: b or 0?
0
Suppose -g = 3 - 24. Let o be (-34)/14 - (-9)/g. Which is smaller: -3 or o?
-3
Let u be 1 + 1 + 1054/(-476). Let p = 3 - 2. Is u at most as big as p?
True
Suppose 5*c + 4*i - 3*i + 17 = 0, -2*c + i = 4. Let w = -116.02 + 114. Let y = w - -0.02. Which is greater: y or c?
y
Suppose w - 20 = -4*w. Let k be (2 - 4)*6/w. Is k at least -3?
True
Let k be (-1632)/22*-1 + -1. Let g = k - 73. Let w = -0.2 + 0.3. Are w and g nonequal?
True
Suppose 0*s + 9 = s. Let l be 3*(24/s)/(-2). Let j be l/22 - 12/55. Are j and -1 nonequal?
True
Let a be -1 + (-6)/(-2) + 1. Let o be (-1)/a + 6/9. Is o > 1?
False
Suppose 3*l = l - 2. Let i = 1 - -7. Let v be (i/16)/(22/(-4)). Which is smaller: v or l?
l
Suppose -5*b - v + 140 = -0*v, 5*b + 3*v - 150 = 0. Which is greater: 28 or b?
28
Suppose -5*l + 15 = -15. Let m be ((-6)/(-4))/(21/56). Suppose -m*y = -15 - 13. Is l less than or equal to y?
True
Let w be 720/100 + 8/10. Which is smaller: 36/5 or w?
36/5
Let x = -1054/3 + 343. Is x <= -7?
True
Suppose 0 = 3*y - 2*j + 5, -3*y - 16 = y - 5*j. Is -2 at least y?
False
Let l(o) = 2*o + o + 4 - 2*o. Let r be l(-2). Suppose 3*z = -r*j + 1, 0 = -4*z + 5*j + 1 + 8. Which is sma