reater: -26 or d?
-26
Suppose -2*f + 26 = 3*x + 756, 2*f - 3*x = -706. Which is smaller: f or -0.4?
f
Suppose -135 + 618 = 7*b. Are b and 81 nonequal?
True
Let r be (-2 - 64/(-30))*4880. Let d = r - 651. Which is greater: -0.273 or d?
-0.273
Let l(g) = 3*g**3 + 80*g**2 + 53*g + 29. Let m be l(-26). Let p(x) = -2*x**3 + 6*x**2 - x + 2. Let a be p(m). Which is bigger: a or 6/227?
6/227
Let o = -15/101 - 875/909. Suppose 88*q - 8 = 96*q. Is q at least as big as o?
True
Let s = -452 + 447. Let q be ((-54)/12 - s)*0. Is q >= -6/53?
True
Let b(l) = -41*l**2 + 2378*l + 1. Let k be b(58). Let m = -3004 - -213278/71. Which is bigger: k or m?
k
Let w be 60/(-2)*(-3)/12*104/52. Which is smaller: w or -9?
-9
Let m = -8669 + 8668. Is -15/643 bigger than m?
True
Let y be ((-204)/(-10))/((-2)/(-10)). Let m = y + -71. Suppose 0 = 3*k - 15, -22*s + 18*s + 5*k + 99 = 0. Is m >= s?
True
Suppose 3*t + 3*h + 27 = 0, t + 12 = 4*h + 8. Suppose 0 = 3*f + 2*f + 40. Is f at most t?
True
Let h = -57 + 63. Let k be -10 - 2 - 12/(h/(-2)). Is -8 at least k?
True
Let j(m) = m**3 - 11*m**2 + 20*m - 5. Let y be j(10). Let o = 184 - y. Is 88 <= o?
True
Suppose 53 = j + 59. Let k be j + 2 + 11 - 1. Which is bigger: k or 8?
8
Let c be 15/(-5) - -3 - -2. Let y be c/8 - (-17)/(-68). Is y greater than or equal to 10/37?
False
Let k = 0.12211 + -0.02211. Which is greater: -637 or k?
k
Let m = 2995 + -3005. Let f(t) = t**2 - 7*t - 4. Let b be f(6). Let y be (6 + (-8)/m)*b/(-4). Which is smaller: y or 16?
16
Let m = -0.6982 + 142.6982. Let d = 4 + -3. Is m <= d?
False
Suppose -662 - 646 = 12*k. Let t = k + 2290/21. Is 0 greater than or equal to t?
False
Suppose 1744 = 8*u + 1672. Let a be 36/(-3)*(-2 - (0 + -1)). Which is bigger: a or u?
a
Let a be ((-5115)/18)/(-11) - 3. Let t = a - 45/2. Is t at most -49?
False
Suppose -108 = 2*d + 2*h, 8 = 5*h + 18. Let q be -4 + d/(-65)*(-22)/(-4). Is -87 != q?
True
Let w = -207/20 - -17261/1660. Let l be 11 + (19/((-570)/75))/(1/4). Is l not equal to w?
True
Suppose -493499 = -105*w + 509671. Are w and 9554 unequal?
False
Let k = 7.98 - 9.98. Is k smaller than -13/16?
True
Let v be 1/(-746)*15/60. Which is greater: 1 or v?
1
Let x = -10603/84952 + -2/10619. Which is bigger: x or -220/9?
x
Suppose 2*b - 421 = 3*t, -2*b = -2*t - 2 - 280. Suppose 5*u + 690 = -4*w, -5*u - w - 737 + 47 = 0. Which is smaller: t or u?
t
Let o = 4.94 - 5. Let w = 190379 + -190378.79. Are o and w equal?
False
Let x(w) = -18*w**2 - 117*w + 9. Let y be x(-7). Is y greater than or equal to -38?
False
Let c = 15.8 + 49.2. Let g = 65.1 - c. Which is greater: -61 or g?
g
Let g = -81 - -55. Let y be (-598)/g + 1 + -1. Suppose 3*w + y = -5*q, w + 9 = -2*q - 0. Which is smaller: w or 1/61?
w
Let b be 2/10 + 10395996/(-3780). Let d = b + 2750. Is d at least as big as -1?
True
Suppose -76 = -3*i + 4*n, 3*i = -i - 4*n + 92. Let c be ((-23958)/2310 + (-3)/7)*10/(-4). Is i greater than or equal to c?
False
Let c = -3933 + 5772. Which is smaller: c or 1840?
c
Suppose 10*g - 7*g + 1 = 4. Is g > 9/244?
True
Let j(z) = -z**3 - 6*z**2 - 9*z - 18. Let x be j(-5). Is x != 47/34?
True
Let w = -215.6 + 168. Let x = w - -75.6. Which is greater: 0.08 or x?
x
Let x(z) = z**3 - 2*z**2 - 2*z. Let u be x(-1). Let b be -4 + (-10194)/(-2550) + 1 + u. Is b at least 1?
False
Let g = 2/285 - -241/6270. Let o = -905 + 904. Which is bigger: o or g?
g
Let w(j) = 13*j**3 - 13*j**2 + 34*j + 287. Let p be w(-6). Which is smaller: -3194 or p?
-3194
Let t = -56.3 + 340.3. Let a = t + -225. Let z = 3 - 2. Is z bigger than a?
False
Let f be (-8573)/(-3) + 67 + -76 + (-56)/(-6). Are 5715/2 and f equal?
False
Let g = -1 - -0.9. Let d = 2.203 - 2.303. Does g = d?
True
Suppose -v - h = -4, 4*v - 4*h + 2*h - 10 = 0. Let f be 2/v*72/10. Suppose -52*d + 118 + 41 = -49. Which is bigger: d or f?
f
Let b be ((4/(-36))/(42/54))/((-10)/61726). Is 882 at most as big as b?
False
Let n be 17/((-680)/(-16)) + (-12)/15. Let h = -13.17 + 0.17. Is h at least as big as n?
False
Suppose 1053 = 5*t + 7*w, -87*t = -84*t - 5*w - 595. Which is greater: t or 5?
t
Let h = 453 + 27. Let c = h - 481. Is 0 equal to c?
False
Let v = -52507 + 19246. Is v at most as big as -33260?
True
Let g = -165946 + 2158600/13. Let s = g + -100. Is s < -0.03?
False
Let v = -17375 - -17748. Which is bigger: 375 or v?
375
Suppose 45*t = 50*t - 15675. Let r be (-11*(-5)/t)/(2/(-174)). Which is bigger: r or -3?
r
Let u = -15991 - -15826.97. Let h = 164 + u. Is h smaller than -1?
False
Let r be 1944/(-15)*-1 + 6. Suppose -134 = 3*s - 542. Let w = s - r. Is -2/41 < w?
True
Let t = -13174 - -13621. Is t <= -6?
False
Let a = 1 + 0. Let f be 324/(-108)*4/(-327). Which is smaller: a or f?
f
Let f = -4.253 - -3.9. Let i = f - 0.447. Let v = -12.94 + 13. Is i greater than or equal to v?
False
Suppose 2*c - 2*x = 2027 - 2037, -x = -4*c - 5. Is c at least 1/11557?
False
Suppose 0 = 10*t + 2*m + 17010, 2*t + 2*m - 623 = -4033. Which is greater: -1704 or t?
t
Let j be ((-158)/(-984))/((-45)/1418640). Let g = 5062 + j. Are g and 3 nonequal?
True
Let p(v) = -15*v + 223. Let z be p(-35). Suppose -11*o - 11*o = -z. Are 15 and o equal?
False
Suppose z - 3685 = -54*z. Is z < 52?
False
Suppose 112*i - 60*i - 172224 = 0. Are 3311 and i unequal?
True
Let n = 697 - 744.1. Let q = -116 - -69. Let a = q - n. Is 2/105 smaller than a?
True
Suppose 3*w - 60 = 2*g, -4*g = -2*w + 1 + 47. Let a(h) = h**2 - 12*h - 98. Let j be a(w). Is j at least 11?
False
Let z = -8521 + 8389. Is z smaller than -145?
False
Let r be (-1)/4 + ((-1846)/(-296))/1. Let x = 6 - r. Is 1 not equal to x?
True
Let k be (-30)/(-150) - (-4)/(-28). Which is smaller: -111/5 or k?
-111/5
Let r be ((1 - 4)/(-1))/(5 + -6). Let z be ((-2)/72)/((-10)/45*r). Which is smaller: 0 or z?
z
Let b = 2.304 + 0.696. Do 766 and b have different values?
True
Let t be ((-28)/(-6))/(8906/183). Let g = t + -101/292. Let i = -1/53 - 733/477. Which is bigger: g or i?
g
Let g(o) = 5*o**2 + 9*o + 3. Let t be g(-2). Suppose -t - 1 = 6*s. Let k be (s + 1)*13/26. Is 2/53 not equal to k?
True
Let w = -169387/23205231 + 2/56187. Let n(q) = q**3 + 20*q**2 + 1. Let j be n(-20). Do j and w have the same value?
False
Let y = -419 + 835. Let w be -4 + 1 + 3*y/396. Suppose -2*h - 4*t + 1 = -3, h = 5*t - 5. Which is greater: h or w?
w
Suppose 3*j + 2*l - 11 = 0, 12*j - 11*j + 8 = l. Suppose 4*r - 4 = 2*q - 14, 25 = -4*q - r. Is j greater than q?
True
Let s be (4/12)/(6/(-18))*-4. Suppose -7 = -s*y - 5*m, -3*m - 77 + 89 = 5*y. Are y and -4 non-equal?
True
Let f be (1 - (-5 - -11)) + 105*1. Is f at most 83?
False
Suppose 0 = -21*i + 283 + 32. Suppose 0 = q - 14 + i. Let o = -700/30481 + 2/163. Is q less than or equal to o?
True
Suppose 5*a + 15 = -5*l, 3*a + l + 13 = -3*l. Which is greater: -2/5503 or a?
a
Suppose 41*k - 411 = 42*k. Let u = k - -396. Is u != -21?
True
Let i = -59 - -107. Let b(l) = -l**3 - 4*l**2 - 3*l + 7. Let g be b(-4). Suppose -160 = -3*a - g. Is i less than or equal to a?
False
Let b = 97 - 95. Suppose z - b = -a - z, 44 = -4*a + 5*z. Is a less than -21?
False
Let n = -585.67 - -583. Let u = n - -2.6. Let c = -0.93 + u. Is c less than -35?
False
Suppose -195*y + 190*y - 5 = 0. Let n be (-10)/(-65) + (-137840)/(-754). Let a = n - 183. Which is bigger: y or a?
a
Let k be (-2)/((-48)/(-26) + -2). Let c be 10/(0 + -2) - (12 + -13). Let d be 1*2/c*-2*14. Which is smaller: d or k?
k
Let a(t) be the first derivative of t**5/10 - 2*t**4/3 - 17*t**3/3 + t**2/2 + 7. Let l(v) be the third derivative of a(v). Let d be l(0). Is -16 not equal to d?
False
Suppose 315*a + 279653 = -1098787. Are 0 and a non-equal?
True
Let d = -98 + 112. Is 69/5 equal to d?
False
Suppose 0 = 2*i - 3*i + 1, -5*q = -5*i - 330. Let m = 70 - q. Let b be ((-2)/(-5))/(445/150 - m). Is b equal to 1?
False
Let j be (68/(-6) - -14)*(-27)/(-4). Which is smaller: j or 154/9?
154/9
Suppose -2*g + 2 = -0. Let c be (1/2)/(g/276). Suppose -5*t + 62 = -c. Is t > 41?
False
Let d(m) = -2*m**2 - 22*m - 46. Let n be d(-8). Let g(b) = b**3 + b**2 + 7. Let j be g(0). Let i = n - j. Does i = -5?
True
Let o = 0 + 1. Let n = 22 + -52. Let i = 1 - n. Is i > o?
True
Suppose -9 = n - 12. Let g be 0 - -2 - (-27 - n). Let l be (g/(-124))/((-6)/3). Which is smaller: -1 or l?
-1
Let o = -0.09282 - 