/2 less than t?
False
Let g(k) = -k**2 + 5*k. Let c be g(4). Suppose 2*q - 6 = c*s - 2, -3*s = -5*q + 3. Is s != -3/5?
True
Let z = 1 - -11. Let x = z + -19. Which is greater: x or -1?
-1
Suppose -3*y - 76 = -2*m, -124 = 3*y + 2*y - 4*m. Let s be (-13)/y + (-2)/(-7). Is -1 > s?
False
Suppose 3*f + 8 = 7*f. Let q be 1 - ((-66)/(-27))/f. Which is greater: q or 1?
1
Let c = -823/14 + 9561/70. Suppose 3*b + 234 = -0*b. Let s = c + b. Which is greater: 1/3 or s?
1/3
Let y be 2/(-9)*-3 - (-1570)/30. Is y greater than or equal to 54?
False
Suppose 0 = 7*q - 4*q + 3, 3*q + 31 = 4*u. Let i(l) = -l**2 - 5*l + 7. Let w be i(-5). Is u != w?
False
Let o = 39917/3493 - -3/3493. Which is bigger: 12 or o?
12
Let u(i) = -4*i + 3. Let p be u(4). Let s = -7 - p. Suppose s*t = t. Which is bigger: t or 1?
1
Suppose -23*j = -32 - 14. Is j less than or equal to 17/7?
True
Let m = 300/1001 + -2/143. Let q = 0.1 + -1.1. Let v = 6 + q. Which is smaller: v or m?
m
Let o = 4 + -10/3. Which is smaller: o or 0.2?
0.2
Let b = 2 - 1. Let j = -14 - -14.9. Let y = j - -0.1. Is y not equal to b?
False
Let y = 0 + 10. Which is smaller: y or 9?
9
Suppose 3*m - 12 = -m. Suppose -2 = -m*v + 1. Let c = 1909/2556 - -2/639. Is c bigger than v?
False
Let k = 13 - 12. Are k and -6 nonequal?
True
Let t = -3 - -5. Let a = 28 + -85/3. Is t at most a?
False
Suppose 0 = -2*s - y - 15, s + 3*y + 3 = 2*s. Which is greater: -5 or s?
-5
Let a be -8 + 7 + (3 - 1). Let b = 1 + a. Let z be 6/(-10)*(-8)/6. Which is smaller: b or z?
z
Let j be (-9 + 1)/(-4) + -4*2. Is j less than or equal to -5?
True
Let r = -13 - -12. Let i be 6/(-21) + -1 + 1. Which is greater: r or i?
i
Suppose 4*u + 23 = 3*c, 3*u - 9 = -2*c - c. Which is greater: u or -4?
u
Let p = 22 + -22. Which is greater: p or -3/20?
p
Let w(x) = -5*x**2 + 3*x**3 + 3 - 4*x**3 + 3*x + 3*x**2. Let y be w(-2). Which is smaller: -2 or y?
y
Let g = -38 + 38.14. Is -2/9 greater than or equal to g?
False
Let c(l) be the second derivative of l**4/12 - 2*l**3/3 - l**2 + l. Let u be c(4). Let a = 0.17 + -0.27. Is u less than or equal to a?
True
Let b = 7.11 + -0.11. Let s = b - 8. Do -5 and s have different values?
True
Let z = -887/30 + 145/6. Which is smaller: -5 or z?
z
Let v(j) = -3*j + 7. Let r be v(3). Which is smaller: r or -1?
r
Suppose -5*t = 3*u - 14, -2 = 5*u - 4*t + 24. Let z be 1/u - 17/(-2). Let c be 2 + z/(-2) - -2. Is 0 > c?
False
Suppose 4*q - 230 = 9*q. Is q less than or equal to 1?
True
Let k be 1 - (1 + 1*-2). Let j(s) = -4 - 5*s**2 + 0 + s**3 + 5*s + 2. Let q be j(4). Do k and q have the same value?
True
Let s be 4/2 + 416/(-200). Let o(f) = f + 7. Let z be o(-6). Is s bigger than z?
False
Let r = -0.05 + 1.05. Let m = 2 - r. Is 2 greater than or equal to m?
True
Suppose -2*t = 2*t - 12. Let m(n) = n**2 - 6*n + 8. Let x be m(7). Let g be t/x*10/6. Which is smaller: g or 0.05?
0.05
Let q = -3 + 1. Let v be (q/5)/((-7)/175). Is v bigger than 1/4?
True
Let x be 3/(-2) + (-45)/(-36). Is x != 1?
True
Let b(w) = -w**2 + 12*w - 28. Let q be b(7). Are 8 and q nonequal?
True
Suppose 5*l - 99 = 1. Suppose -l = -2*o - 2. Let w = -10 + o. Which is bigger: w or -1/18?
-1/18
Let n be 0/3 + (-2 - -4). Suppose 12 = -c - n*c. Is -3 greater than or equal to c?
True
Let s = -5.1 - -5. Let i = -3 + 2. Let r = i - 1. Is r >= s?
False
Let o = 24 + -23. Is 14 less than o?
False
Let a = 32 - 26. Let c(p) = p**2 - 4*p - 5. Let z be c(a). Which is smaller: z or 15/2?
z
Let d(w) = 23*w**3 - w**2 + 4*w - 2. Let r be d(1). Which is smaller: 27 or r?
r
Suppose 35 = 5*m + 5*q - 0*q, 0 = -q + 4. Let s be (52/20 - m)/2. Which is smaller: s or 0?
s
Suppose -4*t - 9*t + 208 = 0. Is 10 less than t?
True
Let i = 14211/11 + -1293. Which is smaller: 0 or i?
i
Let x be -3 + (-20)/(-3) + -4. Is 1/13 at least x?
True
Let h = -2/5 + 9/10. Which is bigger: h or 0?
h
Let t = -0.1 + 0.2. Which is smaller: 2/9 or t?
t
Suppose -4*k + 5 + 19 = 0. Suppose k = z + 2*z. Let t(s) = -s**2 - 6*s - 1. Let f be t(-5). Is f greater than or equal to z?
True
Let t(o) = o**3 - 4*o**2 + 2*o - 4. Let u be t(3). Let h = 0 + 0.2. Is u equal to h?
False
Suppose -11 = -5*s + 4. Suppose s*j + 3 = -0*j. Is j greater than or equal to -6/7?
False
Let u(d) be the first derivative of -d**4/4 + 2*d**2 + 3*d + 2. Let k be u(-2). Let j(n) = -n**3 - 4*n**2 - 5*n - 3. Let x be j(-3). Is k at most as big as x?
True
Suppose 4*c + 2*q - 56 = 6*q, 4*q - 16 = -4*c. Which is bigger: 8 or c?
c
Let y(m) = 3*m + 8. Let j be y(-3). Which is smaller: j or -4/45?
j
Let z = -55 - -22. Are z and -33 equal?
True
Let p = -5 - -8. Suppose 3 = 10*u - 27. Is p smaller than u?
False
Suppose 5*s - 9 = 2*v, -1 = -3*v + 3*s - 10. Let m be v + (-4 - (-1 + -1)). Let w = -4 - -1. Is w at most as big as m?
False
Let k be (-46)/(-6) - 2/(-6). Let q(u) = -u + 11. Let b be q(k). Suppose 4*x - 15 = -x. Is b not equal to x?
False
Let s(h) = h**3 - 4*h**2 - 7*h + 2. Let x be s(5). Is -8 less than or equal to x?
True
Let p = -209 - -208.88. Is p smaller than -2?
False
Suppose -7*o - 13 = 6*o. Which is smaller: o or 57?
o
Let p(u) = -u**2 - 13*u - 12. Let q be 6*(-1 - 1)*1. Let c be p(q). Is -2 smaller than c?
True
Let g(r) = -r**3 + 4*r**2 - 2. Let p be g(4). Let b be p/(-6)*3/(-3). Is b at most 1?
True
Let a = -10 - -14. Let s(g) = 6*g - 14. Let x be s(3). Are a and x non-equal?
False
Let n be 0 + 1/(3/36). Let g be (-4)/(-6) - 1616/n. Let f = 936/7 + g. Which is smaller: 0 or f?
f
Suppose -5*t = -5*h + 72 - 7, 3*h - t - 45 = 0. Let k = -31/2 + h. Which is smaller: -5 or k?
-5
Suppose -5*i + 12 = 2. Suppose 3*x - i*w - 16 = 0, -8 = x + 3*w - w. Is x less than 2?
False
Let i = 21 + -27. Let m(q) = q**3 + 5*q**2 - 7*q - 7. Let f be m(i). Is -7/4 smaller than f?
True
Let b = -25 - -27. Let w = 0.7 + 0.3. Let u = w - b. Is u greater than or equal to 0.3?
False
Suppose 2*r + 4*f = f + 18, -f - 50 = -4*r. Is r at least 12?
True
Let g be (6/(-8))/(165/(-40)). Are g and 0 unequal?
True
Suppose -2*z = r - 7, 0*z - 10 = -4*r + z. Suppose 2*q = 4*h - 8, q = -6*h + 3*h + 6. Suppose -5*g + r - 8 = q. Which is bigger: g or 0?
0
Let d = 29 - 25. Let r be ((-8)/18 - 3) + d. Do r and 2 have the same value?
False
Suppose 4*c + 5*w = -0*c + 57, 3*c = w + 19. Suppose -t + c = 4. Let h be t/6*30/20. Do h and -3/7 have the same value?
False
Let p = -3497/580 - 13/348. Let l = 27/5 + p. Which is smaller: l or 5?
l
Suppose -5*a + 2 = -5*b - 33, -9 = -2*a + b. Does a = 2?
True
Let k = -4 - -3. Let y = -2 - k. Let s be (1 - (-2 - -4))*y. Is s at most as big as 0?
False
Let m(z) = 3*z - 2. Let h be m(-2). Let c = -18 + 11. Is h > c?
False
Let v = -30 - -27. Is 0.5 equal to v?
False
Let r = 89 - 71. Are 18 and r unequal?
False
Suppose 3*x + 4*g = 2*g - 10, -3*g - 15 = 5*x. Let h = -43 - -48. Suppose -3*l - 2*l + h = x. Is l bigger than -1?
True
Let o be (-232)/(-56) - (2 - 0). Which is bigger: 2 or o?
o
Let f = -3/1196 - -2677/113620. Which is smaller: f or 0?
0
Suppose 2*j - 3*c = -3*j - 129, j + 2*c = -31. Do -28 and j have the same value?
False
Suppose -y = y - 4. Suppose 6*m - y*m = 12. Suppose -m - 7 = 5*f. Is 0.1 equal to f?
False
Let r = -18.2 + 20. Let f = -0.8 + r. Do -2/7 and f have the same value?
False
Let k = -48 + 47. Are -3 and k nonequal?
True
Let u(r) = -r**3 - 2*r**2 - r - 1. Let k be u(-2). Suppose 2*c = c - k. Let q be (c*1)/(-2 - -3). Are -2/7 and q nonequal?
True
Suppose -3*s + s + 70 = 0. Which is smaller: 36 or s?
s
Suppose -7*v = -4*v. Which is greater: -2/25 or v?
v
Let f = 4 - 1. Suppose -f*l - 12 = -3*u + 3, l + 5 = 0. Is -1/15 < u?
True
Let j = -0.4 - 3.6. Let l = j + 5. Let d = -0.2 - -2.2. Which is bigger: l or d?
d
Let h = -7/5 + 9/5. Is h > 1/10?
True
Suppose 24 = -4*h + h. Suppose 36 = -0*v - 4*v. Let y = h - v. Which is smaller: y or 3/5?
3/5
Let h = -21 + 31. Let w(y) = -y**2 + 12*y - 2. Let b be w(11). Is b less than h?
True
Suppose -7*a = -12*a + 5. Which is greater: 4/11 or a?
a
Let v(s) = s**3 + 11*s**2 - 12*s + 5. Let h be v(-12). Suppose -5*l - 4*w + h = -3, -4*l + w = 2. Is l at least 4?
False
Let o be 25/6 + (-1)/6. Suppose r = -5, 2*d + 22 = -0*d - o*r. Let n = -4 - d. Is -3 < n?
False
Let q(g) = g**2 - 2*g + 1. Let a be q(1). Which is greater: 2/17 or a?
2/17
Let y be 4/2 + -5 + -3. Let o = y + 262. Let d = 2814/11 - 