s 41 at most q?
False
Suppose 15*d + 1913 = -41*d - 1279. Is d != -740/13?
True
Let j = 0.5153 - 0.0353. Let p be ((-10)/(-25) - (-48)/(-70)) + 0. Is p greater than j?
False
Suppose -97 = 26*j + 227 + 40. Which is greater: -425/31 or j?
-425/31
Let t = 18074 - 1879729/104. Which is bigger: 0 or t?
0
Let j(c) = -c**3 + 7*c**2 - 11. Let u = -61 + 64. Let s be (u/1)/(4/8). Let x be j(s). Which is bigger: 22 or x?
x
Suppose 2*f + 65 = -3*f. Suppose 0 = 42*i - 46*i + 432. Suppose 0 = -25*c + 16*c - i. Which is greater: f or c?
c
Suppose -19*o = -10 - 28. Suppose o*w + 46 = -5*x, 3*x = -5*w + 15 - 111. Let m = 6 + -21. Which is smaller: m or w?
w
Let t = -25529 + 25567. Which is bigger: 469/12 or t?
469/12
Suppose 3*d - 4*o = 47579, -d + 352*o = 348*o - 15873. Which is greater: 15854 or d?
15854
Let g = -5543 - -5544. Are g and -691 equal?
False
Let h = -3398.69 + 3401. Is 11 smaller than h?
False
Let w = 26851 + -26849. Let l be (-8)/(-6)*(-26 + 2). Which is bigger: l or w?
w
Suppose -2 + 22 = 4*i. Let d be (6 - 5)/((6/36)/((-12)/18)). Is i at least as big as d?
True
Let t = 2.5 - 0.1. Suppose 0 = v - d - 0*d - 6, -3*v - 2*d = -18. Suppose 5 = v*x + 11. Which is greater: t or x?
t
Let p(h) = h**3 - 12*h**2 - h + 27. Let r be p(12). Let g be 9/r - (3 - 17/5). Let z be g/(-1)*1 - (-44 + 43). Is z < 2/21?
True
Let x = -34944364/3453 + 10120. Which is smaller: 2/7 or x?
x
Suppose 0 = 2*c + 4*s + 28, 54 = -3*c - 4*s + 10. Let b be (1 - 3) + (-66)/11. Let n be (-90)/b*c/(-6). Are n and 30 unequal?
False
Let v(m) be the third derivative of m**4/6 - 17*m**3/6 - 14*m**2 + 3. Let f be v(4). Is -1/17 less than f?
False
Let n = -0.16027 + -140.83973. Which is smaller: n or -37?
n
Let u(s) = -s**2 - 12*s - 3. Suppose -5*d - 4*d = 108. Let c be u(d). Let h be (c/(-12))/((-1)/1). Which is greater: h or -1.4?
h
Let d = 14663 - 14664. Which is smaller: -1/8757 or d?
d
Suppose -608 = 5*l + 2*p, -5*l - 34*p - 615 = -39*p. Are l and -145 nonequal?
True
Suppose 8*h = 9 - 25. Let w be 0 + (h - -4) - 2. Suppose -3*s + 4*s + s = w. Is 10/21 bigger than s?
True
Suppose 36*c = 110 + 5120 + 14426. Is c at least as big as 12?
True
Let d(u) = 6*u - 34. Let f be d(6). Suppose -3*k = -f - 31. Let q be k*4*3/(-6). Is -22 > q?
False
Let x = 87 - 13. Suppose -18 = -80*o + x*o. Which is greater: o or -0.066?
o
Let u = -33 + 138. Let k be (-2)/(-10) - 231/u. Which is greater: -1 or k?
-1
Let a be (-4)/22 + (-65)/66. Let b(t) = -t**2 - 6*t - 6. Let n be b(-4). Let o(m) = 6*m - 14. Let j be o(n). Which is smaller: a or j?
j
Let s = 391.3 + -400.3. Is s <= -152?
False
Suppose 482 = w + 3*g + 157, -5*g + 654 = 2*w. Let t = 775 - w. Is 439 < t?
False
Let g = -4794.5142 - -4794. Is g smaller than -3?
False
Let k = -108.427 - -108.027. Let v be 1*0/2 - -1. Let w be v*(0 + 0) - -1. Which is smaller: w or k?
k
Let b = -33 + 30. Let c be b + -4 + 8285/1185. Let q = c - 65/1659. Is q greater than 0?
False
Suppose 28 + 4 = -5*x + 4*o, 0 = -2*x + 5*o - 23. Let p be 4114/68 + (-1)/x. Which is smaller: 62 or p?
p
Let f be (-652)/(-32) + 1/4. Let h(s) = s**2 - 4382*s - 17523. Let n be h(-4). Is n smaller than f?
False
Suppose -23*y = -31*y + 680. Let x = y - 139. Which is greater: x or -51?
-51
Let u = -195.82 - 0.18. Let s = u - -196.01. Which is smaller: s or 1.7?
s
Let b = -1473 + 1474. Is b >= 751?
False
Suppose 40*r + 181 = 461. Is r smaller than 9?
True
Let y(j) = 8*j**2 - 1265*j + 159. Let h be y(158). Let u = -2530 + 58212/23. Do h and u have different values?
True
Let n be -18*(2365/198 + -4 - 8). Which is bigger: 58/165 or n?
n
Suppose -4*j - 3*q = 126, -109*j + 107*j = 2*q + 62. Is 3/2 smaller than j?
False
Let h be (-2)/(-4)*(-172)/(-306). Let x = -32526/85 - -1913/5. Let u = x + h. Which is bigger: -1 or u?
u
Let o(l) = 8*l - 15. Let j(w) be the first derivative of 9*w**2/2 - 16*w - 9. Let g(b) = 5*j(b) - 6*o(b). Let q be g(6). Is q bigger than -10?
True
Let h be ((-2)/7)/((-8)/11816). Let d = 414 - h. Is d at most 3?
True
Let b = -0.36809 - -2.36809. Which is smaller: 9.696 or b?
b
Let s = -7.753 + 6.753. Is -0.05121 >= s?
True
Let f = -2033/3939 + 20/39. Let q(s) = -4*s + 32. Let i be q(8). Is f != i?
True
Suppose -30*s + 12 = -27*s, -16 = 4*d - 4*s. Which is smaller: -12/335 or d?
-12/335
Let p = 1.408 - -0.282. Let l = 2.69 - p. Which is greater: l or 0.0605?
l
Suppose 75*c = 18*c - 22*c - 9717. Is c at most -127?
False
Let y = 11047 + -11094. Is y equal to 7.3?
False
Let h(l) = -8*l + 281. Let p be h(30). Suppose -c = -134 + p. Is 93 bigger than c?
False
Let q = 1015 - 954. Which is greater: 1/3 or q?
q
Let d = 4216 + -4198.906. Let m = d - -0.606. Is 0 bigger than m?
False
Let x be ((-40000)/7210)/(-8) - ((-48)/(-21) + -2). Is x equal to -1?
False
Let i be (130/(-200))/(24/130752). Are -3541 and i equal?
False
Suppose 22*n - 78 = 9*n. Let g be (-67 + 65)*1/((-244)/n). Which is smaller: 2/3 or g?
g
Suppose f - 745 + 743 = 0. Suppose -5*d + 3*y - 1027 = 0, -7*d - 5*y = -f*d + 995. Are d and -2/3 unequal?
True
Let q(l) = -l**3 - 8*l**2 + 7. Let b be q(-8). Let y = -3 + -27. Let s be 1*((-212)/y - 24/(-40)). Are s and b equal?
False
Let f be 8*(-3 + -2)/(-40). Which is smaller: 1/21318 or f?
1/21318
Let k be (10/257)/(6 + (3 - 21)). Let t = -393175/10794 + k. Is -35 less than or equal to t?
False
Let y = 96 - -31. Suppose y - 27 = 4*q. Is 19 greater than q?
False
Let f be 60/(-160) + (-1096)/(-2240). Let m be 2/4 - (-1)/(-2). Which is smaller: f or m?
m
Let k(f) = -50*f - 1872. Let h be k(-30). Which is greater: h or -25?
-25
Let c = -3835 - -3653. Which is smaller: c or -2?
c
Suppose -u + 3*f = 4*u - 11, 5*u + f = 3. Let r be ((-1869)/462 + 4)/(18/40). Which is smaller: r or u?
r
Suppose 63 - 842 = 41*g. Let v be (-2)/(-7) - (-412)/(-21). Is g > v?
True
Let x = -89 - -53. Let y = x - -4. Suppose 0 = p + 33 - 2. Which is smaller: p or y?
y
Let b = -20 + 20. Let i be -377*12/58425 + 194/2425. Are i and b non-equal?
True
Let z be (-3)/(-2)*(56/(-12) + 4). Let n be (-17)/(-20)*(-88)/33. Is z at most n?
False
Let d = 7604 - 4908. Is 1 less than d?
True
Let p be 9/(-76)*(-372)/279. Suppose 16 - 1 = 5*h. Let g = 4 - h. Which is smaller: g or p?
p
Let b = -0.699 - -0.399. Which is smaller: -4/125 or b?
b
Let l(o) = -4*o**2 - 1. Let c(h) = -h**2 - h - 1. Let d(r) = 3*c(r) - l(r). Let z be d(-6). Suppose -47*n = -z*n. Are n and -1/16 equal?
False
Let z(u) = -u**2 + 5*u - 6. Let f = -10 - -19. Suppose -4*w + f + 7 = 0. Let x be z(w). Which is smaller: -1 or x?
x
Let m(v) = -v - 31. Suppose 2*g = -0*g + 4*q - 32, -g + 5*q - 28 = 0. Let p = g - 9. Let w be m(p). Which is smaller: w or -16?
-16
Suppose 4*u = 16*u + 972. Let h be u/(-63) - (-8)/(-28). Which is bigger: h or -5/12?
h
Let p be (-11070)/(-25) + ((-3)/(-15))/1. Let l = 444 - p. Which is greater: l or -51/8?
l
Suppose -8*s = -21*s + 65. Suppose -10 = 5*h, -2*l + s = -3*h + 1. Let g be 8/(l + 7 + -4). Is 9/2 smaller than g?
False
Let s be ((-1)/2 + 0)*-12. Let r be ((-33)/(-9))/(2/s). Let t(x) = x**2 - 5*x - 15. Let m be t(8). Is r equal to m?
False
Suppose 30 = -4*i - 2*p - 16, 2*i - 4*p - 2 = 0. Let n be i/6*(5/3 - -1). Let m be ((-2)/(-4))/(2/n) + -11. Is m < -12?
False
Let h(q) = q**2 - 21*q + 24. Let o be h(14). Suppose -11*t + 825 = -22*t. Is t less than o?
True
Let p be -5 - (2506/(-260) + 0 + 5). Let r = p - 1/26. Which is smaller: r or -77?
-77
Let n(t) = -19*t - 1141. Let u be n(-60). Which is greater: -4/12715 or u?
-4/12715
Let d = 134 + -134.0129. Suppose 0*l - 19*l = 6*l. Which is smaller: l or d?
d
Let i = -935/195716 - -7/1356. Which is smaller: i or -1?
-1
Suppose 0*o + 44 = -4*o - 5*j, -3*o - 2*j = 26. Let h(z) = z - 20 - 7*z**2 - 35*z**3 + z - 9*z + 34*z**3. Let g be h(o). Do -14 and g have the same value?
True
Let p = 213 - 283.5. Let o = 70.3 + p. Is o <= -0.133?
True
Suppose 3*m + 5*o + 170 = 5*m, 138 = 2*m + 3*o. Let f = 24364 - 24290. Is m smaller than f?
False
Let g = 3.9 - 23.9. Let u = 1261 - 1252.25. Let q = 5.75 - u. Is g at most as big as q?
True
Let u = -2058 - -2273. Is u greater than 218?
False
Let j = -7761 + 54625/7. Let t = -796/21 + j. Which is greater: t or -3/10?
t
Let o = -8.2 - 7.6. Let d = 27.8 + o. Are d and 4 nonequal?
True
Suppose 13*t = 10*t + 9. Suppose 0 = -t*l + 2*l - 3*l. Let p be 2 +