 be the third derivative of -p**6/60 - p**5/20 + p**3/3 - 2*p**2. Suppose 11*w + 18 = -4. Let h be j(w). Is 8 less than h?
False
Let o = -949 - -946. Which is smaller: -15/8 or o?
o
Suppose 0 = 5*g - 47 - 53. Let l be 43/(-5) - (-12)/g. Let s(p) = p + 6. Let q be s(l). Is 0 greater than q?
True
Let n = -58/11 + 60/11. Which is greater: n or -79?
n
Suppose 10*y = 8*y + 10. Suppose -4*k - 24 = -y*j, 0*j - 5*k + 52 = 4*j. Which is greater: 7 or j?
j
Let d = -0.093 + -0.107. Is 2/465 bigger than d?
True
Suppose 189 + 0 = 7*c. Let j = c - 16. Which is smaller: -2 or j?
-2
Suppose -16 = 27*d - 232. Is 2 > d?
False
Suppose -2*n = 3*q + 2*n - 15, -5*n - 60 = -5*q. Suppose 0 = q*k - 4*k - 40. Let f = -8 + 17. Which is greater: k or f?
f
Let m be (-16 - -12) + 14/4. Which is bigger: -10 or m?
m
Let p(c) = 2*c**3 + c**2 - 8*c - 15. Let j be p(-3). Are j and -35 equal?
False
Suppose -5*s - 44 - 26 = -2*l, 4*s + 112 = 3*l. Let z be l/28 + 6/(-14). Suppose 5*x - q - q = -2, z = 5*x + q. Is x at least as big as 1?
False
Let u be 0*3/9*-1. Let i = -87 - -521/6. Does i = u?
False
Let a be 12507/(-2068) - (-3 + 0)*2. Is a greater than -1?
True
Let i(b) = b**2 - 12*b + 4. Let c be i(12). Suppose -13 = -4*v + 2*p + 1, -1 = v + c*p. Suppose v*k - 2*k = 1. Which is smaller: k or 3?
k
Let l be -1 - -3 - (-8 + -12). Suppose 3*x + 38 + l = 0. Let h be 0*(-5)/x - -1. Is h less than 1?
False
Let c = -98 + 92. Let a be c/(-8) + (-154)/88. Is -1/16 at least a?
True
Let b be 1213/6 - (-21)/14. Let x = 206 - b. Let f = -25 + 26. Does f = x?
False
Let f = -0.017 - -0.107. Suppose 5*a + 5*m + 35 = 0, 2*a + 2*a - 2*m + 52 = 0. Let j = a + 12. Which is greater: f or j?
j
Let f = -232 - -234. Which is smaller: f or 52/17?
f
Suppose 306 = -128*n + 146*n. Is 122/7 equal to n?
False
Let z be (1 - 2) + (-6 - -5). Let f be 29/(-10) + 8/20. Which is smaller: f or z?
f
Let j(r) = -3*r**2 + 3*r + 30. Let y be j(14). Let v = y - -18058/35. Is 1 less than v?
False
Let i = 1248 - 846. Is i at least as big as 400?
True
Let c = -463 - -372. Is c at least as big as -91?
True
Suppose 9 = -2*h + 37. Suppose -8*n = -n + h. Which is smaller: n or -18/7?
-18/7
Let r(n) = n**3 - 7*n**2 + 3*n + 5. Let m be r(4). Let p(f) = -4*f**2 - 85*f - 51. Let i be p(-21). Do m and i have the same value?
False
Suppose 12*l - 66 = 15*l. Let p be (-28 - -13) + (0 - 8). Is p at most as big as l?
True
Let z(t) = -6*t**3 - 4*t**2 - 10*t - 22. Let x be z(-3). Do x and 406/3 have different values?
True
Let r = -179 + 374. Which is greater: r or 194?
r
Let u(h) = 6*h - 34. Let q be u(5). Let v be ((6/4)/3)/(2/q). Suppose 2*b - 5*s = 15, -2*b + 1 = 3*s - 6. Is v smaller than b?
True
Let l(j) = j**2 + 13*j - 2. Let t be l(-11). Let g = 258/11 + t. Is -1 smaller than g?
True
Let i = 115 + -171. Let r = i + 71. Which is smaller: r or 7?
7
Suppose 3*q - 5*q = 4*l - 16, 4*l + 12 = 0. Suppose -8 + 5 = -3*w. Let p be (0 + 1/w)*15. Which is greater: p or q?
p
Let r = 82 + -195. Let l = -113.25 - r. Is l at least as big as 0.1?
False
Suppose -3*t = -25 + 7. Suppose -10*l = -t*l. Which is bigger: 2/5 or l?
2/5
Let f = -81 + 82. Let r = -31 - -73. Is f equal to r?
False
Let v = -22003 - -109547/5. Which is smaller: -94 or v?
-94
Let c = -39.6 - -40.6. Which is smaller: c or 1/5?
1/5
Let q(w) = 55*w + 330. Let r be q(-6). Which is smaller: r or -164/3?
-164/3
Suppose 35*b - 38*b = -y + 75, 4*b = -y + 61. Is y at least 2?
True
Let h(s) = 28*s + 165. Let b be h(-6). Let m be (1 - 3 - b) + (8 - 3). Let i(j) = 6*j - 1. Let f be i(1). Do f and m have the same value?
False
Let k = -6 + 11. Suppose k*r - 5 = -l, 4*r + l - 5 = -1. Let c = 3874/17 + -228. Which is smaller: r or c?
c
Let t be 2/(3 - -3) + (-6)/36. Let v = 1632/19 - 123498/1463. Let z = 21/11 - v. Is z greater than t?
True
Let b = -406/253 + 62/23. Which is bigger: 2 or b?
2
Let a be 0 - (0/2 + 2). Let j = 6.8 - 5.8. Is a at least as big as j?
False
Let u be (-2)/(-6) + 502/6. Suppose -s + 4 = 8. Let y be s/(-14) - (-39)/u. Are y and 2 equal?
False
Let c be (-160)/1520 - 718/38. Which is greater: c or -134/7?
c
Suppose 0 = z + 174 + 446. Which is smaller: z or -621?
-621
Let a = -1392317 - -45939929/33. Let g = 198 + a. Which is smaller: g or -1?
-1
Let q be -2 + 3/1 + 1. Suppose -5*l - 5*i - 6 = -41, 0 = -l + 2*i - 2. Let u be -4 + l/4 + 6. Is u less than q?
False
Let s be 25/(-7*(-9)/630). Is s at most as big as 248?
False
Let x be 127/5 - (4 + (-161)/35). Suppose -k + 45 = 16. Let n = x - k. Is n at least -1?
False
Let a be (23/((-115)/(-420)))/(-2). Which is greater: a or -56?
a
Suppose -5*f - 66 = -4*h, 0*h - 2*f = -2*h + 32. Which is bigger: h or 17?
17
Suppose 0 = p - 6*p - 15. Let b be ((-28)/6)/(18/(-27)). Suppose -i + q = -2*i - b, i - 2*q = 2. Which is bigger: p or i?
p
Let w be (-4)/(11 - (-5283)/(-477)). Suppose 2*y + 3*o = 98, 2*y - 7*y + 2*o + 264 = 0. Which is smaller: w or y?
y
Let y = 0.0336 + 3.9664. Which is greater: y or -37?
y
Suppose -2*q + 2 = -4*q, -136 = 5*l + q. Suppose -z + 1 = 0, -18*r + 2*z = -13*r + 137. Is l equal to r?
True
Let c = -17 - -59. Let p = -45.5 + c. Is p >= -0.1?
False
Let s = 13 + 5. Suppose -s - 6 = -3*n. Which is greater: n or 10?
10
Let u = -0.01 - -0.01. Does u = 3/47?
False
Let i = -28 - -30. Suppose 0*h - h - 4*w = 116, -5*h - i*w = 562. Is h at most -112?
True
Let n(z) = 5*z**2 + 45*z. Let k be n(-8). Let h be k + 1 + -1 + 4. Is -35 at most h?
False
Let s = -18 - -34. Let x = 15.9 - s. Let j = -0.3 + x. Which is greater: j or 2/3?
2/3
Let d = 828 - 830. Which is greater: d or -27?
d
Let t = 219 - 222. Does -33 = t?
False
Suppose -4*u - 237 + 221 = 0, 3*u = 3*f - 4383. Which is smaller: 1456 or f?
1456
Let y be (27 - 27)*2/(-4)*1. Which is bigger: y or -2/1261?
y
Suppose 108 = -52*q + 106*q. Let n = -9 + 13. Which is greater: n or q?
n
Let h be 4/(-8) + (-18)/4. Let s be (-3)/(-15) + ((-4)/h - 2). Suppose 0 = g - 5*g - 4. Is s bigger than g?
False
Let u(r) = r**2 - 5*r - 14. Let i be u(7). Let h be 0 + i + (-64)/112. Do -3 and h have different values?
True
Let t = 2.2 - 2.11. Let s = t + 0.06. Let r = -906 + 906.1. Is r at least as big as s?
False
Let n = 22.87 + -23. Let s = n - -0.45. Which is bigger: -2/9 or s?
s
Let c = -131 - -132. Which is smaller: 2/53 or c?
2/53
Suppose 38*t = -37*t - 675. Is t >= 44?
False
Let g = -288 - -287. Which is bigger: g or 1/335?
1/335
Let f be 2 + (4 + -1 - -11). Let o(u) = u**3 - 7*u**2 + u + 23. Let r(l) = l**2 - 1. Let w(d) = o(d) + 6*r(d). Let n be w(0). Which is bigger: f or n?
n
Suppose 0 = -4*z + 9*z - 15. Let w be (-2 + -1)/z*1. Suppose r = -55 + 53. Is r less than w?
True
Let i = 51 + -192. Let u = -132.9 - i. Let m = u - 8. Which is smaller: 7 or m?
m
Suppose -3*w = 11 - 14. Let v be w + (-1)/(-4) + 2/16. Which is bigger: v or 1?
v
Let d(b) = 4*b - 3. Let c be d(5). Is 19 greater than c?
True
Suppose 12*x - 6*x = 48. Let g = x - 7. Is g at least as big as 2?
False
Let p be (-45)/(-55)*494/4. Let g be (-907)/(-9) + (-4)/(-18). Let j = g - p. Is 0 bigger than j?
True
Suppose 0 = z - 0*z - 3. Suppose 0 = -z*b - 0 - 6. Let d be b*1 + (-80)/(-35). Is -1 less than or equal to d?
True
Let j(d) = 4*d + 18. Let i be j(-6). Let m be (3 - (2 - 7)) + -3. Which is bigger: m or i?
m
Suppose 12*c = -0*c + 396. Is c at least 222/7?
True
Suppose -131 = 5*n - 2236. Let l = n - 6311/15. Are 1 and l unequal?
True
Let y be 84/(-72) - 3/(-18). Is y less than -1175?
False
Let x be 12/(-28) + (-59)/(-7) + -3. Let y be 86/330 + 14/x + -3. Suppose -3 = -3*p - o, -3 = -5*p + o + 2. Is p >= y?
True
Let c(s) = s**2 - 4*s + 3. Let b be c(2). Let p be (-1 + (-208)/(-232))*(-2)/(-1). Which is bigger: b or p?
p
Let i = 1843 + -1550. Which is smaller: i or 295?
i
Let o = -23.32 + 32.32. Do 26 and o have the same value?
False
Let k be (2 - 86/42)/((-3)/(-5)). Let h = k - -122/2331. Which is bigger: 0 or h?
0
Let u = -5200/1017 + -50/113. Which is smaller: u or -5?
u
Let m be (-1)/3 + 182/6. Suppose 10*n = 11*n - 21. Let z = n - m. Do -8 and z have the same value?
False
Let c = 177/2 + -85. Let y(j) = j**2 - 2*j - 4. Let o be y(4). Is o less than c?
False
Suppose -n - 120 = -6*n. Are 24 and n nonequal?
False
Let x = 833/5 + -167. Which is smaller: -235/3 or x?
-235/3
Let a = 15 - 9. Let z = 11 + a. Let m = -10 