
s
Let n(m) = 3*m. Let s be n(1). Suppose -s*u = -2*u + 6. Let f be (4 + -5)*u/(-4). Is -3 not equal to f?
True
Suppose 0 = 2*f + 15 + 9. Let y be (4/15)/(8/f). Let s be 25/(-72) - 1/(-8). Is s at least as big as y?
True
Let r = 5 + -6. Suppose 0 = -0*c - 5*c + 15, -2*t + 19 = 5*c. Suppose -t*y + 5 = 3*y - 2*h, -5*h = 25. Is y at least as big as r?
True
Let l be (-6)/(-21) - 204/28. Let u = 14 + l. Is u greater than 8?
False
Let q be (-6)/4*-2*1. Suppose 14*d + 2 = 15*d. Do d and q have the same value?
False
Suppose s - 4*s - j = -58, -s + 5*j + 14 = 0. Let c(w) = 3*w**2 + w - 1. Let v be c(2). Let r = s - v. Is r at most as big as 6?
True
Suppose -3*d - k = -6, 5*d - 3*k = -0*k - 4. Let a = 5 - 3. Is a < d?
False
Let h = 14 - 12. Is 2 at least h?
True
Let a(y) = -y**2 + 7*y - 2. Let q be a(6). Suppose -2*v + 0*v + q = 0. Let g be (v - 5)/(3/(-2)). Does 1 = g?
False
Suppose h - 4*h = -30. Let r = 5 + -2. Suppose -4*q - 2*o = -h, -4*q + o = -r*o + 20. Is q <= 0?
True
Suppose x + x = 180. Let m be -3 + (x/11)/3. Which is greater: 1 or m?
1
Let z = 7 + 2. Let g = z - 9. Let q = -0.2 - g. Is 2 greater than or equal to q?
True
Let v = 1608/7 - 229. Is v smaller than 4?
True
Let q(n) = -n**3 + 8*n**2 + 17*n + 23. Let k be q(10). Which is bigger: -11/2 or k?
-11/2
Let h(u) = -u**3 - 6*u**2 - 2*u - 4. Let n be h(-6). Let y be 1 - n/6 - 0. Let i be -1 - 0 - (-3)/1. Which is smaller: y or i?
y
Let g = -23 - -21. Let k be (13/52)/(1/g). Do k and -2 have different values?
True
Let c be 0/((-1)/((-1)/2)). Suppose -3*i - i + 32 = c. Let z = i + -11. Which is greater: 1 or z?
1
Suppose 25 = 8*r - 3*r. Suppose -5*v = -r*c - 3*v + 17, -3*c - 1 = -4*v. Suppose 0 = -5*o + 4*f - 7, 2*o = -3*o - c*f + 20. Which is bigger: o or -2/5?
o
Let b = 3.095 + -0.095. Which is bigger: b or 12?
12
Let q = -11 - -12. Let h = 15/89 - -10516/445. Let w = 24 - h. Is q greater than w?
True
Suppose 0 = 5*q - 6*q + 4. Is q > 0?
True
Let z = 1847/9 + -205. Are -3 and z non-equal?
True
Let q = 3.8 + -4. Let f = 7.1 - 9. Let d = f + 2. Which is smaller: q or d?
q
Let d be 16/(-2 - -6) + 32*-2. Which is smaller: -62 or d?
-62
Suppose -h + d = 6*d + 137, -4*d = h + 132. Let z be (16/6)/(h/72). Which is bigger: z or -2?
z
Suppose -o - w = 2*w - 9, w = 4*o + 16. Let z(n) = -n**3 - 2*n**2 + 2*n - 4. Let p be z(o). Which is smaller: 2/7 or p?
p
Suppose -4*f + 6*f = 2, -r - 4*f + 4 = 0. Suppose -2*b - 3*i + 7*i = 0, -2*i = b + 20. Let m = b + 32/3. Is r >= m?
False
Let l = -1.9 + 1. Let g = l - -0.5. Is -0.1 > g?
True
Let i = 2.1 + -0.1. Let h = -12.9 + 13. Is h at least i?
False
Let r be (-26)/(-6) + 1/(-3). Suppose r*q - 6 = 2*q. Suppose -1 = -q*i + 2. Which is smaller: -2/11 or i?
-2/11
Suppose -p - 3*n = -10 - 3, 3*p + 16 = 2*n. Let k be (p + -3)*10/(-125). Which is greater: k or 0?
k
Let d be 3/(-2)*(-2)/(-15). Do 1 and d have the same value?
False
Let p = -0.89 + 1.09. Let j = 5.3 - 5. Is j greater than or equal to p?
True
Let j = 1 + 0. Which is greater: j or -0.14?
j
Let s(p) = -p**2 + 6*p + 8. Let g be s(7). Suppose 0 = -n - 3*i + 14, 2*i - g - 9 = 0. Are -1 and n equal?
True
Suppose 4*q - 5*v = -v - 12, 5*v - 11 = 3*q. Let y be q/(-6) - (-2)/(-24). Which is greater: y or 20?
20
Suppose 0 = t - 4*r - 8, 4*r = -3*t - 10 + 2. Suppose -5*o + 10 = -0. Is t not equal to o?
True
Let d(h) = -h**2 - 3*h + 5. Suppose -4*v = v + 25. Let m be d(v). Which is smaller: -17/4 or m?
m
Let t = -2.59 - -0.19. Let l = t + 0.4. Let j = l - -3. Which is bigger: j or 1/2?
j
Let n = 1 - 1. Suppose n = 5*k - k + 4. Which is bigger: 2/27 or k?
2/27
Let b(m) = 2*m - 4*m + 0*m + 16. Let f be b(8). Is f less than 1/24?
True
Suppose 32 = 4*d + 4. Suppose -5 = -4*i + d. Suppose -a - 2 = 2*p, -3 = 3*p + a - i*a. Which is smaller: 0 or p?
p
Suppose 2 = -r - 0. Which is greater: r or -1?
-1
Suppose 2*v + a - 13 = 0, 5*v - 5 = -a + 4*a. Let o = -67 + 70. Which is bigger: v or o?
v
Let z = -4 - -6. Suppose -3*m = -z*j + 9, -m - j - 11 = j. Let i = m + 3. Are -3 and i unequal?
True
Let j = -0.07 - 0.06. Let u = -0.07 + j. Are -2 and u equal?
False
Suppose 6*h + 3*w = h + 287, 204 = 4*h - 4*w. Which is smaller: h or 53?
53
Suppose -144 = -6*b - 54. Let v = -21 - -36. Is b at most as big as v?
True
Let j be (16/42)/(34/51). Does j = 0?
False
Let y(h) = -h - 7. Let j be y(-9). Let z be 3*(0 - (2 + -3)). Are j and z nonequal?
True
Let c = -37 - -631/17. Which is greater: c or 6/7?
6/7
Suppose -3 = -y + 2*w, 2*y + 4*w + 1 = -9. Let j be (-4)/(-6)*3/(-1). Is j at most as big as y?
True
Let r be 4 - (8 - (-3 + 6)). Which is greater: r or -1/4?
-1/4
Let t be (2/(-55))/(7/(-245)). Which is bigger: t or 2?
2
Let a = 37 - -3. Let c be (-8)/12 - a/(-42). Which is smaller: c or 0?
0
Suppose -2*t - 22 = -4*t. Let o = 8 - t. Let d = -2 + -1. Is d != o?
False
Let t = -43 + 38. Are t and -1 nonequal?
True
Let l be 0 + -3 + 5 + -3. Let f be 110 + (-3 + l - -3). Let v = -323/3 + f. Is 0 > v?
False
Suppose 10*s - 218 = 4*m + 12*s, 5*m + 275 = -3*s. Does m = -52?
True
Let j = -8 - -15. Let s be (j/(-210))/(1/(-4)). Which is bigger: 1 or s?
1
Let i(h) = -8*h**3 + h. Let q be i(2). Is -62 at least q?
True
Let q = 11 + -8. Let l be q/(-2 + (-48)/(-14)). Let z = -8/5 + l. Is z greater than -1?
True
Suppose -3*t + 6 = -15. Suppose o = -2*j + 12, 9 = 2*j + 3*o - t. Is j > 5?
False
Let x(r) = r**3 - 5*r**2 + r - 7. Let w be x(5). Let n = -553 - -551. Is w != n?
False
Let h = 28 + -25. Suppose -4 = -l, h*m + 4*l - 3 - 10 = 0. Is m not equal to -3/4?
True
Let b = -4 - -5. Let t be ((-2)/(-4) + -2)/(-3). Which is smaller: b or t?
t
Suppose -5*x + 4 = -4*x. Do x and 4 have the same value?
True
Let m(q) = q**2 - q + 32. Let f be m(0). Suppose f = 3*i - 2*i. Let v = i - 129/4. Which is bigger: 2/3 or v?
2/3
Let i be ((-6)/(-8))/(1 + -4). Let c(y) = -y**3 - 39*y**2 - 37*y + 37. Let f be c(-38). Which is bigger: f or i?
i
Let l = 0.005 - -0.095. Let n = 6 + -5.2. Let t = n - -0.2. Are t and l unequal?
True
Let n be -14*3/(-15) - (-4)/(-5). Is n at least 3/2?
True
Let f = 9 + -3. Suppose -f*j + 140 = -j. Suppose 0 = -c - 5*d - j, -4*c + 2*d + 0 = 2. Is -3 >= c?
True
Let v be ((-7)/2)/(5/(-10)). Which is smaller: v or 8?
v
Let p(j) = 4*j - 36. Let b be p(9). Is 2 not equal to b?
True
Suppose -2*y - 24 = 4*b + b, -3*b - 16 = 2*y. Let f = 7 + b. Suppose f*c + 1 + 2 = 0. Which is smaller: 2/9 or c?
c
Suppose 0 = p + 3*p. Does p = 1/21?
False
Let f = -32 - -38.2. Let n = f + 1.8. Are 0 and n non-equal?
True
Suppose 3*u = 2 + 1. Suppose -o = 4*q + 1, -2*o + 4*o - 10 = 4*q. Which is bigger: o or u?
o
Let i(h) = h**2 - 5*h + 6. Let f be i(2). Do -1/6 and f have different values?
True
Let i = -4 - -4.13. Which is smaller: 0 or i?
0
Let d(o) = -3*o - 31. Let s be d(-11). Which is smaller: s or -1?
-1
Let x = -95 - -208. Which is bigger: -1 or x?
x
Let z = 179433/391 - -864/391. Let t = -461 + z. Is -1 smaller than t?
True
Let c = 1.1 + -0.98. Let l = c + -1.12. Is l equal to -4/7?
False
Let f be (-2)/(-4)*6/(-15). Is f <= -3?
False
Let k(t) = -16*t**3 + 2*t**2 + t + 1. Let m be k(-2). Let p be 6/m*3*-6. Is p greater than or equal to 2/3?
False
Let u = 17.2 - 12.1. Let m = -0.01 + 5.01. Let a = u - m. Which is bigger: a or -2/9?
a
Suppose 7*g - 3*g = 2*q - 2068, -3*q + 3062 = 4*g. Let o = q - 32835/32. Let b = o - -47/160. Is -1 bigger than b?
False
Let y = -2 + 60. Which is greater: 1 or y?
y
Let h = -38.9 - -37. Let b = h - -2. Let x(m) = m**2 - 3*m. Let n be x(0). Is n greater than b?
False
Let f(q) = -10*q - 21. Let r be f(-2). Let j be ((-1)/(-6))/(2/(-4)). Which is greater: j or r?
j
Let i be (-1)/1*3 - -2. Let a = -1 + 4. Let l be a/4 - (-39)/(-84). Is l less than i?
False
Let m = -3 + 6. Suppose 10 = -3*l + a, -m*a = -3*l + 4*l. Do -3 and l have the same value?
True
Let y be (-1 + (1 - 10))/(13 - 11). Do 1 and y have different values?
True
Let o = -0.087 + 2.137. Let z = o + -0.05. Let u = -0.1 - 0.9. Is u smaller than z?
True
Let o(r) = r**3 - 3*r**2 + 2. Let s be o(3). Is -15 less than or equal to s?
True
Let n = -42/5 - -48/5. Let w(t) = t + 6. Let v be w(-4). Are v and n non-equal?
True
Let z be (-10)/4*3/(-15). Which is greater: 6 or z?
6
Let j = 42 + -41. Do 1/12 and j have different values?
True
Suppose -5*q + 0*h + 18 = 3*h, 4*h - 4 = 0. Let t 