 or 12/29?
u
Let p = 8 + -16. Suppose -10*j + 5*r - 60 = 0, 5*r = 3*j + 2 + 9. Let i be 36/31 - (j - p). Is i >= 0?
True
Suppose 0*q = -q - 3*b + 9, 4*q + b = 58. Let c(t) = 8 + 1762*t - 1778*t - 7*t**2 - 7*t**2 + t**3. Let m be c(q). Which is bigger: -5 or m?
-5
Let s = 4.719 + -0.939. Let w = s + -3.72. Is w at most -0.1?
False
Suppose -3630 = -14*v - 2*q, -9*q + 10*q + 785 = 3*v. Which is smaller: 263 or v?
v
Let b = 0.06706 + 0.03294. Which is smaller: -514 or b?
-514
Let b = -817/9 + 3299/36. Let n = -7/36 + b. Do n and -4.9 have different values?
True
Let r = -539.522 + 4.722. Let t = -491 - r. Let k = 44 - t. Which is smaller: k or 0.24?
k
Suppose -29*y + 4 = -28*y. Let f be ((-597)/9)/(y - 78/18). Are f and 199 equal?
True
Suppose -280 - 107 - 29 = -32*a. Which is bigger: a or -51/8?
a
Let h = -13144/25 + 526. Let t(j) = j**3 + 44*j**2 + 89*j + 10. Let o be t(-2). Is o greater than h?
False
Suppose -11*b = -8*b + 24. Let l = 16981/3 - 5658. Which is greater: l or b?
l
Let y be (-1 - (6 + -1))/(-2). Let g be ((-5)/y)/5 + (-4)/3. Let w(x) = 3*x + 16. Let q be w(-5). Which is smaller: q or g?
g
Let u = -6581 - -8878. Which is smaller: u or 3?
3
Let i = 23 + -30. Let c be (-1)/2*10/(-1). Suppose -c*x = -2*a + a - 18, 4*a = 2*x. Which is smaller: i or a?
i
Let a = 22038.9 + -22039. Which is smaller: 10305 or a?
a
Suppose -31*u = 5*n - 34*u + 190, 10 = -n - 5*u. Let i be 6/21 + 438/(-14). Is i at least as big as n?
True
Let u = -11581 - -7872. Let g = 40747/11 + u. Is -5 at most as big as g?
True
Let l = -12732 - -12719. Which is smaller: -35/3 or l?
l
Let q = -869 - -958. Suppose 23 = 66*z + q. Is z at least as big as -8/131?
False
Let i = -131 - -261/2. Let j = -2.7 + 13.7. Let y = j - 12. Is y greater than or equal to i?
False
Suppose 0 = 5*a - j - 6, 12 = -5*j + 32. Let v be a/(-374)*-16*1*-109. Let y = 174/17 + v. Which is smaller: y or 0?
0
Let s be 132/22 - 4316/(-16). Is 275 >= s?
False
Let m be ((-30)/(-25))/(45/(-375)). Is m at least -660/59?
True
Let r = 71551 + -1754215869/24517. Which is smaller: r or -1?
-1
Let a be -6 + 0 + (-322508)/(-53630). Let p = 1/173 + a. Do 0 and p have different values?
True
Let c = 2366 + -4116. Let p be (-2)/7 - 360/c. Let q = -2 - -1. Which is bigger: p or q?
p
Let f(h) be the first derivative of -h**3/3 + 8*h**2 - 21*h - 17. Let t be f(14). Suppose -8 = k + t. Is -15 bigger than k?
False
Let j be ((-3)/(-12))/(1/(-4)). Let h = 0.2437 - 35.2437. Is j less than h?
False
Suppose -137*a - 147680 = 177*a - 274*a. Is -3692 < a?
False
Let b = -6084 + 5695. Is -1/23 > b?
True
Let q(j) = j**2 + 9*j + 9. Let c be q(-9). Let y be -3*((-21)/c - -2). Let t be (-3)/(-12)*(y - 95/(-15)). Which is greater: t or 1?
t
Let n be -5 - 4 - (0 + -816 - 0). Is 805 bigger than n?
False
Let j be 2964/130 - ((2 - 2) + 30/6). Do 0.3 and j have different values?
True
Let s be ((-2)/213)/(3 + 100/(-48)). Let t = -29750/7029 - s. Suppose 0 = 2*v - 4*v - 5*k, 0 = v + 2*k. Is v < t?
False
Let c be (-9)/90 - 14570/(-1700). Which is greater: c or 7?
c
Let m = 0.341 + 0.059. Is 2.3 smaller than m?
False
Let o(k) = -k**2 - 12*k - 31. Let y be o(-5). Is 22/7 bigger than y?
False
Let m = 4275 + -4291. Which is smaller: -151/9 or m?
-151/9
Suppose -2*v = -1 - 1. Let q = 18799 - 1673109/89. Are v and q non-equal?
True
Let o = 21 + -19. Let r(n) = n**3 - 5*n**2 + 1. Let q be r(5). Let m be (q + o)*(-11)/99. Which is smaller: 11 or m?
m
Let r be -5 + (9 - 3) + -2. Let h be (7 - 2) + (3 + -5 - r). Suppose h*a = -2*l + 20, l + l = -8. Which is bigger: 23/3 or a?
23/3
Suppose 0 = -8*u + 3*u + 4*y + 36, -4*y + 44 = 5*u. Let z = -23 + 13. Let v(o) = o**3 + 9*o**2 - 10*o + 7. Let s be v(z). Which is smaller: s or u?
s
Let z be 303041/365100 - (-16)/(-200) - 3/4. Is -1 less than or equal to z?
True
Let p(d) = 181*d - 5430. Let f be p(30). Which is bigger: -5/2668 or f?
f
Suppose 3*c = 2*w + 3 + 23, -c = -3*w - 18. Which is greater: w or -2184?
w
Let b be (-16464)/(-68) - 2/17. Let j = -282 + b. Is j < -40?
False
Let s be -6 + 45/15 + 3. Is -1/7769 <= s?
True
Suppose 0 = -2*k + h + 56, -4*k - 5*h + 84 = -0*h. Let a be 609/22 - (-14)/(-77). Let t = k - a. Is t greater than or equal to 0?
False
Suppose 4*o + 2699 = 2715. Suppose -108 = -3*t - 0*t. Suppose o*v - t = 2*b, -3*b + 2*v + 2*v - 44 = 0. Which is bigger: -34/5 or b?
-34/5
Let j(d) = 10*d**2 + 29*d + 2. Let s be j(-3). Suppose -s*p + 14*p = -36. Let k be ((-1)/p)/(8/128). Is k less than -1?
False
Suppose 696 - 676 = 4*u. Suppose -2*d + 3*d = -3*n + 2, 0 = -u*d - 5*n. Is 2/7 < d?
False
Let n(f) = -f**2 - 8*f - 8. Let o be n(-6). Let w(m) = -m + 5 + 4 - 4 + o. Let i be w(5). Which is smaller: i or 21/4?
i
Suppose -550 = 24*o + 578. Let d = -41 + -7. Are d and o equal?
False
Let m(w) = -2*w**2 + 36*w - 15. Let f(u) = 3*u**2 - 68*u + 31. Let y(p) = -3*f(p) - 5*m(p). Let n be y(-24). Is n smaller than -21?
False
Let j = 36.2 + -37.2. Let n = -4.8 + 0.8. Which is smaller: n or j?
n
Let n(r) = r + 14. Let o be n(15). Suppose 0 = -l - o + 124. Let b be (-4 - l/(-25))*5. Which is smaller: b or -2/5?
b
Suppose -5*b + 78 + 12 = 0. Suppose 0 = 5*s + k - 18, 4*k = 4*s - 2 - 22. Let z be (6/s)/(b/(-324)). Is -25 greater than z?
True
Suppose 4 = -2*p - 44. Let v be p/(-8) + -3 + 0. Let l be 2/129*(-17 - (-4 - 10)). Do v and l have the same value?
False
Suppose -4*d - 3*c = -101 + 21, 5*d + 4*c - 101 = 0. Suppose 3*r = -2*r. Suppose 0*u + u + d = r. Is -16 less than u?
False
Suppose 6*a - 376 = -660 + 368. Is 281/20 bigger than a?
True
Suppose b + 12 = -5*u, 4*b + 2*u - 60 = 9*b. Let r be 18/b + 2 - 38/4. Which is smaller: r or -11?
-11
Let j(i) = i**3 - 47*i**2 + 38*i - 1486. Let c be j(47). Is c at most as big as 2702/9?
True
Let x(g) = g**3 + 137*g**2 - 293*g + 2627. Let z be x(-139). Which is smaller: z or 4717?
z
Let d be ((-7)/(-21))/((-1)/(-6933)). Let s = d + -196432/85. Is s <= 0?
False
Let c = 964 - -1331. Which is bigger: -4 or c?
c
Let c = 0.00656 - -416.95344. Let j = -417 + c. Is 10 < j?
False
Let n = 1324437679/21074 + -62847. Which is smaller: n or -1?
-1
Suppose 39 - 5 = -2*a. Let x = a + 20. Let l be (7/x)/7*-87. Is l smaller than -31?
False
Let y(u) = u**3 + 8*u**2 + 147*u + 951. Let s be y(-7). Which is smaller: 61 or s?
s
Let d(n) = n**3 - 11*n**2 + 16. Let v be d(11). Suppose -v = -w - 0*w. Let t be w/5 - (-11 + 10). Which is greater: 4 or t?
t
Let d = -10737.09 + 10792. Let i = 55 - d. Let w = -3 + 2. Is w != i?
True
Let z be 1/7 + 236/(-14)*-1. Suppose 0 = 2*c - z + 19. Is 1/188 at least c?
True
Let w = 8656/32965 - -1/1735. Suppose -3*b - 5*x = -28, 2*x = -4*b + 8 + 6. Suppose -p = -3*m + 2, 2*m - b = p - 0. Are w and p equal?
False
Suppose 20*j + 360 = 28*j. Let t = 29 - j. Which is greater: -13 or t?
-13
Suppose -j + 12 = 2*z - 0*j, 2*z = -4*j. Let g = 5 - z. Let k be 16/g*21/14. Which is greater: k or -7?
-7
Let i(m) = -30134*m**3 - 39*m + 30133*m**3 + 23*m**2 + 63 - 6*m. Let v be i(21). Which is smaller: -1/32 or v?
-1/32
Let m be ((-2)/7)/((-13)/91) - -1. Suppose 5*w + m*w - 8 = 0. Which is greater: -15/38 or w?
w
Suppose p + 3*p + 52 = 2*o, -5*p - 3*o - 43 = 0. Let v = 31 + p. Are 4 and v nonequal?
True
Let w be 404/(-16) + 3/12. Suppose -50 = 13*o - 0*o + 184. Do w and o have the same value?
False
Let x = 0.8 + 0.2. Let t = -195249/4 + 49568. Let d = t - 756. Which is bigger: x or d?
x
Let w = -3732 - -78341/21. Let z = 8/7 + w. Is -1.02 at most z?
True
Let i be (-18)/(-28)*656/(-6396). Suppose 5*r + 4*c - 5 = 0, -c + 3 - 1 = 2*r. Which is greater: r or i?
r
Let g be 152/10*(0/10 - -10). Let y = g - 124. Is 29 <= y?
False
Let v be 133/(-826)*46/(-185). Let f = 3/59 - v. Suppose 51*h - 92 = -10*h - 31. Is h greater than or equal to f?
True
Let f = 0.039 - -19.961. Let y = 37 - f. Let h = 150 + -299/2. Is h greater than y?
False
Let z = -509129/21 + 151988/7. Is z < -2531?
True
Let w(r) = -33*r**3 - 2*r**2 - 5*r + 6. Let k be w(1). Does -1230/37 = k?
False
Let w = 0.3503 + -0.0903. Let x = -2.4 + 2.51. Let j = -0.01 + x. Which is greater: w or j?
w
Let k(v) = -v**2 - 5*v + 36. Let m be k(4). Suppose 3*x - 9*w + 11*w = -5, -3*x + 2*w - 1 = m. Is x < -4/233?
True
Suppose 2002 = 23*g - 2598. Let v be -3*(-16)/(-77) + g/(-700). Is -2 equal to v?
False
Suppose -5943 - 4749 = -1