alse
Let p = 15284 + -15989. Which is greater: p or 13?
13
Let v = 2759 + -2733. Suppose 4*c - 3 = 5. Suppose 0 = -3*s + t + c + 16, 0 = 5*s - 3*t - v. Is 10 less than s?
False
Let b be -20276 - (8 - (24/36)/((-14)/21)). Is -20285 != b?
False
Let i(w) = -8*w**3 + w**2 + 4*w + 3. Suppose 11*c + 5 + 6 = 0. Let q be i(c). Suppose q = z - 22. Are 30 and z equal?
True
Let g(s) = s**2 + 20*s + 88. Let w be g(-13). Let m be (-7 + 3 + 1)/(w/(-45)). Is -232/5 less than or equal to m?
True
Suppose 5*j = -g + 9, -2*j - 3*j = -5*g - 15. Let w = j - -40. Let x(z) = 2*z**2 + 12*z - 11. Let v be x(-9). Which is bigger: w or v?
v
Suppose -6*m = 82*c - 78*c - 30, -21 = -3*m. Is c greater than or equal to -528?
True
Let z be (145/(-87) + (-8)/6)*(-56)/294. Are -2173 and z unequal?
True
Let p be (-9519)/(-27132) - 18/8. Do -1 and p have different values?
True
Suppose 18*n - 60000 + 186 = 0. Is 3325 less than n?
False
Suppose -546 = 10*j - 23*j. Let i be (-28)/j*(-9)/(-219). Which is greater: -1 or i?
i
Let n = -119 - -67. Let h = 56 + n. Let p = h + -4.21. Is -1 greater than p?
False
Let t(z) = -10*z**3 - 16*z**2 - 13*z + 15. Let u be t(-8). Suppose 14*b = u - 967. Is b bigger than 232?
False
Let a = -120 - -119.8. Let d = 0.12 + 11.88. Let f = -22 + d. Is f < a?
True
Let w be (-8 + (-5167716)/(-645960))*22142/183. Let k = w - 1/5383. Is k > -1?
True
Suppose 5*b + 2*g = -3 + 7, -3*b - 4*g = -8. Suppose 4*p - 2*f + 6 = b, -4*p = -2*p + 4*f - 12. Let x = 1031 + -52583/51. Is p at most x?
False
Let b = 542 - 546. Let j be (-112)/b + (2 - 0). Which is smaller: j or 57/2?
57/2
Let m = -5339 + 6197. Which is smaller: m or 855?
855
Let u = -185 - -1115/6. Let v(x) = -x**2 + 45*x - 502. Let c be v(24). Which is bigger: c or u?
c
Let t = -406700/697 + 1/1394. Is -585 >= t?
False
Let a(r) = -2*r**2 + 9*r. Let c be a(7). Let y = c + 35. Let g = -24/17 - -2054/1479. Which is bigger: g or y?
y
Let l(z) = 2*z**2 - 29*z + 32. Let n(q) = -q**2. Let d(w) = -l(w) - 3*n(w). Let u be d(-30). Which is greater: u or -9/4?
u
Let q = 10528/5 - 2097. Let w = -663 - -653. Let c be (-10)/(((-2)/3)/(w/(-15))). Is c smaller than q?
False
Suppose 5*h = -5*a - 25040, -30*a = -3*h - 34*a - 15022. Is -5009 > h?
True
Let w(t) = t**3 + 19*t**2 + 14*t + 69. Let i be w(-19). Let n = i - -198. Suppose -h - 9 = -5*h - 3*f, -5*h - 2*f + 6 = 0. Is h at least as big as n?
False
Let q = 1480 - 844. Suppose 0 = -4*y - 472 - q. Is y smaller than -1/2?
True
Suppose -2*v + 16 = -4*v. Let r be 144/(-102)*v/(-6) - -2. Let z = 31 + -32. Does r = z?
False
Let k be 2/50 + 35392/(-1444800). Is k bigger than -28?
True
Let f be (114/8)/3 - (-9)/(-12). Suppose -3*u + 16 = -0*u - y, -4*y - f = 0. Which is greater: 15 or u?
15
Let b be (-1)/(-3)*(-8 + 41454/(-28)). Is -497 bigger than b?
False
Let z(d) = -d + 14. Let r be z(11). Let h(s) = s**2 - 6*s - 3. Let p be h(r). Let l be (2 + p/5)*(-5)/3. Which is smaller: 19 or l?
l
Suppose 3*b = -178*b - 340823. Is -1882 equal to b?
False
Suppose -6*k + 115 = -k. Suppose 701*b - 1395*b - 612 = -730*b. Is b bigger than k?
False
Let o(j) be the first derivative of -j**4/4 - 7*j**3/3 + 7*j**2/2 - 11*j + 17. Let p be o(-8). Let y = p + 5. Is 14/11 != y?
True
Let a be -10*(-14)/(-35) - (-92)/18. Let f be ((-2)/3)/((-3)/9). Suppose 0*g = -f*g. Which is smaller: a or g?
g
Let v be 4/10 + (-224)/35 - (-8 - -3). Are 2/7275 and v equal?
False
Let y(z) = z + 1. Let i be y(11). Suppose -3*p + 4*m = -5*p + 8, 3*p + 5*m - i = 0. Which is smaller: p or 8?
p
Let v be 6/(-66)*471 - (2 + 120/(-66)). Let z be 6/8 - 2/(-8). Let t(m) = -m**3 + m**2. Let j be t(z). Which is smaller: j or v?
v
Let r = 110 - 107. Let l = -14 - -4. Let c = l + 11. Which is smaller: c or r?
c
Let f = 11 - 8. Let b be (0 - f/5)*-15. Let k(n) = n**3 - 8*n**2 - 9*n - 1. Let o be k(b). Is o greater than or equal to -2?
True
Let i = 34319/1195 + -9/478. Which is smaller: i or 30?
i
Let u(q) = -133*q - 2139. Let z be u(-16). Which is smaller: 2/83 or z?
z
Let x be -1264 + (-3)/(-9)*(-3)/(-1)*5. Is x at least -11324/9?
False
Let x be -2 + (394/(-10))/(1222/(-65)). Let y = x + -335/3008. Is y < -1?
False
Let r = 241096/4005 - 301/5. Which is smaller: r or 1?
r
Let b be -8 - (-11 - (-3304)/301)*-376. Which is greater: -16 or b?
-16
Suppose 0 = 17*h + 11 - 266. Suppose -10*m + h*m - 4*t - 205 = 0, -2*m + 82 = -t. Is 40 less than or equal to m?
True
Let p = 3.802 - 3.759. Is -0.3 greater than p?
False
Let r(x) = 3*x**3 - 5*x**2. Let k be r(2). Let q be (1 - (-12)/k) + -12. Let l be 11/165*9/q. Is 1 != l?
True
Let k = 25.8 - 25.7486. Let q = -17.0514 + k. Let r(o) = o**3 + 6*o**2 + 2. Let a be r(-6). Which is smaller: a or q?
q
Let h = -151 + 232. Let g = -82 + h. Let c = -14 - -13.82. Is c at most as big as g?
False
Suppose 3*v + 3 = 0, -2*d - v - 37 = 426. Let z = -357 - d. Is z not equal to -123?
True
Let h = 36 + -39. Let g = 1 - h. Suppose l - 20 = 2*q - 3*l, 16 = g*l. Which is smaller: q or -14?
-14
Suppose -5*t = 18*s - 14*s - 1382, 5*s - 1380 = -5*t. Are 294 and t equal?
False
Suppose -4 + 3 = -c, 423 = 4*v - c. Let q = v + -82. Which is bigger: q or 1?
q
Let v be (-616)/120 + 10/75 + -731. Are -2943/4 and v unequal?
True
Let m(y) = -y**3 + 34*y**2 - 179*y + 85. Let n be m(26). Which is smaller: n or 841?
n
Let x be -1200*((-38)/4 - -10). Is -600 < x?
False
Let f be 114 + (-1*(4 - 10) - 4). Let g = 134 - f. Is 13 bigger than g?
False
Let m(h) = -h**2 + 9*h - 10. Let c = 29 + -26. Let r be m(c). Which is bigger: 52/7 or r?
r
Let w = 13 - 12. Let n be -1*(-6)/(-49)*(-5 + 13091/2565). Is w smaller than n?
False
Let i = 831/11 + -235206/3113. Let d be ((-92)/(-2830))/(144/170). Let s = d + i. Which is bigger: s or -1?
s
Let h be (-50 - (-135)/15)/((-1)/(-4)). Is -165 <= h?
True
Let j = 20135.2 - 20135.397. Let h = -0.2 - -0.3. Is j != h?
True
Let o be ((-4)/(-104))/((-3)/402) - (-1 - 4). Is -103 at most as big as o?
True
Let q(a) = -6*a - 104. Let b be q(-20). Suppose -b*w = -20*w - 72. Is w less than -35/2?
True
Suppose -c - 161*r - 4 = -160*r, -2*c + 5*r + 20 = 0. Which is bigger: 1/533 or c?
1/533
Suppose -38 - 18 = -7*b. Let t be (6 - 12) + (b - 1). Which is greater: -8/27 or t?
t
Let m = -5.57 + 0.57. Let l = -141 - -92. Let u = l - -48. Which is smaller: m or u?
m
Let n be -3 + (5 - ((-3074)/(-5) - -2)). Let a = n - -634. Which is greater: 19 or a?
a
Suppose -x + 125 = 142. Suppose -h + 4*a + 17 = 0, 3*h = -3*a - 3 - 6. Which is smaller: x or h?
x
Suppose -326*p + 357*p - 19065 = 0. Which is greater: 612 or p?
p
Suppose 0 = -0*q + 2*q + x - 120, q - 74 = 3*x. Let v(t) = t**2 + 60*t**2 + 58*t - 4 + 67*t - 121*t. Let f be v(1). Is q != f?
True
Let h = 0.02066 - 326.02066. Which is smaller: h or -5?
h
Let m be 4/211*4/8. Suppose 5*c - 2*c = 5*x + 6, -x - 6 = -3*c. Which is smaller: m or x?
x
Let p = 176.4 + -176.3. Let d = -8.06 - -8. Which is smaller: d or p?
d
Let u(c) be the second derivative of -5*c**3/6 + 7*c**2 + 29*c. Let y be u(-4). Let f = -35 + y. Is 19 at least as big as f?
True
Suppose 0 = 20*c - 23*c + 42. Suppose 0 = 9*n - 11*n - 5*r - 27, -4*n - 2*r - c = 0. Which is smaller: n or 1/28?
n
Let b = 29.15 - 17.75. Let m = -19.1 - -19. Which is smaller: m or b?
m
Let f = -11.414 + 152.404. Which is greater: -0.2 or f?
f
Let m be 6*2/(-30)*-5. Suppose -2 = -63*s - m. Let u(a) = -a + 2. Let r be u(2). Is r <= s?
True
Suppose -3*c + 2*q = -3298, -c - 2*q - 31 = -1125. Is c not equal to -3?
True
Let z = -1.44 + 1.62. Let r = -0.35 + z. Let m = 5 + -5. Is m != r?
True
Let q = -0.5 - -0.58. Suppose -68*n + 43968 - 43424 = 0. Is q greater than or equal to n?
False
Let z = -41086 + 41083. Let a(o) = 24*o**3 + o**2. Let k be a(1). Is z <= k?
True
Suppose -5*m = 2*u + 5, -18*u + 4*m = -16*u + 32. Let t be 1 + u - -7 - 1. Which is bigger: -42/19 or t?
-42/19
Let z(a) = a**3 + 14*a**2 + 24*a + 2. Let h be z(-12). Suppose 7*g - 35 = h*g. Suppose 5*q = 2*f - 80 + g, 5*q = 5*f - 85. Is q less than -2?
True
Suppose 16*i - 15*i = -g, -4*g - 8 = 0. Suppose 5*d - 5 = -4*h + 9*h, -i*h - 2 = d. Which is smaller: h or 24/49?
h
Let g = -18640 - -17323. Are g and -1318 unequal?
True
Suppose -h - u + 7 = 0, 0 = 4*h - 3*u + 6*u - 23. Let k(q) = -q**2 + 5*q + 64. Let n be k(11). Let t be 5 + 29*n/20. Is t > h?
True
Suppose 4*t - 96 =