- 21325. Which is bigger: k or 1198?
1198
Let l = -11738 + 12286. Which is greater: 2743/5 or l?
2743/5
Let u(n) = -2*n**3 + 64*n**2 - 58*n - 123. Let m be u(31). Is 1/5056 at most m?
True
Let t be 2/12*2/(-13). Let j be (10 - 3 - 2) + 33 + -35 + -3. Is t at least j?
False
Let v = 109/30 - -11/5. Let u be (-26)/39 - (-136)/6. Let t be 9/18 - u/(-4). Are t and v unequal?
True
Suppose 0 = -110*g - 1118 - 202. Let r = 7/1363 - 204541/17719. Is g at most as big as r?
True
Let j = -123 - -132. Suppose -j*k + 40 = -32. Suppose -4*i - 1 - 7 = 3*s, -2*i = -s + 4. Which is smaller: i or k?
i
Let n be (-954)/(-24) - 7/(-28). Suppose -5*q = 5*q - n. Which is smaller: 34 or q?
q
Let a(l) be the third derivative of -2/3*l**3 + 0 + 29*l**2 - 1/15*l**5 - 1/6*l**4 + 0*l. Let y be a(-3). Which is bigger: -30 or y?
y
Suppose -445 = 4*b + 4*h + 383, -4*h = 5*b + 1033. Is b != -202?
True
Let q be (-3130)/(-690) + 80/(-30). Which is greater: q or 2?
2
Suppose 38*q + 132*q - 31317 = 27*q. Which is smaller: q or 220?
q
Let x be ((-38)/(-70) - (-48)/(-120))*7. Is -25/82 greater than or equal to x?
False
Let v = 2677 - 1776. Which is greater: 1/4 or v?
v
Let r be 2831/(-38) - (-7420)/106. Let a = 31 - 45. Let c = a + 10. Are r and c nonequal?
True
Let v = 68378/375 + -547/3. Suppose 5*m = f - 19, -3*f + f + 5*m + 18 = 0. Is f != v?
True
Let s(j) = j**3 + 14*j**2 + 14*j + 16. Let l be s(-13). Suppose 2*r = l*r. Let f = 1/472 + 935/4248. Is f <= r?
False
Let a(u) = 6*u - 5. Let y be a(5). Let v be (0 - 3)/((-50)/(-2 + -8)). Which is bigger: v or y?
y
Suppose 31 = 8*p + 47. Let q be 65/(-26) - (-6 - -1 - p). Which is smaller: q or 5/2?
q
Let s be 224 + -10*(-289)/170. Is 244 >= s?
True
Let a = -0.5 - 3.7. Let m = a - 0.4. Let l = 2.4 - m. Which is smaller: 4 or l?
4
Let m(o) = o**3 + 5*o**2 - 9*o + 42. Let c be m(-8). Which is bigger: -66 or c?
-66
Let c be ((-2250)/60)/(42/(-144) - 0). Which is bigger: c or 129?
129
Let n = 62 - -346. Let i be 0 + (-1252)/n*-3. Let b = i + -55/6. Which is smaller: b or 1?
b
Let k be (-2)/(-8) - (186/(-24) + 9). Is -1/2456 <= k?
False
Let y(i) = -60*i**3 - 3*i**2 + 3. Let w be -5 - (144/6)/(-4). Let c be y(w). Do c and -58 have the same value?
False
Suppose 0 = 25*j - 9*j + 6578 + 2974. Is -597 > j?
False
Let a = 7.68 + 288.32. Is -0.2 smaller than a?
True
Let d(v) = 4*v**2 + 16*v - 18. Let n(x) = -x**2. Let a(q) = d(q) + 3*n(q). Let b be a(-17). Let o be 62/(-12)*1*(b + -1). Which is smaller: o or 9?
9
Let c = -73.83 + 73.93. Let x = 0.09 - 5.09. Which is smaller: c or x?
x
Let q = 2 - 1. Let t = -52633 + 52653. Is q less than t?
True
Let o = -0.42 + 0.23. Let f = o + -0.19. Suppose -79*v + 4*q + 24 = -75*v, -5*q = -2*v + 27. Which is smaller: v or f?
f
Let j(l) = 6*l**2 + 19*l - 45. Let c be j(10). Suppose 134*h - c = 139*h. Is -149 greater than or equal to h?
True
Let n be (-1)/4 + -114*(-3)/(-8). Let b = -33 - n. Suppose -14 = l + 5*v, -l - 2*v = 2*v + b. Is 8 != l?
True
Suppose -8 = -4*n + 28. Suppose 0*b - n*b + 18 = 0. Let w be b/6 - (9 + -8). Is -2 at least as big as w?
False
Let i = 0.9 - 1.6. Let r = 12.7 + i. Let o = 3110 + -46652/15. Which is bigger: r or o?
r
Let j = -1091 + 11970/11. Let k = 301/99 + j. Let l = -495639 + 495638.991. Which is smaller: l or k?
l
Suppose 0 = 3*x, 2*s - 3*x - 5 = 7*s. Which is bigger: 980 or s?
980
Suppose -7 = -3*q + 11*p - 9*p, 4*p + 21 = -q. Let c be 24/(-6) - -2 - 2*q. Is 5/38 at most as big as c?
False
Let r(t) = -3*t**3 + 6*t**2 + 3*t - 9. Let f be r(0). Which is bigger: f or 0.108?
0.108
Let i = -26.02 - -26. Let z = -0.46 + 0.39. Is z less than or equal to i?
True
Let c = -71/4 - 799/12. Let f = 85 + c. Let y be (-101)/404*12/5. Is f smaller than y?
False
Suppose -60911 = 43*s - 15202. Are s and -1068 equal?
False
Let w be 3238/10*(-34)/102. Let o = -343/3 - w. Let r(f) = -f**2 - 17*f - 35. Let c be r(-15). Is o greater than or equal to c?
False
Let o = -3228 - -6100. Is o smaller than 2872?
False
Let z = -407.4 + 403.4. Which is greater: z or 51/7?
51/7
Let c(g) = 4*g**3 + 24*g**2 - 30*g - 63. Let v(w) = 7*w**3 + 50*w**2 - 61*w - 125. Let f(t) = 5*c(t) - 3*v(t). Let a be f(-31). Is a at most 4?
True
Suppose 2 = -11*n + 12*n. Suppose -3*k - 4*v = -2, -3*k - 5*v - 1 = -n. Suppose 0 = -k*l + 5*f - 2*f + 2, -3*l + 2*f = 2. Is -12 smaller than l?
True
Let j = -299 - -899.4. Let h = -602 + j. Which is smaller: h or -1?
h
Let s be 8/3858*(514/(-52) + 1010/101). Which is smaller: s or 0?
0
Suppose -5*g - 123 = h, -h - 3*h = 2*g + 42. Let s = g - -24. Let y = -38/27 - -118/135. Are y and s non-equal?
True
Let t = -24203/2960 + 131/16. Suppose 11*l - 9*l = 6, 5*c - 4*l + 522 = 0. Let h be 2/3 - (-68)/c. Which is bigger: t or h?
t
Let g = 1768 + -1132. Is g less than or equal to 638?
True
Suppose -55*r - 126 = -62*r. Suppose 3*s - 3*p + 14 = p, 5*s = 4*p - r. Let y = 4/165 - 1549/2640. Which is smaller: y or s?
s
Let n = -28770/19 - -87274/57. Do 16 and n have different values?
True
Let m be 241 - (-60*4)/(-16). Which is smaller: 674/3 or m?
674/3
Let r(z) = -10*z**2 + 1. Let y be r(1). Let g be 36/(-44)*39/y + -3. Is g bigger than 4?
False
Let u be -1*1 - 132/(-3). Let s = 546 - 505. Which is greater: u or s?
u
Let w(n) = -1 + 3*n**2 + 2*n**3 + 3*n + 9*n**3 - 4*n**2. Let h be w(1). Suppose -d = 2*c - 2*d + h, 4 = -2*c - d. Do c and -30/7 have different values?
True
Let r(b) = 2*b**2 - 31*b + 561. Let z be r(15). Are 545 and z nonequal?
True
Let s be -57*(3*96/(-18))/(-102). Which is smaller: s or -9?
-9
Suppose 45*y - 44*y - h + 2 = 0, 20 = 5*h. Let c be (y/(-8))/((-340)/8). Are c and 1 nonequal?
True
Let f be 430/16*9/45. Suppose 4*i - 14 = 5*q, 3*q + 10 = 3*i - q. Is f at most as big as i?
True
Suppose 7*j - 3199 = -623. Let q = j - 258. Is 110 < q?
False
Suppose 55*q + 110 = 53*q. Let w = -49 - q. Let r be w/(-4)*(2 + (-1974)/981). Do r and 0 have different values?
True
Let i = 111056 - 437719/4. Let v = i + -1671. Which is greater: v or -44?
-44
Let r be (2/1)/(-1 - -3). Let a = -128516113/630 - -203994. Let z = 4/35 - a. Is z > r?
False
Suppose -5*x + 6770 = 5*d, -d - 41 = -37. Is 1359 less than or equal to x?
False
Suppose 27 = 4*c + 19. Suppose 3*k - 23 = -y, 3*k + c*y + y = 15. Let d be 20*(28/8 - 3). Is d >= k?
True
Let d be (4 + -3)*(-1530394)/222. Which is greater: -6894 or d?
d
Let i = 3.04752 + -0.04752. Which is smaller: -20.4 or i?
-20.4
Let c = 122 - 119. Suppose 16*h = 13*h - c. Let l be (h - 1)/(20/(-400)). Are l and 40 nonequal?
False
Let j(h) = 11*h - 18. Let b be j(0). Suppose 234*q - 231*q = 15, 4*z - q = -69. Are b and z unequal?
True
Let o(y) = 7*y + 128. Let u be o(-20). Let w be (4/242)/(1/(3/u)). Is w at most as big as 1?
True
Let y be (-15125 - 1)*(-20)/3520. Let f = y - 86. Which is smaller: f or 0?
f
Let i(v) = -v**2 - 14*v - 15. Let c(w) = w**2 + 13*w + 14. Let q(d) = 6*c(d) + 5*i(d). Let l be q(-5). Let f be l/9 + (-470)/(-30). Is 16 not equal to f?
True
Let w = 13222128011/995978115 + -1906/217415. Let r = -2/22905 + w. Let h = 44/3 - r. Which is smaller: h or 0.04?
0.04
Let c = 39 - 40.6. Let t = -1.492 - -0.092. Which is bigger: t or c?
t
Let x be ((-4)/25)/(4/(-70)). Let s be ((-7)/(-4))/((15/42)/((-220)/(-154))). Which is greater: x or s?
s
Let o = 9360 + -9744. Which is bigger: o or -389?
o
Let q = -41 - 104. Let s = 144.8 + q. Which is smaller: -1 or s?
-1
Suppose -776 = 5*p + 2794. Are -711 and p equal?
False
Let h = -737036888839/439 + 1678893943. Let a = -5576 - h. Which is greater: 1 or a?
1
Let v = 5365 - 5363. Are v and 156/187 equal?
False
Let m = 42.093 + -0.093. Let n be 27/(-12)*(-8)/30. Is n >= m?
False
Let w be 204/(-85)*((-9)/3 + (-15222)/(-5084)). Which is greater: 1 or w?
1
Let d be -4*1/2 - (0 + 44). Is d equal to 11?
False
Let f be (-3)/(-21)*-2252 + 13*(-34)/1547. Is -328 less than or equal to f?
True
Let g = -316 + 450. Let n = g - 46. Which is smaller: 90 or n?
n
Let o = -15920 + 15920. Which is greater: 0.3849 or o?
0.3849
Let b = 208 - 207.823. Let c = -0.177 + b. Which is smaller: c or 21?
c
Suppose 0 = 3*d + 5 + 7. Let j be ((2 + -1)*d)/2. Let l be 2*(-2)/(-14) + -2. Is l less than or equal to j?
False
Let r be 75/600 + (-118)/(-208). Let p(s) = s**3 - 9*s**2 + 7*s + 10. Let x be p(8). Suppose 5*b - 10 = x*k, 2*k = -2*b + b + 2.