= -36 - s. Let v = 31.16 - 31.06. Is p at most v?
True
Let s be 20 + 1 + (3 - 2). Let n(c) = -85*c + 2056. Let q be n(24). Let p = q - s. Which is smaller: p or -5?
p
Let n = 2918 + -2918. Is n greater than or equal to -19/84?
True
Suppose -25*p = 4*p - 872 + 930. Is p less than -90/29?
False
Let v be -38 - -29 - (-14832)/6. Does v = 2464?
False
Suppose -8*l - 31 = 33. Let i be 90/1*l/(-20). Which is bigger: 31 or i?
i
Let u = -1893 - -1878. Is -292/21 bigger than u?
True
Let c = 18640 - 18653. Do -586/47 and c have different values?
True
Let c(t) = t**3 + 6*t**2 - 14*t - 9. Let u be c(-7). Let b be (u/200)/((-2)/4). Is b > -1?
True
Suppose -26*m + 16*m = -16*m + 126. Is m <= 21?
True
Suppose 1 = -q + 4. Suppose 2*d + 10 = 2*p, -d + p - 8 = q*p. Let o be ((-56)/(-12) + 0)*(-6)/4. Which is bigger: d or o?
d
Let q be 7 + (-5)/(25/35). Suppose q = 3*y - 376 + 454. Let b be (-2 - 7)*3 + 2. Is y at least as big as b?
False
Suppose -465 + 49 = -4*x. Let t = -86 + x. Suppose -10 = -5*c, 2*c - t = -6*w + 4*w. Which is greater: w or 9?
9
Suppose -66*c + 68*c + 924 = 2*p, -1388 = 3*c - p. Is -462 bigger than c?
True
Let b = 3.149 + -2.959. Let a = -1.9 + 2.8. Let z = b - a. Which is bigger: z or 0?
0
Suppose 5*z - 2*f - 3*f = 35, 5 = -5*z - 3*f. Suppose -40 = z*c + 4*w, 5*c + 40 = 3*c + 3*w. Let k be (-5 + 4)/(4/456*6). Are k and c non-equal?
True
Let h = 639207/5218 + -1/2609. Let p = h + -709/6. Which is smaller: 3 or p?
3
Suppose -1125 = 10*n - 3315. Suppose -3*l - n = 90. Let f = l + 101. Which is bigger: -14/9 or f?
-14/9
Let u = 7590 - 7609. Is -42 > u?
False
Let h(d) = -13*d**3 + 2*d**2 - 7*d + 64. Let p be h(3). Which is bigger: -285 or p?
-285
Let n be (-10 + (-6034)/(-609))*(-15)/(-2). Let q(h) = h + 14. Let l be q(-15). Which is greater: n or l?
n
Let p = 295 + -280. Suppose 23*q - 28*q - 11 = -4*u, -4*u = -q - p. Is u bigger than -16?
True
Let s(q) = -13*q**2 - 6*q + 27. Let g(x) = -122*x + 64*x + 7*x**2 + 61*x - 13. Let z(n) = 11*g(n) + 6*s(n). Let f be z(-6). Which is smaller: -1/52 or f?
-1/52
Let q = 57580261 + -7485486839/130. Let m = -407 - q. Do m and 0 have different values?
True
Let w = 15 - 15. Let l(g) = -7 + 0*g + g + g + 15. Let h be l(-10). Is h less than or equal to w?
True
Suppose 4*y - 5462 = 5*i + 824, 16 = 4*y. Is -1/3 at least as big as i?
True
Let k be 2198/(-280) - 10/(-8). Let z = k + 241/35. Is 27/4 greater than z?
True
Let z = -8.5 - -42.5. Let k = z - -16.9. Let x = k + -51. Which is smaller: 1/5 or x?
x
Suppose 133096 = 49*i - 11062. Which is smaller: 2941 or i?
2941
Let q be 5/(-14) - 2/(-4). Let m = 62 - 300. Let z = m - -237. Which is smaller: z or q?
z
Let m be (93 - 2)/1*1. Let i = 19391 + -19511. Let p = m + i. Is p greater than or equal to -28?
False
Let q be ((-69)/35 - -2)/(5/(-65)). Let y = -159/805 - q. Which is bigger: -1 or y?
y
Let n = -127789/11 - -11611. Which is bigger: -0.2 or n?
-0.2
Let i be 2313/(3 - 0)*(18 + (-17 - -12)). Do i and 10023 have the same value?
True
Let m = -2.41 + 1.23. Let l = m - 3.82. Do l and -4 have the same value?
False
Let x = -0.36 + 30.36. Let g = 21 + 54. Let h = g - 75. Is h bigger than x?
False
Let p(q) = -144*q**2 - 3*q + 1. Let i be p(1). Let l(j) = 2*j**2 - 163*j - 2079. Let w be l(92). Are w and i equal?
False
Suppose 3*j = 2*b + 13, -4*j + 21 = -3*b + 4. Let r be (-8)/(-30)*534/534. Which is smaller: b or r?
r
Let d be (-4)/(-4) - (1705/50)/11. Is d greater than -41?
True
Suppose 48 = c + 39. Suppose 0 = -4*u + u + 6. Suppose 0 = 3*h + u*h - 35. Are c and h equal?
False
Suppose 77 + 1355 = 4*k. Suppose 3*m - 1058 = 4*r, m + 22*r = 21*r + 362. Is k < m?
False
Let h = -670.7 + 634. Let j = h - -14.7. Which is bigger: j or -0.2?
-0.2
Suppose -122*s + 118*s = 2*w - 5570, -4*s + 2*w + 5550 = 0. Which is smaller: s or -0.2?
-0.2
Let m be (0 + 16/(-28))/(6/(-21)). Let h be 2465/(-7221) + m/6. Which is smaller: 0 or h?
h
Suppose 3*q + 8 = -j, -q = -j + 3*q + 20. Suppose x = 2*y + 2, -4*y - x + 2*x - j = 0. Let u be -21*(-1)/(-6)*(-16)/1148. Which is smaller: y or u?
y
Let h be (260068/(-632))/((-29)/2). Which is smaller: h or 28?
28
Let g = -20745 - -1265412/61. Which is smaller: -2 or g?
-2
Suppose 170*v = 195*v + 351 + 249. Which is greater: v or 11?
11
Let y be (-4)/(-6)*(52 + 3 - 1). Let r = -33 + y. Suppose 3*m + 6 = -3*o, 0 = -r*o - o + m + 7. Which is smaller: 2/141 or o?
2/141
Let j be (3 - 13)/((-8)/4) - (32 + 1). Are j and -90 nonequal?
True
Suppose 0 = -3*w + 2*s + 1 - 5, 3*w + 5*s + 11 = 0. Let t be w/4 - 20/(-24). Let a = -2.0071 - -0.0071. Are t and a equal?
False
Suppose -3*m - 354 = 11*h - 2*h, 618 = -5*m - h. Let v = -134 + 12. Which is smaller: v or m?
m
Let r = -125 + 127. Suppose -27 = r*v - 11. Is v greater than or equal to -8?
True
Let j be (-6)/(-10) + 57/5. Let g be j/153*2/8. Is 0 < g?
True
Let i = 372 - 377.3. Let c = 14.72 - 22.72. Is c != i?
True
Suppose -8 = -3*m - 3*z - 2, -5*m - 2*z = 17. Which is bigger: m or -260/31?
m
Let n be (158/3)/1 + (-6)/9. Suppose -4*g + 6 = 5*x, 5*g + 7 = 7*x - 6*x. Suppose x*u - 65 = 41. Which is greater: n or u?
u
Let h(n) = -8*n + 8. Let m be h(6). Let b = m + 73. Suppose 5 - b = -2*s. Which is smaller: 13 or s?
13
Suppose -3*r + 53*m = 54*m, r - m = -4. Are 5/826 and r non-equal?
True
Let i(h) = h**3 + 4*h**2 - 5*h - 3. Let v be i(-5). Let c be (-70)/(-195) - (-2)/v. Let o = 4685 + -4684.9. Which is bigger: c or o?
o
Let c(j) = -652*j - 6715. Let h be c(0). Which is smaller: -6716 or h?
-6716
Suppose 3*w = -x - 14, -5*w - 5*x = -9*x + 46. Which is smaller: w or 100?
w
Let q(c) = -c**2 - 7535*c + 143538. Let i be q(19). Let n(l) = 7*l**2 + 1. Let h be n(2). Let p = h - 18. Is p != i?
True
Let i be 5*((-76)/(-26332) + 4/(-58)). Does i = -1?
False
Let g be 0 + 57 - 21*6/(-18). Is g at most as big as 66?
True
Let p = -9967/3 + 3323. Which is greater: -0.2 or p?
p
Let u(a) be the second derivative of a**5/20 + a**4/12 - a**3/3 - 13*a**2/2 + 9*a. Let y be u(0). Let o(k) = 2*k + 18. Let f be o(y). Is f smaller than -8?
False
Suppose -9*x + 4*x = b - 98, 3*b = -6. Suppose 515 = 2*d - 3*s, x = 4*s - 0. Which is smaller: d or 264?
264
Let z(h) = 38*h - 1608. Let p be z(96). Are p and 2038 nonequal?
True
Let w(a) = a**2 - 44*a + 163. Let p be w(40). Suppose 2*v - 114 = 2*j, 4*j + 202 = p*v - 21. Which is bigger: j or -51?
-51
Let a(q) be the third derivative of -q**5/60 - 3*q**4/8 - 4*q**3/3 - 16*q**2. Let o be a(-8). Suppose 0*y + 7*y - 476 = o. Is 67 at most y?
True
Let s(u) be the third derivative of u**5/12 - 5*u**4/24 - 5*u**3/6 - 3*u**2 - 3*u. Let a be s(-4). Which is smaller: a or 94?
94
Let t = -53 + 16. Let f = t - -18. Which is smaller: f or -1/4?
f
Suppose -6*d = -3126 + 3126. Is d at least as big as -9/14?
True
Let m be (8/(-3))/(2/(-6)). Suppose -4*j + 2*p = -m*j - 142, -188 = 5*j - p. Let f be 63/(-252) + 4514/(-120) - 4/30. Which is bigger: j or f?
j
Let q(v) = -2*v - 21. Let c be q(-10). Let t(r) = 4*r**3 - r**2 + r + 2. Let i be t(c). Let n be 1/(-2) + -2*(-203)/(-84). Is n at most i?
True
Let l = -147414/7 - -21070. Which is smaller: 10 or l?
10
Let d be 43/5 - ((-21)/35)/(-1). Suppose 5*s - s = -w + 41, -2*s = -2*w - d. Suppose 4*g = -0*g + 20. Is s < g?
False
Let l = 73 - 72.27. Let f = l - 13.73. Which is bigger: 1 or f?
1
Let v(q) = -q**2 - 6*q - 1. Let t be v(-5). Suppose -l + 5 = -t*l - w, w = -2*l - 5. Let b = -83682/7 - -920495/77. Is b smaller than l?
True
Let n be (-48)/(-27) + -2 + 94/18. Let y(m) = -m**2 + 7*m - 11. Let p be y(n). Let c = 0.03 + 1.97. Which is bigger: c or p?
c
Let j(v) = v**3 - 9*v**2 + 13. Let i be j(9). Let q(f) be the second derivative of -f**3/6 + f**2 - 94*f. Let n be q(i). Which is smaller: -12 or n?
-12
Let i be 655/(-262)*(-532)/(-1 + -1). Let d = 671 + i. Which is bigger: -0.21 or d?
d
Suppose -q - 120 = 21. Which is smaller: -1127/8 or q?
q
Let r = 9370 - 9491. Which is smaller: r or -32?
r
Let k be (-924)/(-264)*1252/14. Which is smaller: 308 or k?
308
Let i(a) = 2*a - 2. Let o be i(8). Suppose 2*u = -5*t + 18, o*u + 4*t - 20 = 18*u. Is u less than 1/9?
True
Let c be 2*(-3 + 0 + 215). Let j = 19471 + -19047. Is c less than or equal to j?
True
Let g = -0.55 + 72.55. Let f = -47320 + 47248.014. Let w = f + g. Which is bigger: w or 1/4?
1/4
Let v = -134 - 163.