eater: f or -243?
f
Suppose -42*t = -34*t + 10224. Are t and -1278 nonequal?
False
Suppose 11*s + 166 - 45 = 0. Let g = 15 + -17. Is g bigger than s?
True
Let q = 38.93 + -39. Let r = 0.23 - q. Is r greater than or equal to -84?
True
Suppose 185*g = 191*g - 43968. Which is smaller: 7329 or g?
g
Let l be 79130/579*((-114)/(-15) + 2). Which is smaller: l or 1313?
l
Suppose 147*a - 2596 = 151*a. Let d = -3244/5 - a. Which is bigger: d or -63?
d
Let n be (-4)/((-96)/22) + 94/1128. Which is greater: n or -45?
n
Suppose -2*y + 2*h + 2*h + 6 = 0, -h - 3 = y. Let n be -1 - y - 4*(-16)/(-104). Does n = -1?
False
Suppose -15*x + 12*x + 9 = 0. Suppose -2*g - x*j + 104 = 0, 4*j - 3 = -19. Suppose 3*i + g - 211 = 4*h, 4*h - i = -155. Are h and -39 nonequal?
False
Let d = 15 - 80. Let v be 26/d - (-12)/5. Let l be -33 + (4/v - (2 - 3)). Is l <= -30?
True
Let y be (31 - 0) + -5 + 7. Let s(r) = r**3 - 100*r**2 - 262*r + 16295. Let n be s(101). Is n at most as big as y?
False
Let m = -0.3 - -0.5. Let q = -1515 - -1579. Are q and m non-equal?
True
Suppose -17*f + 1912 = -4820. Let w be ((-23)/2 - -1)*f/54. Which is bigger: -3 or w?
-3
Let v(m) be the first derivative of -m**2 + 8. Let a(g) = -9*g + 14. Let j(z) = -a(z) + 4*v(z). Let o be j(-2). Are -31/2 and o equal?
False
Let u = 158 - 237. Let a = 78.83 + u. Let v = -70 - -67. Which is smaller: a or v?
v
Let k be 1222/(-1794) + 3/9 + -2. Suppose -3 = 3*a - 0. Which is bigger: a or k?
a
Suppose -r + 2*t - 3 = 0, 5*r = -63*t + 59*t + 83. Let s be 1/2*11*2. Are s and r equal?
True
Let k be (4 - 0) + 4/(3 - -1). Let h be (42/(-35))/(0 + (-2)/k). Suppose h*x + 17 = -40. Which is bigger: -22 or x?
x
Suppose 0 = -33186*t + 33144*t + 4116. Is t equal to 111?
False
Suppose -7411 = -17*j - 0*j + 6631. Is j less than 827?
True
Let y be ((-5880)/180)/(3/(-36)). Which is bigger: y or 0.2?
y
Let p(c) = c**3 + 67*c**2 + 311*c + 2. Let k be p(-5). Do k and -569/2 have the same value?
False
Let v be (2 + (-15)/6)*-54. Suppose g - 5*l - v = 4*g, -5*l = -g + 11. Let f be (2 - (0 - g)) + 2. Is f at most 1/80?
True
Let m = 47/144 - -25/144. Is 4/485 less than m?
True
Let g be (-24)/12*((-42)/12 + 4) + 1. Is 6/1679 at most g?
False
Suppose -o + 4*o - 33 = 0. Let b(u) = u**2 - 9*u - 27. Let f be b(o). Which is smaller: f or 1?
f
Let h(j) = -j**2 + 116*j - 864. Let w be h(108). Is w less than or equal to 31/199?
True
Let g = -4 - 9. Suppose -2*w - 66 + 544 = 0. Let s = w - 2149/9. Is s less than g?
False
Let b = -11.77 + 12.3. Let s = b - 41.53. Let i = s - -41.01. Is i != 0.4?
True
Let g = 0.0577 + 10.8523. Let q = g - 3.01. Is q bigger than 1?
True
Let j = 5070 - 6416. Which is bigger: -1347 or j?
j
Suppose 38 = -82*k + 71*k + 30*k. Let q = -512 - -4105/8. Do k and q have the same value?
False
Suppose 3*u + 5*o = -35, -u + 3 = -4*o - 8. Let x be 2*u*(-2)/10 - 3. Which is smaller: x or -15/13?
-15/13
Let g = -11.81 + 12. Let z = 0.15 + g. Let j = 216534 - 216535. Which is bigger: j or z?
z
Let r(n) = -4*n - 55. Let d be r(-19). Let y be (-8)/(-14) - (-3)/7. Are y and d non-equal?
True
Let k be (-69)/(-598)*(10/(-6)*2)/2. Is 0 < k?
False
Suppose -1 - 3 = 2*u, -2*u - 8 = -2*p. Suppose -1365 = 5*w - 4*q, w = p*q - 4*q - 273. Let y = w + 826/3. Is y equal to 1?
False
Let j = 22215 - 22212. Which is bigger: 656 or j?
656
Let n = 514 - 1350. Which is smaller: n or -837?
-837
Let v = -137 - -143. Let p(h) = 8 + h + 63*h**2 + 14 - 64*h**2. Let k be p(v). Is k equal to -8?
True
Suppose -49*a - 1892 = 123*a. Is a greater than -303/29?
False
Suppose -4*k + 5*j + 3172 = 0, k - 3*k + 4*j = -1592. Which is bigger: 3157/4 or k?
3157/4
Let l = -458.43 + 3.63. Let t = 454 + l. Is -2 at most as big as t?
True
Let s = 0.488 - 0.798. Let f = -0.11 - s. Let q be 34/6 - 4/(-12). Is q < f?
False
Let k be (-151)/(-9) - 44/(-198). Suppose 3*m + k = 5*h, 8*m - 6*m = -8. Which is bigger: -2/169 or h?
h
Let z(m) = 76*m + 364. Let y be z(11). Which is bigger: 1201 or y?
1201
Let l be -2 + (3 - 306/166). Which is smaller: 0 or l?
l
Let d(i) = 12*i**2 + 38*i + 42. Let y be d(-12). Is 1313 >= y?
False
Let u(s) = -9*s**3 + 7*s**2 - 4*s. Let n be u(-5). Let m be (-65850)/((-2)/9 + n/27). Let o = m + 1353. Which is greater: -1/3 or o?
o
Suppose 5*k - 5*u = -10, 0 = -k + 22*u - 19*u - 12. Let t be 30/4 - (-1)/(-2). Let s = 11 - t. Is s not equal to k?
True
Let m = -1370 + 1370.1254. Let u = m + -0.0154. Which is smaller: u or 1/2?
u
Let l = -2 + 5. Suppose l*d + 6 = 9. Let t(a) = 3*a**2 - 1318*a + 25556. Let b be t(419). Which is smaller: d or b?
b
Let u be 4/330*-247 + 3. Let k = u - -299/165. Let l = 3582 + -3581. Are k and l unequal?
True
Suppose -5*j - 768 = -905*h + 904*h, 156 = -j + h. Which is smaller: j or -156?
-156
Let f be (8/12)/(12/36*(-27 - -1)). Is f at most 0.128?
True
Let m be (4/(-5))/(172/(-17630)). Is 87 bigger than m?
True
Let g = -2.855 - 0.265. Let k = g + 95.12. Which is greater: -2/7 or k?
k
Let d(v) = -432*v - 833. Let u be d(-10). Which is greater: 3488 or u?
3488
Let c(h) = -h**3 + 160*h**2 - 292*h - 3795. Let x be c(158). Suppose 0 = -f + 5, 6*w - 3*w + 24 = 3*f. Let r = -2 - w. Which is bigger: r or x?
r
Suppose 2*v = 20*i - 16*i - 2976, -739 = -i - 2*v. Is i at most 741?
False
Let k = 33 + -92. Let j = -57 - k. Let a = -102.9 - -103. Is a > j?
False
Let p = 420 - 799. Let g = p - -324. Which is greater: g or -164/3?
-164/3
Let m = -11921 - -83449/7. Is m <= 359?
True
Suppose 213*q = 208*q + d + 4, 3*d + 12 = 3*q. Which is smaller: -1619 or q?
-1619
Let o(l) = 35 - 30 - 5*l + 12. Let u be o(8). Is u greater than -23?
False
Let r(j) be the third derivative of -j**6/40 - 2*j**5/5 - j**4/24 - 14*j**3/3 + 11*j**2 - 2. Let q be r(-8). Is q less than or equal to -22?
False
Suppose 27*o - 26*o = -15. Let y(g) = -g**3 - 15*g**2 - 2*g - 22. Let v be y(o). Suppose -3*k + 7 = -2*k. Are v and k unequal?
True
Let l = 159042/157 + -1013. Let i = 68 + -69. Are l and i unequal?
True
Let g be 970821/37542716 + 2/(-82). Is 1 at most as big as g?
False
Let s be ((-21)/27)/(9088/(-768)). Which is greater: s or -1?
s
Suppose p - 1 = 0, 4*p - 69 = -2*f + p. Suppose 3*m + 32 = r, -2*m - 4 = 2. Let v be 11 + r + (-2)/1. Is v less than f?
True
Let s = -89 - -43. Suppose -20*n + 2*n + 324 = 0. Let j be 6/(-9)*-9 + (-936)/n. Does j = s?
True
Let v = -44990 - -44871. Let n be (-1)/(-3) + 7196/(-60). Which is smaller: n or v?
n
Let g be 558/(-279) + 4*-1. Is 183 at least g?
True
Suppose -996*y + 961*y + 67235 = 0. Is y > 1923?
False
Suppose 4*c - 15 = c, 2*u + c - 11 = 0. Suppose 0 = -0*k - u*k + 33. Let o(j) = -39*j + 241. Let g be o(6). Do g and k have the same value?
False
Let b be ((35/(-25))/(4/90))/(13/(-364)). Which is smaller: 883 or b?
b
Suppose 26*q = 30*q + u + 22, 4*u + 16 = -4*q. Let g be (-1)/q + (-1)/(-6)*-4. Which is bigger: g or -8?
g
Let i = 0.56 + -0.06. Let u(b) = 12*b**2 - 1. Let y be u(3). Let j = y - 319/3. Is i greater than or equal to j?
False
Let x = -200.823 + 201. Let c = x + 2.623. Is 1 greater than c?
False
Let f be (-3*10)/(-2)*1. Suppose -4*w + f = 3. Let r = 45952 + -45952.04. Which is smaller: r or w?
r
Let z(r) = -r**3 - 93*r**2 - 379*r - 121. Let p be z(-89). Is 3853/2 > p?
True
Suppose -7126 = -46*b - 893 + 19113. Which is smaller: b or 1/7?
1/7
Let i be (2/4 + -1)/(368/12512). Which is greater: 7 or i?
7
Let t(b) = b**2 - 6*b - 21. Let h be t(7). Let z(f) = f**3 + 13*f**2 - 15*f - 5. Let j be z(h). Let r be (22/2)/((-3)/j). Is -34 smaller than r?
True
Let t = 5912.195 - 5912. Let v = -0.995 - -1. Let k = v + t. Is k at least as big as 17?
False
Let w = -219.01 - 20.99. Which is smaller: -0.4 or w?
w
Let a be (216/(-30))/(1/(-5)). Let r be a/(-9) - (-6093)/22. Let d = -273 + r. Is -1 at least d?
False
Suppose 3*y - h - 19 = 0, 24 = y + y + 5*h. Let s(n) = -341*n - 342*n - 346*n + 8 + 1381*n - n**2 - 350*n. Let u be s(y). Which is smaller: u or -25?
u
Suppose -y + 10 = 4*t, y = -t + 37 - 36. Which is greater: t or 53?
53
Let a = 31963687/41208 - 5/13736. Which is bigger: a or 777?
777
Suppose -387*i + 103426 = -84656. Which is bigger: i or 481?
i
Let w be ((-2414)/(-26))/((-143)/26). Let f be ((-20)/(-3))/((-234)/(-567)). Let i = f + w. Is i >= -2?
True
Let o = -40 + 147. Suppose 6*k + 4*k + 13*k = 2415. Which is greater: k o