s be (-360)/(-450) + (-1)/(-5). Is s < -40/451?
False
Let l be 36/28 + 6/(-21) + 15. Suppose 0 = -p - l + 15. Let s be 1*p/((-2)/(-6)*-3). Is -0.2 at least s?
False
Let h(k) be the second derivative of k**5/20 + k**4/12 - 13*k**3/6 + 35*k**2/2 - 66*k. Let t be h(3). Are t and 32 unequal?
False
Let g = 1/6308 - -655/56772. Are g and 4 nonequal?
True
Suppose 20814 = 199*q - 33115. Which is smaller: 262 or q?
262
Suppose 170 + 112 = -z. Let y = z - -206. Is -75 at least as big as y?
True
Let b be (1584/(-64) - -24)/(1/1304). Let q(g) = 12*g**2 - 5*g - 3. Let m be q(-5). Let y be (3 + b/m)*(-4)/12. Is 0 bigger than y?
False
Suppose -2*c - 424 = -5*p + 2*c, 0 = 3*p - 2*c - 256. Which is bigger: p or -5?
p
Let r = -22763/3 + 159347/21. Let m = -8.19 - -9. Let w = 0.01 - m. Which is greater: r or w?
r
Suppose 17 - 15 = -33*l - 31. Is l > 6/133?
False
Let k = -141 - -145. Suppose 3*p - 59 = 4*a, 0 = -k*p - 3*a - 2*a + 120. Suppose 29*z = p*z - 88. Is -21 bigger than z?
True
Let i be 6/(-3) + -3 - 2*909/(-376). Is i bigger than 1?
False
Let x(s) = 10*s**2 - 11*s - 13. Let h be x(-6). Suppose -7*z + h = 77. Let i be (-3)/(3/(-44)) + 3. Which is greater: z or i?
z
Let i = 4619 - 4685. Let n = 67/4 + -461/28. Is i < n?
True
Let f be 42/114 - (-4)/(-8). Is 0 > f?
True
Suppose -164 - 88 = -9*x. Suppose 5*s = 3*u + x, 2*s = 6*s + 16. Let h be (u/(-6))/(22/(-33)). Is h less than -4?
False
Let a(o) = 65 + 3*o - 45 - 60 + 17*o. Let l be a(11). Is l != 180?
False
Let i = 1148 - 510. Suppose -19*z - 182 = -i. Which is smaller: z or 2/23?
2/23
Let w be (-3096)/108*(-6)/256. Is w equal to 2?
False
Let s be 3/(-7) + (-11495)/(-133). Suppose l = p + 20, -s = -4*p + 8*p - 2*l. Are -25 and p equal?
False
Let s be (-5)/(21 - -39) - (-1354)/15528. Do s and 0 have the same value?
False
Suppose 5*a + 43 = 33. Let c be 4/(a/(-10)*9/(-18)). Let s be -10*8/(-20)*6/c. Does -2 = s?
False
Suppose v + 20 = 3*v. Let r be -3 + (5/v)/(2/16). Suppose 2*x - 15 + r = 0. Which is smaller: x or 1?
1
Let i be 1/(-6) - 427/(-42). Suppose 0 = i*f + 2*f + 24. Let h(z) = -z**2 - z + 3. Let q be h(f). Which is greater: q or 63?
63
Suppose 58*d + 74*d + 52 = 106*d. Which is greater: d or -4784?
d
Let p = -1041 + 1040.943. Let k = 6.643 - 6.8. Let x = k - p. Which is bigger: -2/113 or x?
-2/113
Let p = 44 - 39. Suppose -5*i + 11 = -4, 43 = p*h - 4*i. Let l = 0.036 - 1.036. Which is bigger: l or h?
h
Let j(c) = 123*c - 23. Let a be j(-11). Let u be 78/a*(164/19 - 6). Let q = -3/344 + u. Which is smaller: -1 or q?
-1
Let r = 14117/20 + -706. Let c = 418 + -416. Which is smaller: c or r?
r
Suppose -3*j + 101 = 17. Suppose d - 3*t = 29, -4*d = -5*d + 2*t + j. Is d not equal to 51/2?
True
Let d be 3/(-5) + ((-13336)/(-20))/(-2). Which is greater: d or -330?
-330
Suppose 2*p + 4*m = 28, 0*p + 5*m - 17 = -p. Let l(a) = a**3 + a**2 - 28*a - 51. Let n be l(-4). Which is bigger: n or p?
n
Suppose 0 = 5*z + 15, -3*z - 2895 = -5*c + 2*z. Suppose -i = 11*i - c. Let s = -46 + i. Which is greater: s or 8?
8
Let g = -4.298 + 4.338. Which is greater: g or -0.4?
g
Suppose -4*i = -3*g + 48, 2*g = 2*i - 13 + 37. Let r be (30/(-35))/(i/21)*2. Suppose z + r = 4*z. Which is smaller: z or 5/3?
z
Let o = 12/13 - 45/91. Which is smaller: 766 or o?
o
Suppose -5*x = -4*o - 36, -11*o + 16*o = 4*x - 36. Which is bigger: -202 or x?
x
Let j = -254 - -23. Let a be 2744/(-12) + (-75)/9 + 9 + -4. Is a <= j?
True
Suppose -n = 2*t + 25, -32*n = -24*n - 4*t + 20. Which is bigger: n or -131/17?
n
Suppose 8 = 2*w + 2*o, -20 = 8*w - o - 16. Does w = 41/92?
False
Suppose 21 = -4*x - 5*t, -3*x + 2*t + 448 = 435. Is x greater than or equal to -1/34941?
True
Let n be (-3 + -2)/(0 + 4 + -5). Suppose -23 = y + 2*f, f + 4*f - 55 = n*y. Let t be 185/(-15) + 6/(-2). Is t >= y?
False
Let m be (-15 - -9) + 3 + -2 + 5. Let i be (-108)/88 - 5/(-10). Which is greater: m or i?
m
Let n = -136321/95 - -1435. Let b(c) = -2*c + 13. Let q be b(6). Is q greater than or equal to n?
True
Let i = 9 + -7.6. Let n = 5262.8 + -5262. Let w = i + n. Does -2 = w?
False
Let z(o) = o**2 + 4*o - 42. Let a be z(-12). Let m be ((-16)/(-3))/(-2)*a/(-24). Suppose 2*r = m*r - 80. Which is smaller: 2/7 or r?
2/7
Suppose -4*p - 1 = -n + 2, 3*p + 32 = 5*n. Suppose n*c = 3 + 11. Suppose -5*g + z = -z + 10, c*z - 2 = 3*g. Are -2 and g nonequal?
True
Let p be 5/5 + 5*(-23)/115. Is p at least 1/11246?
False
Suppose -3*s + 4*h - h + 6 = 0, 2*s = h + 7. Suppose -s*d - 24 = -179. Let r be 0 - d/(-4 - -5). Which is bigger: r or -32?
r
Let g = -10239/14 - -733. Suppose 4*q - 3*s - 12 = 0, 0 = -15*q + 17*q - s - 6. Is g <= q?
True
Let v = -18985/2 + 9493. Is -0.00771 greater than v?
False
Let o be (11/(1155/(-84)))/(2/(-138)*2). Let f = 7.1 - 7. Is f smaller than o?
True
Suppose -1700 = -4*n - 4*b - 10968, -5*n + 4*b - 11567 = 0. Is n < 1?
True
Let a(n) be the second derivative of n**4/12 - n**3/2 - n**2/2 - n. Let i be a(3). Let y = 10004/3 + -590242/177. Which is bigger: y or i?
y
Let t = -7 - -8. Let g be t/2 - 19/2. Let y = -5223/4 + 1298. Is g at most y?
True
Suppose -3*j + 6 - 2 = -2*u, -j = 3*u - 16. Let f(r) be the second derivative of r**4/12 - 17*r**2/2 + 251*r. Let o be f(j). Are 1/21 and o nonequal?
True
Let l = -2176 + 15234/7. Are l and 23/35 unequal?
True
Let j = -48.614 + -5.386. Which is smaller: -25 or j?
j
Let i = -101 - 3. Let t = i + 102.5. Which is smaller: t or -0.1?
t
Let f be ((-123)/9)/(17 + -13). Let p = f + 871/276. Which is greater: p or 0?
0
Suppose b = -0*b + 5*q + 72, -2*b + 108 = -q. Suppose -6*c = -b - 56. Let r = -124/7 + c. Does r = -0.07?
False
Suppose v - 21 = 3*k - 6, -5*v = 2*k + 10. Suppose y + 3*y = v. Let w(m) = -m**3 + 2*m**2 - 2*m - 1. Let d be w(y). Is d at least as big as -8/5?
True
Let f be (-588)/510 + 6/4. Let c = f + -4/85. Let h(u) = -u**2 - u. Let k be h(-1). Is c smaller than k?
False
Suppose 0*q = 5*q - 20. Let g(j) = j**3 - 6*j**2 + 6*j + 3. Let u be g(q). Let y be (-1)/(-4) - u/(-4) - -48. Is y at least 47?
True
Let r(j) = 25*j + 76. Let u be r(20). Let s = u - 576. Let f = -3/80 - -301/3760. Which is bigger: f or s?
f
Let z be 29/(4 - (-9)/(-3)). Let m = z + -27. Let g = 3 + m. Are g and 10 equal?
False
Let o = -39208 - -33480. Is -5728 at most as big as o?
True
Let i be (165/(-22))/(2*(-1)/6). Suppose 0 = a + 4 + 14. Let m be (108/15)/(a/(-60)). Which is smaller: i or m?
i
Let f be 4/(-1065)*5/(-14)*(-966)/414. Which is greater: 1 or f?
1
Let h = -262 - -263. Let p be -11 + 15 + ((-14)/4)/h. Let o = 34.7 - 0.7. Is o > p?
True
Let b = 69/13 - 125/13. Let x = 23 - 28. Which is bigger: x or b?
b
Let m be 86/(-16)*2*4/1. Let k = -43 - m. Is k smaller than -5/8?
False
Let p be (42/4)/(2/(-4)). Let c = -302504/5 - -6369484/105. Let j = c - 1122/7. Which is greater: p or j?
j
Let g(y) = 4*y**2 + 9*y + 5. Let q be g(-2). Suppose -3*d = 2*f - 1, -q*f + 3*d + 1 = -7*f. Which is smaller: f or -2/211?
f
Let i = -516 + 367. Let d = 60836 - 243343/4. Which is bigger: d or i?
d
Let n(u) = 2*u**3 - 9*u**2 + 35. Let s be n(6). Suppose 0 = -14*v + 25*v + s. Which is bigger: v or -18?
v
Let s = -0.659 + 0.079. Let r = s + -3.82. Let d = 4.3 + r. Is d at most -0.051?
True
Let x = 30.6 + 0.4. Let h = -29.92 + x. Let t = h + -24.08. Which is greater: -1 or t?
-1
Let n = -307.51 - -309.51. Let x = -1643/7 + 234. Which is bigger: x or n?
n
Let r = -4095 + -4443. Which is greater: 0 or r?
0
Suppose 5*c - 467 = -112. Suppose -3*v + 4*l - c = 0, -2*l + 28 = -3*v - 39. Let i be -4 + 6 - (-15)/v. Is 1 less than or equal to i?
True
Let x(y) be the third derivative of -y**5/30 + 5*y**4/12 - y**3/3 + 138*y**2. Let f be x(6). Are f and -61/4 nonequal?
True
Let w = -10014.1 + 10014. Which is bigger: -1363 or w?
w
Let c be (2 - (2 - 140/156)) + (-60)/90. Do -0.11 and c have the same value?
False
Suppose -8 = 2*u - 0*u - y, -4 = u - y. Let i be u/(4064/4)*-4. Let j = 0.3 + -1.3. Is j bigger than i?
False
Let j = 0 - 0. Let f = -3/5011 - 8663/2269983. Is j <= f?
False
Let x = 354 + 2645. Is 2999 != x?
False
Let w be (-1)/((1/5)/(-1)). Suppose 3 = v, -98 = 2*t - 7*v + w*v. Let c = -45 - t. Which is bigger: -2 or c?
c
Let u be 0 - (-1 - (0 + 2)). Let b = 18560451/16370 + -29/3274. Let n = b + -1130. Is u > n?
False
Let m = 41 + -38. Suppose m*d = -5*a + 334, 0*