8 - 341/5. Are t and x nonequal?
True
Let k = -0.09 - -0.49. Let a = 0.5 - k. Let y = -43/3 + 14. Which is smaller: y or a?
y
Let u = 71 - 76.9. Let s = 5 + u. Let v = -0.1 + s. Which is smaller: v or -0.2?
v
Suppose 134*a = 137*a - 3. Which is smaller: a or 1/19?
1/19
Let y be 4/(-16)*0 - -2. Is 9 at most y?
False
Let s = -196/3 + 66. Suppose -3*n - 3 = 3*r, 3*r - 6*n - 9 = -3*n. Does s = r?
False
Let b(a) = a**2 - 9*a - 2. Let z be b(11). Suppose -2*c + z - 2 = 0. Let o be c/(-6) - 1/(-2). Is o smaller than -1?
False
Let u = 0.2 + -0.1. Let n be 2/(1/3*2). Suppose -n*z = 3*y + 12, z = y + 5*z + 13. Is y less than or equal to u?
True
Let o = 133 - 238. Let x be (2 - (46 - 1))/o. Let z = x - -4/21. Which is smaller: z or 1?
z
Suppose 0 = 3*m - 0*u - 2*u + 69, -m - 33 = -4*u. Let j be 14/m + (-4)/(-3). Is 1 at least as big as j?
True
Suppose 7 = 4*s - i, 1 = -s - i + 4. Which is bigger: s or 5/7?
s
Let v be (6135/18)/5 - -1. Let s = v - 69. Suppose -3*q = -0*q - 3. Is q equal to s?
False
Let a(s) = s**3 - 10*s**2 + 10*s - 9. Let z(k) = 3*k - 6. Let c be z(5). Let d be a(c). Is 2/5 >= d?
True
Let c be (-6)/9*(-4 + 13). Is -2 at most c?
False
Suppose 24 = 3*x + 4*h, -h + 3 = -x + 4. Which is bigger: 1 or x?
x
Let l be (18/12)/((-4)/(64/3)). Is 1 <= l?
False
Let n be (-3 + 5 + 2/(-6))*-3. Is n >= -7?
True
Suppose -5*n + 12 = -u, -2*u + 3*u - 3*n = -6. Let j be (6/9 - 2)*u. Let y = j + 2. Are -4 and y nonequal?
True
Suppose 0 = -3*a + 3*u + 21, -7 = 2*a + 3*u - 1. Suppose 0 = 2*r + 4*h, 0*h - a*h + 9 = 0. Let v = r + 2. Is v at least as big as -3?
False
Let l = 7.61 - 7.31. Let p = 0.3 + 0.7. Which is smaller: l or p?
l
Suppose -3*m - m + 76 = -4*b, 2*m = 5*b + 110. Let i be (-2)/4*(-18)/b. Does 1 = i?
False
Let n = -282/5 - -57. Suppose -2*j - 4*r - 16 = 0, 0 = -2*r - 2 - 6. Which is greater: n or j?
n
Let h be (12/10)/(4/(-20)). Let o = h - -2. Which is greater: -5 or o?
o
Suppose 0*s + 20 = 5*s - 3*f, -3*f = -s + 4. Suppose -s*r = -3*r. Let t(x) = x + 2. Let v be t(r). Which is smaller: 1 or v?
1
Suppose 2*r + 17 = r. Is -16 less than or equal to r?
False
Let l be (-22)/(-8) + (-2)/(-8). Let t(n) = -n - 9. Let z be t(-11). Is l equal to z?
False
Let d be (-50)/28 + 18/12. Let m = 3.2 + -3. Which is smaller: d or m?
d
Let d(a) be the first derivative of a**2/2 + 7*a + 1. Let v be d(6). Is v < 12?
False
Suppose 0 = 3*o + q - 0*q - 28, 42 = 5*o - 3*q. Is -0.3 greater than or equal to o?
False
Let a be 12/(-10) + 2*(-6)/(-60). Does 5 = a?
False
Let v be (16/72)/(1/(-6)). Let m = 1 + 0. Which is smaller: v or m?
v
Let h be (-40)/(-42) + (-4)/14. Let u be -2*(65/(-14) + 4) + -1. Which is smaller: u or h?
u
Suppose 2*o = 3*m - 5 + 4, 3*o = 3*m - 3. Let v be 6/12*m/7. Which is smaller: -1 or v?
-1
Let v = -3 - -3.1. Which is smaller: -29 or v?
-29
Let j = -12 - -12.1. Are -12 and j equal?
False
Let d = 6 + -7. Let f(x) = -7*x**3 - 13*x - 11. Let z(k) = 3*k**3 + 6*k + 5. Let g(w) = 6*f(w) + 13*z(w). Let o be g(d). Which is bigger: 0 or o?
o
Suppose -2*c + 1 = -3. Suppose c*j = -j. Is 0 at least j?
True
Let v(k) = -k**2 + k - 3. Let h be v(0). Is 5 equal to h?
False
Suppose -12 = -2*p + 2. Which is bigger: -6 or p?
p
Let c = -1 + -1. Suppose -7 = -5*n + 23. Suppose 0 = 2*w + n - 0. Does w = c?
False
Suppose 4*y = -5*a - 70, -2*a + 3 - 38 = 3*y. Let c(w) = 2*w + 3*w + w**2 - 11 + 4*w. Let q be c(a). Is q > -3?
True
Suppose -11*z + 10 + 1 = 0. Is z at most as big as -1/41?
False
Let v(g) = -g**3 + 2*g**2 + 4*g + 5. Let r be v(4). Is r at most -12?
False
Let n be (-70)/22 + 4/22. Let v = n + 6. Suppose -2*s + 4*x - 3*x + 2 = 0, v*s - 3 = -3*x. Is s less than -0.1?
False
Let j be (4/50)/((-14)/(-70)). Does 1 = j?
False
Suppose 0 = -5*i - 4*a - 86, -4*a - 58 = i + 2*i. Is -14 at most i?
True
Let k(d) = 1 - 2*d - 3 + 10. Let b be k(6). Let u = 6 + b. Is 3 at most u?
False
Let y = -12 + 20. Let h = 7 - y. Which is smaller: h or -4?
-4
Let m be (-4 + (-33)/(-8))*36/21. Which is bigger: m or 1/2?
1/2
Let p = -0.09 + 0.19. Is 2 < p?
False
Let a be (-3)/(-5)*(-4)/(-18). Is a at most as big as 0.1?
False
Let d = -13 + 12. Let t(r) = 6*r**3 + r**2. Let a be t(d). Is a at most -5?
True
Let f(s) = -42*s + 13. Let k be f(8). Let h be k/399 + (-2)/(-3). Suppose -4*b = -7*b + 3. Which is greater: h or b?
b
Let s be 45*(8/(-2) - -5). Is s greater than 44?
True
Let n = 0 - -1. Let i = 1/2 - 3/4. Which is bigger: i or n?
n
Suppose 0 = 5*k + 20, -x = 5*k - 4*k + 3. Let j be (-377)/1050 + (-2)/(-7). Let d = -6/25 - j. Is x bigger than d?
True
Let w be 3*(-2)/(0 + 6). Let q be ((-2)/4)/(w/6). Let n be (2/(-6))/(7/q). Is -1 greater than or equal to n?
False
Suppose 0 = -5*s - 0*b - b + 16, 2*b + 28 = 5*s. Let c = 3 + -2. Let p = c + 2. Which is smaller: s or p?
p
Let j = 16.2 + -14.2. Is j bigger than 18/5?
False
Let v = 7 + -5. Let u(f) = f**3 - f**2 - 2*f - 1. Let r be u(v). Which is greater: 2/5 or r?
2/5
Suppose 0 = -0*z - 3*z. Which is smaller: z or -2/49?
-2/49
Let p(b) = -2*b**2 + 3*b - 1. Let u be p(2). Let r be 3 - u*(-2 + 1). Which is greater: r or 1?
1
Let o = 5 + 3. Let f = o + -8. Which is bigger: f or -2?
f
Let k be (46/(-56))/(36/(-32)). Let y = -4/9 + k. Which is greater: y or -1?
y
Let y(a) be the first derivative of -a**4/4 - 8*a**3/3 - a**2 - 6*a + 2. Let v be y(-8). Suppose 4*j = -10 - v. Which is smaller: j or -4?
j
Let b be (-20)/((4 - 8)/2). Which is smaller: b or 12?
b
Let m be (2/6)/((-32)/(-6)). Let q(o) = 2*o + 32. Let p be q(-16). Is p >= m?
False
Suppose 0 = 3*t - 9 - 12. Suppose 4*x = -8, 2*i - t*i - 3*x + 4 = 0. Is 2 at least i?
True
Let w(y) be the first derivative of -1/4*y**4 - 3*y**3 - 7*y - 4*y**2 + 3. Let a be w(-8). Is a bigger than -6?
False
Suppose -6*q = -10*q + 76. Which is bigger: 18 or q?
q
Let w = -3 + 2.9. Which is greater: 1/4 or w?
1/4
Let p = -21 + 31. Suppose -3*d = 2*k + p, 2*d + 4*k + 2 = 5*k. Let r be 0 + 0 + d/7. Which is bigger: 1 or r?
1
Let t be 3 + (-6)/3 - -19. Suppose 0*r = 4*k - 5*r - 25, -4*r = k + t. Is k bigger than 2?
False
Let a be 1/2 + (-15)/(-6). Let u be 1/(-3) - (-80)/6. Suppose -2*z - 6*g + 2*g = -16, z + u = 5*g. Which is smaller: a or z?
z
Suppose 0 = -0*l + 3*l + 2*b, -5*l - 2*b - 4 = 0. Which is smaller: -5/2 or l?
-5/2
Let m = 18 + 2. Let z = -22 + m. Which is smaller: z or 0?
z
Let z be (-10)/8*(-3)/(-15). Which is bigger: z or 1?
1
Let h = -145.1 + 145. Which is smaller: -47 or h?
-47
Let t = 496 + -7933/16. Which is smaller: 0 or t?
0
Let p = -31 + 36. Is 1/2 greater than or equal to p?
False
Let x be (-6 - (-12)/3)/(-5). Do 1 and x have different values?
True
Let x(p) = -p - 1. Let q be x(-1). Suppose 3*r + 13 = 2*a - q*r, a + 2*r = 10. Let k be ((-2)/(-12))/((-4)/a). Which is greater: -0.1 or k?
-0.1
Let d be ((-36)/90)/((-4)/170). Is d greater than 47/3?
True
Let s = 9.0915 - -0.0485. Let b = -9 + s. Which is smaller: b or 0?
0
Let h be ((-24)/15)/((-2)/(-10)). Which is greater: h or -4?
-4
Suppose -57 = 5*h + 18. Let a be h/4*(-2)/9. Is 1 < a?
False
Let b = 6 - 5.8. Which is smaller: b or -0.08?
-0.08
Suppose 0 = 4*f - 623 - 269. Suppose 0 = -3*g + 527 + f. Let x = -2248/9 + g. Which is bigger: 1 or x?
1
Let p be (-2 - -1*20)*-1. Which is bigger: -19 or p?
p
Suppose -11 + 2 = 3*q. Let t(f) be the third derivative of -f**4/24 - f**3/6 + 3*f**2. Let h be t(q). Which is greater: 0 or h?
h
Let p = -17 + 17. Let w be (p - 2)/(-1 + 3). Let b(d) = -d**3 - 5*d**2 - 3*d + 5. Let j be b(-4). Are j and w equal?
False
Let l = 11/60 - 7/12. Let x = -0.22 - -0.02. Do l and x have the same value?
False
Let w = 13.3 + 0.7. Is -1 != w?
True
Let r(z) = z - 4. Let l(f) = f + 1. Let c be l(3). Let h be r(c). Which is greater: h or -1?
h
Let s = 73 + -71. Let n = 1 + 2. Which is smaller: s or n?
s
Let j be -4 - (4 - 5320/22). Let f = j - 234. Which is greater: f or -0.1?
-0.1
Suppose v + v + 8 = 4*f, -f + 2 = -v. Let a = 5 + -3. Is f != a?
False
Suppose -n = -4*n + 3. Let q be (0 + n)/(2 + -1). Are 1 and q nonequal?
False
Let b = -6.3 - -6. Let n = -3.1 + 4.8. Let y = n - b. Is 0.2 greater than y?
False
Let m = -2 - -18. Let n = -15.8 + m. Let t be 4/6 + 40/(-42). Is n < t?
False
Let u = -93 - -92. Is -2/13 not equal to u?
True
Suppose 0 = -3*o + 5*w - 21, 2*o - w - 1 = 4*o. Let l = 2 - 4. Is l > o?
False
Let c =