62))/(-8) + -1. Is 1 smaller than s?
False
Suppose -30 = -w + 4*w. Suppose -n - 4*g + 33 = 0, n - 12 = 5*g + 39. Let f = -53 + n. Is w equal to f?
False
Let x = 250 - 242. Is x greater than -45?
True
Let w(n) = n + 7. Let t be w(-4). Let z be 0/((-3 - -2) + t). Suppose z = 2*x - 1 - 3, 8 = 2*a + 3*x. Which is smaller: 2 or a?
a
Let p = -11 - -10.88. Suppose -11*r + 9*r = 14. Let g be (-3)/r - (1 + (-36)/112). Are p and g nonequal?
True
Let h = 3.1 - 3.1. Let f = -0.99 - 0.01. Let g = f - h. Are 1/3 and g equal?
False
Let x(s) = s**3 + 4*s**2 - 6*s - 2. Let r be x(-5). Let w be 432/162 - (2 + 1)/9. Which is smaller: r or w?
w
Suppose -6*h + 21*h = 0. Is 4/21 smaller than h?
False
Suppose d = 3, 3*t - 18 = -5*d + 3. Let f be -3 - -7 - (-11 - t). Which is greater: 14 or f?
f
Let l be (-7)/(-24) - (301/(-56) + 5). Let c = 62.1 - 68. Is c <= l?
True
Let j(h) = -h**3 - 11*h**2 + 11*h - 12. Let q be j(-12). Let z = 0 + 9. Which is smaller: z or q?
q
Suppose -203 = -0*i - 7*i. Which is greater: i or 0.01?
i
Let p be 1*-4 + (-4)/2. Suppose -13 = -4*x + 11. Suppose -j = -x*j. Is p greater than j?
False
Let g = -28 - -28. Let u = -0.1 - g. Which is smaller: 3 or u?
u
Suppose k - 46 = -0*k + 3*p, -3*p = -4*k + 139. Let c = k + -30. Let i be 2/(-5) + (-2 - -2). Is c less than i?
False
Let r(l) = -6*l + 32. Let q be r(5). Let b be q/68*-6 - 0. Are b and 1 equal?
False
Let p = 518 - 2083/4. Let c = 338 - 340. Is c less than p?
False
Suppose -116*p + 113*p = 3*a - 3, -4*a = 5*p + 2. Let w = -2 - -6. Suppose i - 3 = 4*m + 2, -5*i + 25 = w*m. Which is smaller: a or i?
i
Let h(n) = 7*n - 21. Let o be h(9). Suppose -4 = -s + 2*s, 4*s = 2*k - o. Which is smaller: k or 14?
k
Let h = -18 - -107. Let v = 88 - h. Is v greater than or equal to -18?
True
Let v = 0.24 - -0.01. Let f = -34.21 + 34. Let k = f + v. Which is smaller: -1/2 or k?
-1/2
Let f be 53/(-5) + (-4)/10. Let j = -20 - f. Let n = -5 - 2. Which is greater: j or n?
n
Let q = 520882/159 + -3276. Are q and 1 nonequal?
True
Let f(d) = d**3 - 6*d**2 + d - 5. Let j be f(6). Let z = -2030 + 117737/58. Let u = 19/87 + z. Which is smaller: j or u?
u
Let s = -3179/108 - -117/4. Which is bigger: 0 or s?
0
Suppose 2*v + 3*t + 112 = -41, -1 = -t. Let k be (v/(-65))/(4/(-10)). Is 0 greater than k?
True
Suppose 15 = -5*l + v, 2*l + 2*v - 6 = 4*l. Let m be 1/l - 4/6. Let f be -7 + (-2)/7 + (15/(-21) - -4). Is m less than or equal to f?
False
Let v = -224 + 214. Which is bigger: -3 or v?
-3
Let c = -659 + 1978/3. Is c equal to 0?
False
Let j = 1.149 + -1.349. Is j at most -258?
False
Suppose 22 = -2*n - 0*w + 5*w, 3*w - 9 = -3*n. Suppose 0 = -3*q - 3*d + 42, -d + 5*d + 16 = 2*q. Let a be -8 + q + (-37)/7. Is n greater than or equal to a?
True
Suppose 3*i - 4*i + 10 = 2*m, -25 = -5*m. Let l be 4*18/2*(-6)/(-9). Let t be ((-6)/16)/(-10*(-3)/l). Which is smaller: t or i?
t
Let z = -2627 + 5089/2. Which is bigger: -83 or z?
z
Suppose 17*o - 5*o + 24 = 0. Which is greater: o or -35/37?
-35/37
Suppose -h - 3*z + 7 = 0, 2 = 4*h + 2*z - 3*z. Let v(j) be the first derivative of -12*j**2 - 3*j - 1. Let p be v(h). Are -26 and p non-equal?
True
Let d = 203 + -202. Let u = 5/6 - -2/3. Are u and d non-equal?
True
Let f = 183 - 169. Which is smaller: f or 15?
f
Let o = 32898 - 230296/7. Let s(c) = 4 - 2*c**2 - 5 + c**2 - 6*c. Let u be s(-6). Which is bigger: o or u?
u
Let i be 60/25 + (-13 - -8). Is i at least -4?
True
Suppose -2*n - 43 = 5*b + 12, 3*n = -15. Let j = 16 + b. Which is smaller: 5 or j?
5
Let x = -337.7 - -339.7. Let q = 1 - 30. Is x at least q?
True
Let p = 0.786 - 0.786. Is 861 at most p?
False
Suppose -3*h - 8 = 19. Let o = 31 + -32. Which is smaller: o or h?
h
Suppose 4*u - 20 - 4 = 0. Suppose -5*w = 4*k - 8*k - 15, 2*w - u = -5*k. Is k at least as big as -1?
True
Let v = -1264 - -1253. Which is greater: v or 6?
6
Suppose -i = -3*x + 2*x - 19, -67 = 4*x + 5*i. Let m be 50/x - (-2 + -1). Let k = -7/18 + m. Is -1 less than or equal to k?
True
Suppose 0 = -m + 6 - 4. Suppose 0 = -5*g - d + 5, g + 5*d + 13 = m*d. Suppose 3 - g = -r. Which is bigger: -4/11 or r?
-4/11
Let k = -64 - -89.4. Let g = k - 25. Is -1/2 > g?
False
Let n(b) = -86*b**3 - b**2 - 2*b - 1. Let d be n(-1). Which is smaller: 259/3 or d?
d
Let s = 118 + -118.26. Is 0 at most as big as s?
False
Let n = -40051/76 - -527. Which is greater: n or 0?
n
Let c = 59 - -17. Let p = c + -76.2. Is 8 equal to p?
False
Let g(f) = f**3 + 6*f**2 + 4*f - 43. Let k be g(-11). Which is smaller: -691 or k?
k
Let q be 25991/(-8690) + 4 + -1. Is -1 != q?
True
Let u = -1691 + 2814. Is u equal to 1123?
True
Let n = 946 - 1282. Is -336 bigger than n?
False
Suppose -5*x + 11 = -9. Let f = -2636 - -2639. Which is bigger: x or f?
x
Let m = 981 + -980. Which is smaller: 401 or m?
m
Let q(j) = -j**2 - 5*j - 4. Let a be q(-5). Let s(n) = -n**2 - 5*n - 1. Let y be s(a). Suppose y*i - 3 - 3 = 0. Is i smaller than -0.1?
False
Suppose 8*n - 27*n - 133 = 0. Suppose -57 = 5*g - 17. Which is bigger: g or n?
n
Suppose 18*k - 7 = 11. Is k at least as big as -7/138?
True
Let u be (-1*(-1)/1)/(1 - 2). Let h be (30/(-3))/(1/u). Is h <= -1?
False
Let z(k) = -k**3 + 5*k**2 + 6. Let c be z(5). Let u be c/10 + (-8)/5. Let a = -479/4 - -119. Is a > u?
True
Let p be ((-4)/5)/(3/(-15)) - (-85)/(-17). Let r(v) = -3*v**2 - 2*v - 1. Let f be r(-1). Let w be f/(-8)*8/5. Which is smaller: w or p?
p
Let o = -118 + 118. Which is smaller: 4/87 or o?
o
Let z be -4 + 11 + (0 - 0). Let a be -1 + 0 + z + -4. Let i = 83 - 80. Is i smaller than a?
False
Let o = 79703/5 + -15889. Let u = 734/15 - o. Do u and -2 have the same value?
False
Let r(f) = f**3 - 2*f**2 - 4*f - 4. Let i be r(4). Suppose 2*s - j - 25 = 0, -2*s = 3*j + 2*j + 5. Is s at most i?
True
Let u be (-2)/(-2) + (-385)/39 + 9. Which is smaller: u or 0?
0
Suppose 3*i - 5 = 4*f, -3*i = -3*f - 6*i - 30. Let n = 4 - 1. Suppose 3*w - 1 = -4*l, n*w + l = 1 - 12. Do f and w have the same value?
True
Let n be (-3 - -2) + 11/(-33)*44. Which is bigger: -17 or n?
n
Let s = 1 - 13. Let z be 2/(-8) + (-63)/s + -3. Is z less than 2?
False
Let f = 377377/125 - 3019. Let h = -874 - -873. Which is smaller: f or h?
h
Let a be 6/(-12) + (-243)/(-6). Let c = -174 - -213. Which is greater: a or c?
a
Suppose -3*i = -7*i + 16. Suppose -4*y - 25 = -5*w, -i*w + y + 9 = -0. Which is smaller: 2/87 or w?
2/87
Let b be (685/411)/((-10)/18). Which is bigger: -47/14 or b?
b
Let w = 67 + -203/3. Let p(v) = 0*v**2 - 52 + 9*v + v**2 + 59. Let m be p(-8). Are m and w unequal?
True
Let m = 2.06 - 0.06. Let f be 1 + 28 - (3 + -4). Let g be 4/(-14) + f/56. Is m bigger than g?
True
Suppose -52 = o + 4*r, 2*o + 154 = -2*o + 2*r. Let a = o - -37. Which is smaller: -15/4 or a?
-15/4
Suppose 4*n = -4*u + 73 - 9, 2*u - n = 23. Let d = 681 - 3342/5. Let y = u - d. Which is bigger: 0 or y?
y
Let q = -11 - -17. Suppose h - q = -h. Suppose h*b = b. Which is smaller: -2/15 or b?
-2/15
Let v = -1.47 + 1.96. Is v smaller than 0.04?
False
Suppose -3*c - 409 = -8*p + 13*p, 323 = -4*p - c. Is p at least as big as -5?
False
Let l(h) = h**3 - 21*h**2 - 11*h + 79. Let g be l(21). Which is smaller: -153 or g?
-153
Suppose 2*u = -u. Let s = -59.065 + 59. Let c = -1.935 + s. Do c and u have different values?
True
Suppose 5*y - 358 = -113. Is y smaller than 47?
False
Let b be 2/7 - 282/7. Let k be 4/(-6) - b/33. Do 0 and k have the same value?
False
Let d be -4 + -1 + -18 + (-286)/13. Which is smaller: d or -7?
d
Suppose -z - 3*b - 1 = 0, -9*b = -4*z - 8*b + 61. Are z and 40/3 equal?
False
Let q = -339/2 - -169. Let w = -11 - 7. Which is greater: w or q?
q
Let f(r) = -6*r - 5. Let u be f(1). Let y = -13 + 3. Is u bigger than y?
False
Let i = -20353/102 - 367/34. Let t = i + 213. Is t less than 4?
True
Suppose -5*f + 24 = -2*f. Let t be 20/f*(-57)/15. Let s = 10 + t. Are s and -0.1 nonequal?
True
Suppose 74 = -4*v + 78. Do -88/7 and v have different values?
True
Suppose 23*l + 0 - 46 = 0. Suppose 3*p = -p - 4. Let c = 3 + p. Is l at least c?
True
Suppose 49 = -5*o + 3*c - 56, -o - 4*c - 44 = 0. Let s = 26 + o. Let k be 4 - (2 + s - 1). Is -4/17 greater than or equal to k?
False
Suppose -1246 = 5*g - 3*d + 903, 0 = -5*g + 5*d - 2155. Is g smaller than -428?
False
Let j be (-1656)/(-2112) + 2/16. Which is smaller