ss than c?
False
Suppose 2*i + 6 = 2*c, -10*c - 9 = -i - 15*c. Which is smaller: -98 or i?
-98
Suppose -2*t - 5 = 5*x + 20, 3*t - 4*x + 26 = 0. Which is greater: t or -6?
-6
Let b = -0.2529 + -0.0111. Which is smaller: 1 or b?
b
Suppose 0 + 5 = -5*c. Let a = c + -9. Let t be (2 - -1) + 26/a. Which is greater: -1 or t?
t
Let x = 85 + -30. Let f = x - 47. Let c be -4*2/(12/(-15)). Is f < c?
True
Let v be (3/5)/((-4)/10). Let q = -117.44 - -117.4. Is v < q?
True
Let q be 17 - (-6 - -9 - 9). Which is smaller: q or 114/5?
114/5
Let f = -0.1365 + -0.8635. Let c = -11.4 + 24.3. Let o = c - 14. Which is smaller: o or f?
o
Let v(a) = a**3 - a**2 - 35*a - 1. Let c be v(8). Let g = c + -163. Let n be 3*-2*5/6. Is g at least as big as n?
True
Suppose p - 6*p - 5*v = -780, 5*v = 2*p - 284. Is p greater than or equal to 152?
True
Let z be (-26)/(-78) - 2*(-3)/18. Which is bigger: z or 2?
2
Suppose 0 = 7*r + r + 944. Let s = 117 + r. Is s smaller than 4/15?
True
Let w(p) be the third derivative of p**5/60 + p**4/8 - p**3/6 + 6*p**2. Let n be w(4). Let z be (n/(-6))/((-9)/(-12)). Is -5 != z?
True
Let p(w) = -w**3 + 5*w**2 - 3*w - 1. Let m be p(4). Let c be 0/((1 + 0)*2). Suppose c*b = -b + 2. Does b = m?
False
Let j = -0.2 - -0.3. Let h = -266 - -264.9. Which is smaller: j or h?
h
Let d = 368 - 383. Which is smaller: d or 12?
d
Let x = 1460 + -1460.7. Is -41 greater than x?
False
Let q(g) = g - 9. Let l(o) = o - 18. Let c(n) = -3*l(n) + 7*q(n). Let p be c(6). Let h = p + -13. Is h at most 18/7?
True
Let f = 2 - 2.26. Let v = -0.26 - f. Are 16/9 and v unequal?
True
Let l(a) = -a**3 + 4*a**2 + 14*a - 9. Let y be ((-2)/(-9) - 0) + 728/126. Let h be l(y). Suppose 4*n - 36 = -4*o - 12, -5*n + 18 = 2*o. Which is bigger: n or h?
h
Let a = -22 + 52. Suppose a*m = 28*m - 14. Is m at least -6?
False
Let b be 13290/(-24) - (-6)/(-24). Is b smaller than -554?
False
Let b = 0.21 - 1.21. Let z be (2 + 26/(-4))*-2. Let i be (3/z)/(8/6). Is i at most as big as b?
False
Let r = -6.8 + 6.73. Let h = 0.064 + -2.064. Which is bigger: r or h?
r
Let o be 6/4*92/(-6). Let x = o - -27. Suppose 5*r = -x*i + 21, 0*r + 4*i - 11 = 5*r. Is r bigger than -1?
True
Let z(m) = 55*m - 3. Let i be z(1). Suppose 4*q = -4*g - i, 5*g = 3*q - 91 + 10. Which is greater: g or -14?
-14
Let t = 12.2 + -6. Let i = t + -8.2. Is i < -18?
False
Let z be (-9)/(-6)*-2 - 14. Which is bigger: z or 2?
2
Let t be 68502/(-343) + (-4)/14. Is t > -201?
True
Let r(v) = 2*v. Suppose 0 = -4*g + 6*g - 4. Let a be r(g). Is a at most 24/7?
False
Let v = 101 + -93. Let z be (2/(-42))/(v/(-72)). Is -1/10 bigger than z?
False
Let o = -5.94 - 77.06. Which is smaller: 2/3 or o?
o
Let q(k) = k**2 - 40*k + 63. Let i be q(6). Are -141 and i unequal?
False
Let a be 138/9 - (-12)/18. Let h be 90/4*a/12. Which is greater: h or -0.1?
h
Let q = 23/9 + -331/126. Let x = -400 + 399. Is x less than q?
True
Let j be 4/(-8) + 185/34. Is 6 greater than j?
True
Let b be 5/(-26)*7/((-70)/12). Let d = -3 - -3. Suppose 0 = -0*h - 4*h, -s - h = d. Is b < s?
False
Suppose -2*s = 19 + 33. Which is smaller: s or -24?
s
Let h(n) be the second derivative of -n**3/6 - n**2/2 - 12*n. Let s(k) = -k**2 - 8*k - 8. Let t(a) = -3*h(a) + s(a). Let g be t(-4). Are 4/17 and g unequal?
True
Suppose -25*w - 14420 = -5*w. Is -721 > w?
False
Suppose -2*w + 4 = -0*w. Suppose k - 1 = 4*m, -3*m - 4 - w = k. Let g be 4*(-1)/2*1. Are k and g equal?
False
Suppose 178 - 262 = 28*t. Which is smaller: -7 or t?
-7
Suppose -2*i + 5 = -3. Let t be 4/(-14) + 204/(-21). Let l = 15 + t. Which is smaller: i or l?
i
Let b(n) = 23*n + 1. Suppose 16*g - 1 = 15*g. Let a be b(g). Is 23 > a?
False
Let b = 24 - 22. Is b > 3?
False
Let n be -4 - ((-80)/(-5))/(-8). Are -52/5 and n equal?
False
Let k = 8 + -4. Suppose -h = -0*m - k*m + 7, 0 = 3*m + h. Suppose 3*w - 4 = -m. Which is smaller: 3/2 or w?
w
Let w(i) = 3*i**3 + 22*i**2 - 39*i - 4. Let z be w(-8). Are z and 177 nonequal?
True
Let q(a) = a**3 - 9*a**2 + 8*a - 6. Let f be q(7). Let j = 56 + f. Let l(u) = -2*u - 2. Let n be l(-4). Is j at most n?
False
Suppose -21*z - 1189 = -24730. Is z < 1?
False
Let m(i) = -i**3 + 13*i**2 - 21*i + 5. Let b be m(11). Let x be (-2)/((8/(-50))/(b/(-40))). Let f(h) = h - 1. Let s be f(-6). Is x greater than s?
True
Let d(z) = 3*z + 8. Let s be d(-2). Let w = 1 - -5. Suppose s = 4*r + 2*c, w + 0 = r - 5*c. Which is bigger: 10 or r?
10
Let p(i) = -i**2 + 12*i - 10. Let g be p(11). Do 1 and g have different values?
False
Let z = -656 - -32146/49. Suppose -6 = 23*g - 17*g. Which is smaller: z or g?
g
Let q = -2/139 + -136/9869. Let v(c) = c**2 + 5*c. Let m be v(-5). Is q greater than m?
False
Let n(y) = 2*y + 28. Let q be n(-13). Suppose -2*j = -q*a - 0 - 2, 2*a = -3*j - 17. Let d be -3*j/(-4 + -5). Are d and -2/9 unequal?
True
Let t(u) = -u**2 + 4*u. Let g be t(4). Let a = g + 1. Let c be (a*(0 + 1))/(-1). Which is smaller: c or -2/5?
c
Let y = -11.9 - 20.3. Is y <= -1/4?
True
Let m = -418/15 + 28. Which is greater: -3/20 or m?
m
Let z be 3/(9/33) - (-1 - 2). Let a be z/(12/30*(-10)/2). Is -35/6 > a?
True
Let d(w) = 85*w**2 - 5*w - 4. Let r be d(-1). Which is smaller: r or 260/3?
r
Let j = 5/36 - 1/4. Suppose 0 = -65*c - 33*c + 98. Do j and c have different values?
True
Let m(o) = -o**3 + 7*o**2 - 14*o + 11. Let z be m(9). Does z = -277?
True
Let j = -7 - -1198/171. Which is greater: -2/7 or j?
j
Let j be (-110)/50 + 4/(-5). Which is smaller: -4 or j?
-4
Let z = -1705 + 1378. Which is smaller: -0.3 or z?
z
Let y = 3 + 7. Let z = y - 7. Let o = 1 - z. Is o smaller than 2?
True
Let l be (-30)/(-60)*3/(282/(-56)). Let i = -547/1363 - l. Which is smaller: 0 or i?
i
Let l = 43.78 + 3.22. Which is smaller: l or 5?
5
Let v = -1.062 + 2.162. Let q = 0 + 1. Let p = q - v. Which is smaller: p or 3.3?
p
Suppose 3*n + w = 3*w - 5, 3*n - 5 = 4*w. Suppose 9*q = -26 + 80. Suppose -5*f = -4*f + q. Which is smaller: n or f?
f
Let j(b) = b**3 - 31*b**2 + 46*b + 11. Let c be j(29). Is -337 >= c?
True
Suppose l - 1 - 1 = 0. Let p be (1/l)/((-8)/(-276)). Let w = p + -481/28. Is 1 less than w?
False
Let t be (-4)/16 + 143/484. Which is smaller: t or -3?
-3
Let u be 3/(-60) - (7 + (-116)/16). Which is smaller: -230 or u?
-230
Let i = -59 + 88. Let h = 28 - i. Which is smaller: -3/17 or h?
h
Let k be (-33)/154*4/15. Which is greater: 1 or k?
1
Let s be 45/(-18) - 2740/(-8). Which is greater: 339 or s?
s
Let u(f) = -2 - 1 - 4 + 11*f - 4. Let x be u(-4). Is x at most -55?
True
Let i = -349 + 338. Let k be (-25)/3 - (-4)/(-6). Is k bigger than i?
True
Let n be 12/(-18)*21282/40. Suppose -3*w + 1426 = -4*q - 0*w, -5*w = -5*q - 1785. Let s = q - n. Which is smaller: 1 or s?
s
Let c = -361.1 + 296.1. Which is smaller: c or 0?
c
Let a be ((-16)/2)/((-12)/6). Let d(q) = q**2 - 4*q. Let p be d(a). Let i = -4.5 + 3.5. Which is smaller: i or p?
i
Let l be -1 - (324/165 - 3). Suppose 0*b = -4*b - 2*b. Which is smaller: b or l?
b
Suppose 1 + 14 = -3*b, -4*b = 4*l - 3592. Are l and 903 nonequal?
False
Suppose -4*w - 37 = -3*o, 4*o - w - 21 = 37. Let r = o - 12. Which is greater: r or -5?
r
Let h = -268 - -269. Is 43 at least h?
True
Let m be -4*2*(-5)/8. Suppose 2*x - 4*y - 16 = 0, -5*y = -0*x + m*x + 35. Let r be (x - 3)*3/15. Which is greater: r or 2/21?
2/21
Let n = 0 - -3. Suppose 0*l = -n*l. Let h(z) = z + 3. Let w be h(l). Is w less than -1?
False
Let o be (2/(-5))/((-101)/5). Let b = -912/5 - -182. Which is smaller: b or o?
b
Suppose 9*x = 13*x. Let j be (5 - (-1 + x))/((-228)/(-8)). Is 0 at most j?
True
Let n be (59/5)/(48/444). Let m = n + -61727/180. Let r = m + 234. Does 4 = r?
False
Let w be 6/39 - 6/39. Suppose 11*x - 8*x + 18 = w. Let k be ((-2)/x)/((-46)/36). Which is smaller: 0 or k?
k
Let a = -9 - -78. Is a less than 68?
False
Suppose 184 = j - 5*j. Let u = j - -38. Which is greater: u or -11?
u
Let a(p) = p**2 + 7*p + 8. Suppose 2*c + 24 = 4*n, c + 2*c - 3*n = -27. Let m be a(c). Suppose 4*w = 16, 3*q + 2*w + 32 = -m*q. Which is smaller: -9 or q?
-9
Let a be (-16 + 11 + (7 - 2))/(-1). Is -3/307 >= a?
False
Suppose 5 = -2*k + 3. Let p = 5 + k. Suppose p*m + 31 = 11. Is -4 at most m?
False
Let r = 15 - 2. Let n = 13.1 - r. Let w(p) = -p**3 - 3*p**2 + 3*p - 2. Let o be w(-4). Which is bigger: o or n?
o
Let f = 584 - 58