?
4/15
Suppose 0*c + z = -3*c + 11, 0 = 4*c + 3*z - 13. Suppose -c*x + 6*x + 8 = 0. Let m = -8 + 7. Are x and m non-equal?
True
Let x be 2/330 + (1 - (-4)/(-4)). Which is smaller: -1 or x?
-1
Let t(f) = f**3 + 9*f**2 - 11*f - 7. Let x be t(-10). Which is greater: -1/7 or x?
x
Let s = 3 - 2. Let j be 1/(-2*(-25)/(-20)). Does j = s?
False
Let l = -231 + 332. Is 102 < l?
False
Let x(a) = -20*a. Let h be x(-1). Suppose 4*z = -f - 5, 2*z - 3*f + 7*f = -h. Which is greater: z or -2/5?
z
Suppose 5*c + 7 = 4*g, g + 0*g = 5*c - 2. Let n be 5 + -2 - (-4 + 4). Suppose 6*d + n = g*d. Is -1 != d?
False
Suppose -5*p = -g - 37, 5*g - g - 4 = p. Suppose p = r + 4*f - 10, r = f - 2. Suppose 0 = -4*l + 3*l - r*x + 1, l + x = 1. Is l at most as big as 1?
True
Let h = -0.03 + 0.53. Let j = -0.9 + h. Which is smaller: -0.2 or j?
j
Let h be (4/(-10))/((-6)/21). Is h less than or equal to 0?
False
Let b be 6*(-1 + (-1)/(-2)). Let s(q) = -q**3 - 2*q**2 + q + 1. Let c be s(-2). Let f be (-3)/c*(-3 - -2). Is b greater than or equal to f?
True
Let q(p) = 2*p**2 - 5*p + 4. Let f be q(10). Is 155 less than f?
False
Suppose -6*t + t = -4*y + 2, -3*y + 11 = t. Is y less than or equal to 4?
True
Let h = 0.25 - 0. Let k = -12.25 + h. Let r = k + 9. Do -1/3 and r have the same value?
False
Let k be (1/12)/((-18)/(-48)). Which is smaller: k or -1?
-1
Let q(o) = 3*o**3 + 3*o**2 + 2*o + 2. Let g be q(3). Suppose 5*t + g = 3*k + 6, -k + 5*t + 30 = 0. Let c be (36/(-30))/(6/k). Which is greater: -9 or c?
c
Let c be 2 + (130/(-22) - -3). Do c and 0 have the same value?
False
Let z(w) = w**2 + 5*w - 3. Let r be (3 - 33/15)*-5. Let b be z(r). Is -6 bigger than b?
True
Let i = -14 + 9. Do -6 and i have the same value?
False
Let t = 3820 + -30511/8. Is 6 less than t?
True
Suppose -5*r + 7 = -6*r. Is r < -5?
True
Let v = -3/49 - -1/49. Which is bigger: v or 1?
1
Let r be 2 + (-6)/(-9) + (-1594)/600. Which is greater: 0 or r?
r
Let v be 6/(-10) + (-258)/(-330). Which is greater: -3 or v?
v
Let s = 0.9 + -2. Let c = 1 + s. Let r = -4 + 18/5. Is c greater than r?
True
Let q be (-1 - 17/(-20))/(36/(-144)). Is q < 0?
False
Let b = 36 + -48. Is b at most as big as 1?
True
Let z be 2/1 + 16/(-7). Let f = 0.2 + 0.2. Let r = f + -1.4. Which is smaller: z or r?
r
Suppose -m = 4*m + 10. Let u be (m/(-33))/(2/(-3)). Is u at most -1?
False
Let p = 17309975/18 - 962440. Let d = 775 + p. Let q = -2/9 - d. Is q != -1?
True
Suppose 0 = o - 5*o. Suppose o*t = -2*t. Which is greater: 1/7 or t?
1/7
Let v(w) = -5 - 3 + 4 - w. Let m(p) = -p**3 + 6*p**2 + 5*p + 9. Let k be m(7). Let c be v(k). Is c <= 2?
True
Let c(x) = -x**3 - 2*x**2 - x + 1. Let u be c(-2). Suppose 2*f + 3*i = u*f - 1, 0 = -4*f - 2*i + 46. Let o be (-8)/f*(-8)/(-8). Is o smaller than -1?
False
Let p = 11 + -6. Let s(m) = -m**3 - 5*m**2 + 4*m - 7. Let l(w) = w**2 - 7*w - 6. Let r be l(7). Let q be s(r). Is q equal to p?
True
Let q = -5 + 1. Let p = q - 3. Which is bigger: -1 or p?
-1
Let b = 295 + -5599/19. Which is greater: b or -1?
b
Let g(a) = 6*a**2 - 4*a - 3. Let b be g(-3). Let m = b - 1198/19. Let u = -31/133 + m. Which is greater: u or 0?
0
Let s = 25 - 9. Suppose -14*i = -s*i. Are -11 and i equal?
False
Suppose 5 = 2*t + 3*t. Let x = t - 0. Suppose -12 = -2*i + 4*c, -4 = i + 4*c + 2. Which is smaller: i or x?
x
Let h be 2613/8*-1 - 1. Let b = h + 328. Which is smaller: b or 0?
0
Let h = -9.16 + 0.16. Let q = -8.7 - h. Which is smaller: q or 3?
q
Let u = 28 + -86/3. Let n be 0 + 1 + (-7)/5. Which is smaller: u or n?
u
Suppose 0 = 5*p + 4*b - 43, -3*p = p + 3*b - 34. Suppose -5*k + k = -j - 1, -p = 2*k - 3*j. Suppose l = 31 - 29. Are k and l nonequal?
True
Let g(z) = 4*z**2 - 4. Let f be g(3). Suppose 3*y = 7*y - 4*i - f, 0 = -2*y - 2*i. Suppose -y*x = -2*x. Which is smaller: x or -1/2?
-1/2
Let j = -2.5 + 2.12. Let d = j - -0.18. Which is greater: -2 or d?
d
Let f = -412/1491 + -2/213. Which is greater: f or -55?
f
Let c(v) = -39*v**3 - 3*v - 2. Let l be c(-1). Is l bigger than 41?
False
Let b = -741 - -11111/15. Are b and 0 unequal?
True
Let w(l) = l**3 - 5*l**2 + 5*l - 2. Let r be (-2 - 1) + (-1 - -3). Let q(n) = -4*n**3 - 2*n**2 + 1. Let y be q(r). Let a be w(y). Is a <= -4?
True
Let u(s) = -s**3 + 5*s**2 - 4*s + 2. Let j be u(4). Suppose -2*o - 12 = 4*o. Let n be (-2)/((-3)/o*j). Is n at least as big as 0.2?
False
Suppose -64 = -t - 111. Is t less than or equal to -48?
False
Let o be (3/2)/(7/((-224)/(-120))). Let g = 0.06 + 0.24. Is o < g?
False
Let a = -5 + 5. Let r = 1 + a. Let n = -0.08 + 4.08. Is r bigger than n?
False
Let j be 2*(5/2 + -3). Let k be -1 - j - (-2 + 169). Let f = k + 3505/21. Is f < -1?
False
Let m = 2 - -7. Suppose -3*v = h - 5, 0 = 3*h - 3*v - 0*v + m. Suppose a = -4*i + 12, 4*a + 5*i - 19 + 4 = 0. Is h equal to a?
False
Let w = 31.6 + -36. Let r = w - -0.4. Let z = -3.9 - r. Is 0.1 bigger than z?
False
Let t = 0.949 + 0.051. Which is smaller: t or 3/7?
3/7
Let g(h) = -h**3 + 18*h**2 - 17*h + 1. Let t be g(17). Is t less than or equal to 3/37?
False
Let m be 59/2 + 3/(-6). Suppose h = 4*t + 16, -5*h = -2*t - t - m. Suppose -16 = 4*s, 3*g = h*s - s + 21. Is 3 greater than g?
False
Let g = 338/3 + -112. Let p = 1 + 1. Are p and g unequal?
True
Let y = -9532/4335 - 1/867. Which is smaller: y or -2?
y
Let g be ((-4)/(-10))/((-3)/15). Let c be g*(-1013)/(-18) + -3. Let b = c - -116. Does -1 = b?
False
Suppose -3*i = 2*i - 80. Suppose 0 = -5*s + s + i. Let y = 4 - s. Which is bigger: y or -1?
y
Suppose g + 1 = 13. Let s = -21 + g. Is s >= -10?
True
Let c = 5 - 5. Let v be c/(0 - (-2 + 1)). Let w = 1/48 + -101/240. Which is smaller: w or v?
w
Let l be ((-4)/(-378) + 0)*(7 - 8). Is l at most -1?
False
Suppose 5*l - 10 = l - d, 5*l - 5*d - 25 = 0. Suppose l*y = y. Which is smaller: 4/7 or y?
y
Let z be 0 + -2 - 2 - (-34)/(-2). Which is greater: -20 or z?
-20
Let f(j) = j**3 + 10*j**2 + 7*j - 3. Let h be f(-9). Let m be (14/(-9))/(2/h). Let y = m - -12. Is y smaller than 1?
True
Let g = 4 - 3. Which is smaller: g or -3?
-3
Let k(m) = -2*m**2 - 2*m + 1. Let j be k(1). Suppose 2*c + 24 = -0*c - w, c + 3 = -5*w. Let q = c - -12. Which is smaller: j or q?
j
Let s = 2 - 1.9. Let l = 0.02 + 2.98. Which is greater: l or s?
l
Let a = -0.1 - -0.1. Let z = -0.2 - -0.1. Let j = a - z. Is j at least 0.2?
False
Let a(w) = w**3 - 15*w**2 - 17*w + 13. Let h be a(16). Is -5 <= h?
True
Let f = 15 + -14. Let i(l) = -l + 1. Let y be i(f). Which is smaller: y or -1/2?
-1/2
Let n be (-4)/9 - 1/(-3). Suppose -5*q = 2*b + 42, -4*b - 3*q + 24 - 94 = 0. Let a be 5/3 + b/24. Which is smaller: a or n?
n
Let v = 105 - 97. Is v at most 8?
True
Let a = 0.25 - 0.05. Let z = a + -0.3. Let r = -2 - -1.6. Which is greater: z or r?
z
Let w = -0.672 + -8.388. Let a = -0.06 - w. Which is bigger: 0 or a?
a
Let j be 4/(-6) - 242/33. Let a be (j/(-14)*1)/(-2). Do a and 15 have different values?
True
Let z = 11957/3 - 4048. Let o = 197/3 + z. Which is smaller: o or 3?
3
Let o(a) = 0*a + 0*a + 4*a - 3*a. Let l be o(-1). Which is smaller: l or -2/3?
l
Let f = -17.4 - -0.4. Is f greater than or equal to 0.2?
False
Let p(v) = -7*v**2 - 4*v - 2. Let o be p(-2). Which is smaller: o or -23?
-23
Let q be 26/(-18) - (1 - 2). Let a(v) = 2*v - 10. Let z be a(6). Suppose 0 = -21*y + 23*y + z. Are y and q nonequal?
True
Suppose 0*w + 5*g - 39 = -w, -5*w + 3*g + 307 = 0. Do 59 and w have the same value?
True
Suppose 3*q - 5*w = -40, 4*q = -0*q + w - 59. Let r = 2312/3 + -756. Let m = r + q. Which is bigger: 2/7 or m?
2/7
Let p(w) = -w**2 - 14*w - 2. Let t be p(-13). Let j = 10 - t. Let l(o) = o. Let a be l(j). Which is bigger: -1/4 or a?
-1/4
Let p = 17/2 - 9. Suppose 2*t + 3*t = 0. Which is smaller: p or t?
p
Let t = 7/3 + -319/138. Which is bigger: -1 or t?
t
Let i = 57/2 + -28. Is 0 bigger than i?
False
Let r = 5.9 + -0.9. Let t = 7 - r. Let y = t - 1.8. Which is greater: -0.1 or y?
y
Let m = 5.93 + 0.07. Let v = m + -5.6. Let b = -0.5 + v. Is 1/2 less than or equal to b?
False
Suppose 0 = -w + 2 - 1. Suppose -3*v = 3*t - 24, -4*v + 6*v - 10 = 0. Let c = -1 + t. Which is greater: w or c?
c
Let k be (-28)/10 - (-1)/(-5). Let z be k/21*(-1)/(-1). Is z greater than 0?
False
Let t = -0.2 - 0. Let r = -0.65 - -0.45. Is r at most as big as t?
True
Suppose -4*u + 60 = u.