- 3*d - 3*x, 0 = -d + 5*x - 31. Let n = -12 - d. Let q be 4/3 + (-3)/n. Which is bigger: -5 or q?
q
Suppose 3*q - 2*t + 0*t - 6 = 0, -5*q + 3*t + 10 = 0. Suppose 6*m + 5 = m. Let p = m + q. Is p at most 2?
True
Let m = -3899/30 - -130. Is m at least as big as -1?
True
Let s be 23*((-2)/3 - -1). Which is bigger: 7 or s?
s
Let x = 423.91 - 420. Let j = x - -0.09. Let u = 3.9 - j. Are u and -3 unequal?
True
Let f = 0.02 - 0.14. Let k = f - 0.08. Is k != 2?
True
Let m be (4/(-10))/(174/30). Do m and 0.4 have the same value?
False
Let q(v) = v + 7 + 4*v - 4*v. Let o be q(-7). Is 0 >= o?
True
Let v be ((-20)/(-4) + -4)*1. Which is smaller: v or -0.1?
-0.1
Let t be 0*(4/(-24))/((-3)/(-9)). Does -3/22 = t?
False
Let l = 5 - 2. Suppose 4*q - 8 = 0, -g + l*q - 2 = -0. Let z(h) = -h**3 + 3*h**2 + 6*h - 5. Let j be z(g). Is j at least 3?
True
Let l = 8 - 6. Let m be l/(-6)*-3 + 0. Which is smaller: 2 or m?
m
Let f be (-2)/6*54/10. Are f and -3 nonequal?
True
Let o = 7 + -3. Let d be (4 - 5)/((-2)/o). Suppose 0 = -k + 4, 0 = q + d*k - k - 3. Which is bigger: q or 0?
0
Let p(t) = 12*t - 97. Let a be p(8). Let n(v) = v**2 - 7*v + 7. Let x be n(5). Let r = a - x. Are r and 1 non-equal?
True
Let a(s) = s + 9. Suppose 5*q - 5 + 25 = 0. Let v be a(q). Suppose v*r - 6*c + 25 = -c, 4*r = -3*c + 15. Does r = 0?
True
Suppose -27 = -4*w + 2*w + 5*p, 0 = -4*p - 20. Which is greater: -1/60 or w?
w
Suppose 0 = -12*d + 220 - 136. Let a(h) = -h**2 - 6*h + 1. Let j be a(-5). Which is bigger: j or d?
d
Suppose 0 = -4*t + 3*w - 88, 2*t - 2*w + 30 = -4*w. Which is smaller: -22 or t?
-22
Let c = -1 + 1. Let z = 4 + c. Do z and -2 have different values?
True
Suppose -2*o - 74 = 2*q, -6*q + o = -3*q + 91. Which is greater: -29 or q?
-29
Let i = 21.2 + -21.3. Let h = 0.71 - -0.09. Which is bigger: h or i?
h
Suppose -13*q = -14*q + 6. Suppose 5*z - 94 = 3*r - q*r, -2*r - 11 = -z. Which is bigger: z or 16?
z
Let o be ((-6)/(-8))/((-9)/6). Let k = -4 - -1. Let p be -2 - (-1 - 3/k). Is p at most o?
True
Let a be (-6)/(-21) + 32/(-14). Let j = a - -2. Which is greater: 3 or j?
3
Let b = 0 + 0.1. Let a(i) be the first derivative of -3*i**2/2 + 12*i - 8. Let m be a(5). Does b = m?
False
Let t be 0 - (-9 + (3 - 0)). Let j = 11 - t. Which is greater: 4 or j?
j
Let r = -1 + 3. Suppose 11 = 3*v + 5. Do v and r have different values?
False
Let n(f) be the first derivative of f**4/4 + 4*f**3/3 - 2*f**2 + 7*f + 2. Let c be n(-5). Suppose 0 = -s + c, 3*m - 4*m = s - 2. Is m <= 0?
True
Suppose -2*p = 5*h - 52, h = -h - 4*p + 8. Let n be (-3)/h - 2/56. Do 0 and n have the same value?
False
Suppose 5*d = -3*i + 15, -6*i + 2*i - 3*d + 9 = 0. Which is bigger: 1/88 or i?
1/88
Let p = 193 - 276. Is -83 at least p?
True
Let n = -0.112 + 0.102. Is n greater than -1/12?
True
Let x(s) = 0*s**2 - 3 - 4*s**2 + 0*s**2 + s**3. Let h = 1 - -3. Let u be x(h). Is u smaller than -2?
True
Let c be 2 + 0 + 2 + -1. Suppose c*v = -6 + 3. Suppose -4*m + m + 3 = 0. Which is smaller: v or m?
v
Let v = -5 + 6. Suppose -11 = -3*s + v. Is s at least as big as 4?
True
Suppose 4*l - 5 = 3. Suppose h - 3*h + l = 0. Is h at least as big as -5?
True
Let l be 7 - 2 - (-6)/(-2). Which is bigger: -1 or l?
l
Let f = 76.8 + -77. Let k = 2 + -4. Is f at least as big as k?
True
Suppose i - 28 = -3*i. Let h be (2 + -2 + -1)*i. Which is bigger: h or -8?
h
Let z = 0 + 5. Let b = z - 6. Which is greater: b or -8?
b
Suppose 2*o = -0*o - 16. Which is smaller: -7 or o?
o
Suppose -2*c + 0 - 16 = 0. Let q be 2/(-10)*10/c. Which is greater: q or 0?
q
Suppose -2*d - 4 = -0. Let b be ((-3)/d)/((-15)/(-4)). Which is greater: -1 or b?
b
Let f = -129 + 1417/11. Let h = 263/30 - 49/6. Which is greater: f or h?
h
Let t = -0.6 - 2.4. Which is bigger: 2 or t?
2
Let g = 39 + -662/17. Let s be (3/(1 + -4))/(-1). Are s and g non-equal?
True
Let q = 28292/41 + -690. Is q at most 2?
True
Suppose 0 = -3*x + x - w - 170, -5*w = x + 85. Is x at least as big as -85?
True
Let d = -496 - -2468/5. Is -2 at least d?
True
Let u be (-2)/4*12/213. Which is smaller: u or 1?
u
Suppose 0 = y - 2*y - 4. Let p(a) = -a**3 - 4*a**2 - 2*a - 3. Let q be p(y). Do q and 4 have the same value?
False
Let g be (-56)/(-35) - (1 - (-1)/1). Which is bigger: 17 or g?
17
Let z = -19 + 208/11. Let m be (1/(-2))/((-2)/(-4)). Is z less than m?
False
Let w be (-214)/(-255) - ((-38)/(-10) + -3). Which is greater: w or 1?
1
Suppose -6*l + 513 = -237. Let j be 0 - -4 - l/30. Is 2/7 at most j?
False
Suppose 0 = 11*f - 16*f. Is f at most as big as 1?
True
Let w(r) = r**3 - 5*r**2 + 4*r + 5. Let g be w(4). Which is greater: g or 6?
6
Suppose 3*s - z = -s + 9, -27 = -2*s + 5*z. Let o = 6 - 3. Is s < o?
True
Let h be 2/(-17) + 104/(-272). Let r = -21 - -15. Let i be 8/6*r/4. Which is smaller: h or i?
i
Suppose 2*v + 0*v - 10 = 0, 0 = -n - 4*v + 26. Let z be ((-8)/10)/((-2)/5). Which is smaller: z or n?
z
Let d be 75/(-20) + (-1)/4. Which is greater: -8/3 or d?
-8/3
Suppose 8*y + 0 = -24. Is y != -0.4?
True
Let z be (12/(-10))/(14/60). Let u = -222/35 - z. Is u <= -1?
True
Suppose -2*o = -11 + 3. Suppose -j + 3*j - o = 0. Suppose -2*g + 4 = -2*v, 3*g + 0*g = 5*v + j. Which is bigger: 3 or v?
3
Suppose -2*a + 36 = -5*m, -105 = -5*a + 7*m - 2*m. Let u be a/(-51) + (-1)/(-3). Which is smaller: 1 or u?
u
Suppose -2*x - 12 = 5*a - 4*x, -3*x = 3*a + 24. Let q = 1 + a. Let u be 2/q - (-20)/33. Is 0 <= u?
False
Suppose -4*d + 3*m - 63 = -20, -2*d - 3*m - 17 = 0. Which is greater: -11 or d?
d
Let x = -89.1 + 89. Is 0.09 bigger than x?
True
Let r(y) = -y**3 + 10*y**2. Let u be r(10). Suppose u = 3*n - 2*n. Is n at most as big as 10/9?
True
Let y be 4/((-4)/(1 + 1)). Let u be 1/((-2 + 1)/(-2)). Suppose u*i - 2 + 8 = 0. Which is smaller: i or y?
i
Let w = -11 - 0. Let l = 9 + w. Is -2 less than l?
False
Let u be 5*(88/(-20) + 4). Which is bigger: u or -4/3?
-4/3
Let k be (-3 + 2)*12/1. Which is greater: -10 or k?
-10
Suppose -7*i + 3*i + 17 = v, -5*i = v - 21. Which is smaller: 4/9 or v?
4/9
Let a(o) = o**2 - 1. Let q = 7 - 3. Suppose -3*k - 5*s = 5, -3*k - s + 5*s = -q. Let i be a(k). Which is greater: -3 or i?
i
Suppose -9 + 7 = w. Which is smaller: w or -9/5?
w
Let m = -278 - -5280/19. Which is bigger: m or 1?
1
Suppose -3*k + 11 = -4*m, -5*m - 3*k - 2*k = -30. Let u be 1 - m*(-3)/3. Are 0 and u non-equal?
True
Let f(p) = 2*p**2 + 21*p - 9. Let h be f(-11). Is 15/8 greater than h?
False
Let j = -220 + 1757/8. Suppose 5*w + 2*f + 28 = 4*f, 5*w = 3*f - 32. Let c be 7 + w - 9/3. Is c less than j?
False
Let o = -3 + 1. Which is greater: -5/2 or o?
o
Let y = -83 + 69. Which is smaller: -13 or y?
y
Let a(u) = u**3 + 3*u**2 - 6*u + 5. Let m be a(-5). Is m <= -15?
True
Suppose -4*k + 20 = 2*c, -5*k + 2*c + 36 = -c. Let y = k + -3. Suppose 4*u + 12 = -y*q - 4, 4*q = 0. Is u bigger than -3?
False
Let y be 1/(-6) + (-2)/4. Let m be (-3)/6 - (-2)/4. Suppose m*c - 5*c + 5*s = 35, -4*s = -3*c - 26. Is c equal to y?
False
Let d = -6/707 + 2200/92617. Which is greater: 1 or d?
1
Let f(p) = -p - 1. Let v be f(-1). Suppose 10*x - 5*x = v. Suppose x*m = -4*m + 3*b - 9, 3*m + 11 = -2*b. Is -3 > m?
False
Let r be (-1 + 2)/(4/32). Suppose 4*f + r = 2*t - 16, -5*t + 40 = -5*f. Let j be ((-2)/t - 1) + 1. Which is bigger: -1 or j?
j
Suppose -2*h - 2*m = 32, 90 = h - 6*h + 5*m. Is -69/4 at most h?
True
Let x = 6 + -95/16. Is x less than 1?
True
Let r be 0/((-3)/((-6)/4)). Suppose -2*y - 3*y + 3*t = 5, 2*y = 4*t - 16. Suppose r = v + y*v. Is 1 smaller than v?
False
Suppose -2*h - 271 = -3*d, -d - 2*d = 2*h - 263. Which is smaller: d or 90?
d
Let i(z) = -z**3 + 5*z**2 + 5*z + 2. Let p be i(6). Let g be (-122)/p + (-2)/(-2). Let o = 30 - g. Is o greater than -2?
True
Let b = -14 + 13. Which is smaller: -1/8 or b?
b
Let i be 4 + 0 + 7/(21/(-12)). Is i >= -5/4?
True
Let y be (0 - (-3)/2)*320/96. Which is smaller: 15 or y?
y
Let x be (6/7)/(3/(-21)). Is x equal to -26/5?
False
Suppose 3 = -3*a + 9. Is a smaller than 3?
True
Let q(l) = l - 3. Let k be q(8). Suppose 4*z = -k*w - 3, -3*z + 4 + 8 = -w. Let x = -9 + 10. Is x <= z?
True
Let w be 1 + (15/4)/(-5). Suppose -5*m = 5*n - 15 - 20, n = -5*m + 19. Suppose 2*b = -2 + n. Are w and b equal?
False
Let n(l) be the first derivative of -3*l**4/4 - 2*l**3/3 + l**2 - l + 2. Let i be n(1). Le