or -20?
s
Let g = 325 + -1638/5. Is -3 not equal to g?
True
Let z = 1 + -2. Let f = -1 + 3. Let a be (2/(-28))/(1/f). Which is smaller: a or z?
z
Let y = 7585697 + -13214285017/1742. Let x = y + 3/134. Which is greater: x or 1?
1
Suppose -2 = -z + 3*z. Let l = 5925/4 + -1468. Let r = 13 - l. Which is greater: z or r?
r
Let r = 1.6 + -1.7. Is r < 2/39?
True
Let m(u) = -3*u + 3. Let q be m(-4). Let d = -8 + q. Let b be 2/4*(-4)/d. Is b less than -1?
False
Let o be (3/(-4))/(1/4). Let k be -2 + (-18)/(-3) + 0. Suppose -6*p + 20 = -2*c - 2*p, -2*p = k*c + 10. Which is bigger: o or c?
o
Let c be -3 + -4 + -4 + 3. Let t be c/20 - 42/20. Which is greater: t or -3?
t
Let p = 14 - 10. Let g(d) = -7*d - 6. Let w be g(-4). Suppose 4*h = 2*f - w, -4*h = -p*f - f + 25. Are f and -1 nonequal?
True
Let a = -2.01 - -0.01. Which is bigger: 1 or a?
1
Suppose 1139 = 4*i - 845. Let o be 220/i + (-2)/8. Let g = o + -117/124. Is g at most as big as -1?
False
Let c be ((-1)/4)/((-1652)/32). Let h = c - 1249/2065. Suppose 0 = -5*v - 5*g, g - 5*g = -3*v. Which is greater: h or v?
v
Let r = 19 - 15. Suppose -4*i + 0 = -r. Is i smaller than 2/5?
False
Let b(h) = h - 8. Let t be b(9). Suppose 2*k + t - 3 = 0. Is 1 smaller than k?
False
Let c be ((-6)/21)/((-12)/35). Let z = -199/246 + c. Let a = z - 44/123. Is a smaller than -1?
False
Let s be (-2)/((-8)/4) - 6/15. Which is bigger: s or 0?
s
Let s = 3.8 + 1.2. Let o = s - 5.2. Which is smaller: 2 or o?
o
Suppose -2*c + 5*n = -24, -3*c + 18 = -c - 2*n. Which is smaller: -3 or c?
-3
Let o = 8 - 13. Let y = o + 1. Let p = -6 + 2. Is y at least p?
True
Let x = 157921/4 + -39176. Let p = x + -302. Is 2 smaller than p?
True
Let w = 3 + 0. Let j be (12/45*w)/(-2). Is 0.4 not equal to j?
True
Suppose -5*m = -4*m. Let v = 368/11 + -34. Is v at most m?
True
Suppose 5*p - 9 = -3*i, p + 6 = 2*i - 2*p. Suppose 63 = -t + i*t + 5*a, 3 = a. Let c be ((-6)/(-4))/((-54)/t). Is c smaller than -2?
False
Suppose 3 = g + 6, -3*g = 5*s + 64. Which is smaller: s or -8?
s
Let s = -2987164/13 - -229968. Let t = -186 + s. Which is greater: t or -1?
t
Let w = 6 + -7. Let d be (18/11)/2 + w. Does d = -2/3?
False
Let z = -34 + 38. Let s be ((-10)/6)/((-4)/6). Is s < z?
True
Suppose 0 = -3*p - 6 - 0. Let t be 23/p + 1/(-2). Let v be (t/(-16))/((-6)/(-4)). Is v bigger than 1?
False
Suppose 7*b = b + 138. Are b and 21 equal?
False
Let y = 1.43 - 1.53. Does -75 = y?
False
Let s be (0 - (-8 + 2))/2. Suppose 13 = -3*y + 5*w, -w = -3*y + s*w - 11. Which is bigger: y or 1/5?
1/5
Let m = -9355 + 38149/4. Let n = 8047/44 - m. Let k = 45/88 - n. Which is smaller: 1 or k?
k
Let h be (-2)/(-4)*0*(-9)/(-9). Is h equal to 0?
True
Suppose 5*p - 5*o - 25 = 10, -4*p + 20 = -2*o. Let b be 1/5*(-5 + p). Let u = 7/20 + -1/10. Does u = b?
False
Let h(z) = -z + 2. Let x be h(3). Let t be 1/3 + (-1 - -1). Let y = t + -1/21. Which is smaller: x or y?
x
Suppose 5*f + 4*z + 15 + 20 = 0, -3*f = -5*z + 21. Let t(o) = o**2 + 6*o - 10. Let m be t(f). Let n be -7 - (0 + -1 + -2). Is m less than n?
False
Let m(r) = -r**2 - r. Let y(q) = -3*q**2 - 7*q + 1. Let u(n) = -2*m(n) + y(n). Let x be u(-5). Which is smaller: 3 or x?
x
Let w = 54 - 376/7. Is -2 <= w?
True
Let h be (1 - 1) + 2/(-6). Let u(f) = 2*f + 8. Let w be u(-4). Let x = w - h. Is 0 equal to x?
False
Let q(n) = n**3 + 8*n**2 + 10*n + 20. Let r be q(-7). Suppose 0 = -2*i + 5 + 1. Suppose 0 = -i*b - 3. Are b and r equal?
True
Let f be (-21 - -21)/(0 - 3). Let s be ((-3)/(-3))/(5*2). Is s >= f?
True
Let w = -3/37 - -46/111. Which is greater: -4 or w?
w
Suppose -l - 4*n + 2 - 10 = 0, -3*n = -3*l - 9. Let m be ((-3)/l - 1)*0. Which is smaller: m or 2?
m
Let u = -8 - -10. Is u not equal to 4?
True
Suppose -f + 0*f = -6. Let t = -8 + f. Is t at most as big as -4?
False
Let b = -13 - -13.4. Suppose 2 + 7 = 3*o. Suppose 2*x - 3*q + 0*q - 1 = 0, 7 = -o*x - 4*q. Is x greater than b?
False
Let q(w) = w**2 + 5*w - 2. Let k be q(-6). Suppose -5*u - 3 = -3*i + 2, -k*i = u - 22. Suppose u*o - 2 = 0, 0*m + 4*o = -3*m + 7. Is m not equal to 1/11?
True
Suppose l - h - 8 = 0, -4*l - 8*h = -3*h - 32. Which is smaller: 6 or l?
6
Let k(m) = m + 2. Let d be k(-5). Let x = d - -4. Suppose 0 = n - x - 1. Is 1 <= n?
True
Let v(l) = 5*l**2 - 31*l + 4. Let o(s) = -s**2 + 6*s - 1. Let w(u) = -11*o(u) - 2*v(u). Let h be w(4). Let m be (-4 + h)*(-1 - 0). Which is bigger: -2 or m?
m
Let p = -1 - 2. Let s be p*(3 + -2)*-1. Which is bigger: s or 2?
s
Suppose 4*c + 18 = -154. Is c greater than -44?
True
Let c be (-145)/12 - -4 - (-3)/(-18). Does c = -9?
False
Let x(z) = -3*z. Let q be x(2). Suppose -4*c + 28 = 3*g, 0 = 5*c - 4*c + g - 7. Let s = q + c. Is 2 at least s?
True
Let o = 29 - 22. Is -0.3 at most o?
True
Let b = 74 - 60. Is b >= 0.02?
True
Let z(c) = -2*c + 5*c**2 - 1 - 3*c**2 - c**2. Let j be z(-1). Do j and 2 have the same value?
True
Let g = -3 + 0. Let p = -2.7 - g. Let r = p + -0.3. Which is bigger: -1 or r?
r
Let w(f) = -f**2 - 2*f - 4. Let c be w(-4). Let i be (-8)/c*(-18)/4. Is i not equal to -1?
True
Let q = -294/5 - -59. Let k be 0*(-1 - (-3)/6). Is q > k?
True
Suppose x + 0 = 2*i + 68, 5*i - 5*x = -165. Are i and 1/3 equal?
False
Let r be (-3 + -3)*(-3 + 1). Suppose 5*d = 0, 0 = -z - 2*z - 4*d + r. Are z and 2 equal?
False
Suppose 0 = -n + 3*n - 12. Let c(z) = z**3 - 5*z**2 - 4*z - 12. Let r be c(n). Is -3 >= r?
False
Suppose -3*j + 7 = 4*g - 0*g, 11 = -j - 4*g. Which is smaller: j or 0?
0
Suppose 6 + 4 = -5*f. Let z be 68/18 - f/9. Which is smaller: 2 or z?
2
Suppose -2*z + 8*r = 3*r + 454, -10 = -5*r. Let c be (-7)/49*z/38. Let i = c + -24/19. Which is smaller: -1 or i?
-1
Let d(y) = -y**2 + 5*y - 1. Let v be d(2). Suppose v*a + 3 = -2. Are -1 and a non-equal?
False
Let i = 23 + -19. Is 24/7 >= i?
False
Let i = -10 - -10. Suppose 7 = p - i. Which is smaller: p or 9?
p
Let d(m) = -4*m**3 - m**2. Let s be d(-2). Suppose -3*v = v - s. Let h = -2 + v. Which is greater: 4 or h?
h
Let g = -0.56 - -0.36. Let d = -1.95 - 0.05. Which is bigger: g or d?
g
Let c be (-1)/(-2)*(-1 - -1). Suppose f = 0, c = 3*j + 2*f - 9 + 3. Which is smaller: 2/3 or j?
2/3
Let s be (2/(2*-7))/(-1). Is s at most 1?
True
Let g(c) = -4*c - 7. Let t be g(-3). Which is smaller: t or 4?
4
Let f(w) = -2*w**3 - 3*w**2 - w - 1. Suppose -4*n + 2*t = -16, 0*n - n - 1 = -3*t. Suppose n*q - q + 8 = 0. Let r be f(q). Is r at least as big as 4?
True
Suppose -9 = 5*f - 4*f. Let p = -7 - f. Suppose 9 = 4*d - d. Which is smaller: d or p?
p
Let u be -10*(-10)/(-12) - 35/(-105). Are u and -12 unequal?
True
Suppose 9*z = 6*z. Is -2/9 less than or equal to z?
True
Let v be (-4)/42*(-1 - 2). Let h(o) = -o - 5. Let l be h(-5). Do l and v have the same value?
False
Let v be ((-6)/9)/(4/(-6)). Let o be (-2 - (0 + 0)) + 6. Which is smaller: o or v?
v
Suppose 9 + 3 = 3*j. Let y be (-2)/j + (-6)/4. Let z(g) = -g**3 + 4*g**2 - 4*g. Let a be z(3). Do y and a have different values?
True
Let v = -1212821/35 + 34647. Let s = v - -31/7. Suppose 4*f - 15 = 3*o, -7*o + 5*o = -3*f + 11. Which is smaller: o or s?
o
Suppose 8 = -5*c - 12, -2*g = c + 8. Which is smaller: -14/9 or g?
g
Suppose 9*y - 261 = 486. Are -1/4 and y non-equal?
True
Let n(v) = -v - 9. Let u be n(-8). Let j = -444/245 - -30/49. Do j and u have different values?
True
Let z = -33 + 71. Let w = 55 - z. Which is smaller: 16 or w?
16
Let p = -2.01 + 2. Let c = 1.01 + p. Let o = -0.33 - -0.03. Which is smaller: c or o?
o
Let c = -93 + 39. Which is smaller: -0.1 or c?
c
Suppose w - 6 + 4 = 0. Suppose -2*v - 2*y + 3*y - 30 = 0, -v - 4*y - 6 = 0. Let i be 3/(-27)*v - w. Which is smaller: i or 0?
i
Suppose 2*s = 3*s - 21. Let d = s - 61/3. Suppose 0 = 2*a + a. Which is smaller: a or d?
a
Let b = 0.055 + -1.655. Which is smaller: b or 0.1?
b
Suppose -f - 5*h = -14, -2*f + 3*h - 7 = 4. Which is bigger: -18/19 or f?
-18/19
Let q(t) be the third derivative of t**5/60 + 11*t**4/24 + 3*t**3/2 - t**2. Let s be q(-10). Which is smaller: 2/19 or s?
s
Let j = -0.1 - -1.1. Let n(y) = -2*y - 22. Let q be n(-14). Is j != q?
True
Let i be (-2)/(-8) - 2/8. Let p = 6 - 6. Let s = -2 + p. Is i equal to s?
False
Let d = 0 + 0.1. Suppose -3*v = -2*t + v + 24, -3*t + 1 = v. Let y be (4/24)/(t/4). Is d != y?
True
Let t = 0.24 + -0.14. Suppose -3*h = h - 24. 