hich is smaller: -0.05 or x?
-0.05
Let s = 0.2 - -1.8. Let x = 0.1515 - 2.1515. Do x and s have different values?
True
Let z(p) = -p**3 - 7*p**2 + 9*p + 15. Let y be z(-8). Let i be 6*(y - 3 - 28/8). Is 0.3 smaller than i?
True
Suppose -14 = 2*m - 2*w, w - 7 = 5*m + 3*w. Let d(u) be the first derivative of -u**3/3 - 3*u**2 - 2*u - 1. Let o be d(-6). Which is bigger: o or m?
o
Suppose -12*s + 672 = -4*s. Let d = -14 - s. Is -98 equal to d?
True
Let g = 12 + -2. Let p(w) = -4*w + 13. Let k be p(g). Let o be -2 + (3 - k/(-33)). Which is bigger: -1 or o?
o
Let j = 15 - 24.7. Let z = j + 9.8. Let p(n) = 4*n + 2. Let v be p(-5). Is z less than or equal to v?
False
Let k = -3 + 4. Let h = -38162/47 - -812. Do h and k have the same value?
False
Let s be ((-14)/96)/((-2300)/(-400)). Which is smaller: s or 1?
s
Let u be ((-4404)/(-40))/(18 + 1 + -1). Let f = u + -31/5. Is f less than 0?
True
Let o = 15.5 - 12. Let h = 0.9898 + 0.0102. Which is smaller: h or o?
h
Suppose 9*g - 8*g - 66 = 0. Suppose -g = 4*w + 6. Let q = w - -32. Is 15 less than q?
False
Suppose 5*p + i = 6 + 10, -i = -p + 2. Suppose -t + 80 = p*t. Suppose -14 = -a - a - 3*h, a - t = 5*h. Is a bigger than 9?
True
Suppose l - 2 = 5*r + 11, 0 = -5*l + 2*r + 65. Let h = 79/6 - l. Which is smaller: 0 or h?
0
Let i(r) = r**3 - 4*r**2 + r + 2. Let s be i(4). Suppose -v + 2 = 0, -2*w + 5*v = -4 + 10. Suppose -5*o = -w*o - s. Is o equal to 3?
False
Suppose 43*q + 616 = -2394. Which is bigger: -69 or q?
-69
Suppose 0 = -2*d - 4*l + 152, -71 = -2*d + l + 56. Which is greater: 64 or d?
d
Let w be (-64)/(-90) + (-2)/(-5). Let h(k) = -4*k + 29. Let t(m) = -2*m + 14. Let d(a) = 3*h(a) - 7*t(a). Let f be d(6). Which is greater: w or f?
w
Let n(p) = p**3 - 43*p**2 + 35*p + 105. Let b be n(42). Is -190 at most as big as b?
True
Let n = -32 + 445/14. Let l = n - 9/7. Which is smaller: 1.4 or l?
l
Let a be 282/18 + 5 - 2/3. Suppose n = -j - 28, -a = 2*n - n - j. Is -24 greater than n?
False
Let m = 0.176 + -0.076. Let v = -0.1 - -0.2. Let f = v - 0. Is f > m?
False
Let b be -6 - -4*(-15)/(-10). Is b bigger than 6/31?
False
Suppose 21 = -5*h + 2*h. Let y(z) = -z**3 + 12*z**2 - 13*z + 13. Let s be y(11). Is s greater than or equal to h?
False
Suppose -38 = -4*a + 2*x, -3*x - 31 - 5 = -3*a. Suppose 4*s = 4*m + 12, -3*s - a*m = -3*m - 9. Is s at most 1/6?
False
Let y be 20/4 - 1083/216. Let q(x) = x**2 + x + 1. Let p be q(-1). Does p = y?
False
Suppose -10*f - 37 = 263. Suppose -2*z - 20 = 38. Which is greater: z or f?
z
Let y(j) = 158*j - 36. Let k be y(1). Are k and 121 equal?
False
Suppose 12 = -2*b + 10. Let m be -1*b/(-4 + 3). Are -4 and m unequal?
True
Let z = 1639 + -1607. Which is bigger: z or -1.2?
z
Let s = 355 - 329. Which is greater: s or 15?
s
Let z = 5693/5 + -1129. Which is smaller: z or 11?
z
Let f = -18.958 - 0.042. Let y = 19 + f. Is 24 > y?
True
Let s be (-888)/(-120) + 2/(-5). Suppose 0 = 6*b - b - 2*i - 48, 2*b + 2*i - 22 = 0. Let m = b - s. Are 4 and m non-equal?
True
Let w = -64.06 + 0.06. Let v = -62.5 - w. Which is greater: -0.1 or v?
v
Let m be 5/(120/(-6)) - (-125)/4. Is 31 > m?
False
Suppose 5*g - 7 = 4*a + 34, -3*g = -5*a - 35. Suppose -5*u = 2*r + 97, 0 = 2*r + 2*u - 0*u + 94. Let b = -49 - r. Are a and b unequal?
True
Let m be (5/1 - (-23 + 29))*-22. Which is bigger: m or 2/11?
m
Let l = -6 - -11. Let n be ((-6)/18)/(2/78). Let j = n + l. Which is smaller: -9 or j?
-9
Let b = -27 - -25. Let j be (b/(-6) + 1)*18/8. Which is smaller: 24/13 or j?
24/13
Suppose 17*i - 16 = 33*i. Is 5/56 < i?
False
Let q be (-2)/(-9) - (2 + (-194)/18). Suppose -2*o + q*o = 7. Which is bigger: -1/57 or o?
o
Let q(b) = b**3 - 2*b**2 - 3*b + 1. Let h be q(3). Let l be h - (4 + (-44)/12). Which is smaller: -0.07 or l?
-0.07
Let u be 12/(-240)*-25*-20. Let m be 0 + (-1 - 472/(-18)). Let o = u + m. Which is greater: 2/15 or o?
o
Let i(p) = p**2 - 3*p - 1. Let h be i(3). Let c = -38.95 - -39. Let f = 0.45 - c. Is h at least f?
False
Let v be (-13 + 1)/3*(-3)/6. Let f be (15/v)/(-10 - -6). Is f equal to -3?
False
Suppose 4*f - 12 = 2*x, 21*f + 10 = 5*x + 19*f. Let h = -143 - -291/2. Is h bigger than x?
False
Suppose 0 = -5*j - 2*g - 21, 4 = -j - j - 3*g. Let i be j/(-20)*(2 - -2). Is 1/14 > i?
False
Let v = 9 + -8. Let u be 6/(v*(-22)/(-2)). Let s(f) = 3*f + 19. Let h be s(-6). Which is greater: u or h?
h
Let z = 27.504 - -0.496. Let i = 4 + -6. Is i at most as big as z?
True
Let p = -1.4 - -1.5. Let k = -9 - -19. Which is smaller: p or k?
p
Let v be ((-4)/((-32)/(-12)))/12. Which is smaller: -8 or v?
-8
Suppose 41 = 5*r + g + 6, -2*r + g = -7. Let y(x) = -5*x + 143 - 134 + 4*x. Let k be y(r). Which is greater: k or 2?
k
Let a = 0 + 24. Suppose 2*z - 2*w = 26, 0*z - a = -3*z - 2*w. Let n = z + 0. Which is greater: n or 9?
n
Let j = 293 - 388. Which is smaller: j or -94?
j
Let x be (-1)/(21/(-9) - -2). Let d = 6 - 3. Let t = x - d. Which is smaller: t or 0.02?
t
Let g(f) = 2*f**3 + 5*f**2 - 2*f + 3. Let w be g(-3). Suppose 2*d + 2 = 4*d. Do w and d have the same value?
False
Let v = -381 - -380. Is v at least as big as 1/126?
False
Let p = -453 - -462. Which is smaller: p or 1?
1
Let g = 3 + 0. Suppose 9*s + 14 = 5. Let f be 4/(-10)*s*10. Is g at least as big as f?
False
Let z be (-15)/(-25) - (-6)/(-10). Suppose 0 = -z*f + 9*f. Is 2/5 at least f?
True
Let n = -1.08 - -1.6. Let k = 0.5 - n. Let y = 0.22 + k. Is 0 < y?
True
Let a = 0.29 - -0.01. Let d be 1/((-3)/(-9)) - 136/44. Which is smaller: a or d?
d
Let f(o) be the second derivative of -1/2*o**3 - 15/2*o**2 + 4*o + 0. Let x be f(-7). Which is greater: x or 7?
7
Let r = -7942/17 + 467. Suppose 2 = 4*n - 18. Suppose n*d = -5*d + 5*d. Is d not equal to r?
True
Let x be (-44)/70 - 0 - (50 - 54). Let z = x + -18/7. Which is smaller: 2 or z?
z
Let a = -87 + 86.967. Let t = 0.233 + a. Which is smaller: t or 8?
t
Suppose 2*l + 5 - 30 = 3*g, 4*g = -l - 26. Suppose 2*m = 5*q - 7, 6*q - q = 4*m + 9. Let p be (m - 0)/((-2)/(-12)). Which is smaller: g or p?
g
Suppose b = 4*b. Let f(t) = -t + 15. Let w be (-2)/3*(-156)/8. Let a be f(w). Are b and a equal?
False
Let y = -409 + 161. Is -247 smaller than y?
False
Let d = 27.66 - -0.34. Which is greater: -1/3 or d?
d
Let j = 191067/28028 + 3/2548. Is j at most as big as 8?
True
Let x be (-244)/(-1342) + ((-3186)/(-22) - 1). Which is smaller: x or 143?
143
Let i = 24.7 - 20.7. Which is greater: i or 3/4?
i
Suppose -50*q + 7000 = -9850. Is q greater than or equal to 338?
False
Suppose -5*n = -4*x + 3*x + 19, 3*n + 39 = -4*x. Let g be 2/(-2*5/30). Is x greater than or equal to g?
True
Suppose 5*x + 6 = 16. Let c(z) = 4*z**2 + 2*z + 5. Let i be c(x). Which is smaller: 28 or i?
i
Let s(x) = x**3 + 8*x**2 + x + 3. Let z be s(-8). Let k(m) = m**3 + 5*m**2 - 2*m - 4. Let w be k(z). Let j = 4 + 2. Is j smaller than w?
False
Let g be (18 - -2)/(18/(-27)). Let s be (7/21*-1)/(1/93). Which is greater: s or g?
g
Let z be (-9)/5 - 5/25. Let u(f) = 3*f + 3 + 3 - 3 + f**2. Let a be u(z). Which is smaller: a or 3/4?
3/4
Let s be 656/(-2040) + (-72)/20 + 4. Which is smaller: -1 or s?
-1
Let f = -1534 + 1536. Let g be ((-12)/90)/((-4)/18). Is g less than or equal to f?
True
Let b = 7/124 - -55/124. Let p(s) = s**3 - 4*s**2 - 5*s. Let l be p(5). Let f be (0 + l)*(0 + -1). Do f and b have the same value?
False
Let p be 2/(-1)*((-285)/(-138) - 2). Which is smaller: p or 0?
p
Let v = -593 + 1778/3. Is v at least as big as 100?
False
Let x be 4/9 + 378/243. Let j = 20 + -19. Let y be (j + (-9)/(-15))*1. Does y = x?
False
Let p be 1768/(-44) - (-2)/11. Let d be (-130)/p - 1/4. Is 0 equal to d?
False
Let p = 0.044 - -0.026. Which is smaller: p or 0.6?
p
Let i = 34 + -21. Let s = 13.2 - i. Is s greater than 1?
False
Let p = 12 - 18. Let c be (-4)/p - 124/6. Let z be c/24 + 2/(-12). Is z greater than -12/11?
True
Let q = -1326 - -590. Are q and -1473/2 equal?
False
Suppose -3*l = 3*y - 8*l, -5*y = 2*l + 31. Let z be 62/(-14) + -1 - 0. Are y and z equal?
False
Let g be (-5)/2 + (24 - 363/22). Which is smaller: g or 33/8?
33/8
Let z be (121/(-22))/(1/(-2)). Suppose -6*c - z = -3*s - 2*c, 0 = -2*s + 4*c + 6. Which is smaller: 36/7 or s?
s
Let t = 7 - -5. Let o be -3 + 3 + -1 + 0. Let w be o - (80/t)/(-2). Which is smaller: w or 1?
1
Let p = -589 - -