
j
Suppose 0 = -5*i + 2*u + 2*u, -5*u = i. Suppose 6*q - 2586 = -1056. Let a be (q/(-50) - -5)/(2/(-4)). Is i at most a?
True
Let w(s) = s**3 + 5*s**2 - 8*s - 30. Let m = 766 - 770. Let i be w(m). Is i bigger than 11?
True
Suppose -2*d + 200 = 5*a - 248, -3*d = a - 100. Let p(i) = -3*i + 30. Let q be p(-19). Is a at least q?
True
Let q be (-3)/(-2)*(-2 + -5 - -1). Let n = 5/127 - 5232/635. Is n >= q?
True
Suppose 0 = x - 4*t - 238, 7*x = 2*t + 1231 + 305. Is 1 <= x?
True
Let n be (14 + (37 - -6))/(-1). Which is greater: n or -100?
n
Let s = 5195 + -5192. Is -2.351 less than s?
True
Let o(k) = -2*k**2 + 6 - 2 - 136*k + 102*k. Let u be o(-17). Let z = -5 + 5.06. Is z bigger than u?
False
Let x be (18574/6192 - 3)/(2 - 156/48). Is x < 0?
False
Let i = -17935 + 645661/36. Is 0 != i?
True
Let g = -5 - -4. Let y(v) = v - 5. Suppose 0 = 8*m + 28 + 44. Let o be y(m). Which is bigger: g or o?
g
Let m be 1*(2 + 0 + -1). Suppose j = 3*w - 1823, -4*w + 2*j = 3*j - 2440. Let k be 4 - (7 - 1841/w). Which is smaller: k or m?
k
Let r(d) = -4*d**2 + 149*d - 1590. Let f be r(26). Suppose -5*t - 6*x + 2*x - 2095 = 0, 2*t + x = -838. Which is bigger: t or f?
t
Let s(i) = 3*i**3 + 16*i**2 + 11*i - 21. Let t be s(-4). Which is smaller: t or 57/115?
t
Let x = -16 + 7. Suppose 0 = 4*f - 8*f - 3*s - 67, -3*f - s = 44. Let b = x + f. Which is smaller: b or -21?
b
Let n = -73439 + 513788/7. Suppose 2*p = 3*p + 40. Which is greater: p or n?
p
Suppose -6*u + 3*f = -7*u - 8518, -8498 = u - f. Is u > -8504?
True
Let f(g) = g + 41. Let n be f(-17). Let w = -0.936 - -0.536. Which is bigger: w or n?
n
Suppose 607*c - 600*c + 56 = 0. Let j be c/(-110)*(-56 + 11)/(-9). Which is bigger: j or 0.34?
j
Let n(j) = 2*j**3 - 4*j**2 - j + 1. Let i be n(3). Let w be ((-6)/i)/(((-1716)/(-16))/(-13)). Which is greater: w or 0.1?
0.1
Let o = -49225 - -8663623/176. Are o and 3 equal?
False
Let z = 50.094 + -0.094. Let m = 52.1 - z. Let i = -3.6 + 3.5. Are m and i equal?
False
Suppose -2*f - 5 = 4*a - 1, 0 = -2*a - 4. Suppose 5*m = 4*m + f*k - 14, 2*m = -k - 43. Is -18 at most m?
False
Let s be 25/35*1146/5. Let z = s - 164. Are z and -2/7 non-equal?
False
Let h = -445024 - -4010722/9. Which is bigger: 612 or h?
612
Let h be 3665/210 - 2/12. Suppose -4*g + 10*s - 55 = -169, g = -5*s - 9. Which is bigger: h or g?
h
Let p be -2 + 2 + 51/(-354). Let g = -18135263 - -6419892373/354. Let s = g - p. Which is smaller: 27 or s?
s
Suppose -x = 3*k + 13, -x = 2*k - k + 5. Let c be (-16)/(-1272)*(-4)/(-24)*27. Is c greater than x?
True
Let d be 7/7 - (-94520237)/24. Let l = d + -3937280. Let v = l - 1064. Is v bigger than 1?
False
Let g be ((-7532)/(-24))/7*(-8)/34. Let c = g + 32/3. Which is smaller: -4/9 or c?
-4/9
Let r be (-5*(-19)/380)/((-187)/6). Is r less than 0?
True
Suppose 0 = -q + 4 + 141. Suppose -q*l + 152*l - 196 = 0. Is l greater than or equal to 27?
True
Let b = 10 + 6. Let v = 53210 + -53198. Is v < b?
True
Let t(p) = 2*p**2 - 20*p - 19. Let y be t(11). Suppose y*i - 5*d = -69, -4*d + 0*d = -12. Let h be (1/((-4)/i))/((-20)/(-8)). Are h and 3 nonequal?
True
Suppose o + 566 = -3*i, -4*o - 3*i - 1806 - 503 = 0. Let c = -582 - o. Let p be (-2)/(-11)*4/(-2). Which is smaller: p or c?
c
Suppose 2*v + 4 = -o, -3*o + 16*v = 12*v - 28. Let u be 5/o*(-30)/(-3175). Is u bigger than 0?
True
Let i = -20 - -12. Let s = -4683 + 9353/2. Which is smaller: s or i?
i
Let t = 2 - -11. Let h(q) = 2*q - 21. Let u be h(t). Let f be 12/u - (-4 + (-22)/(-5)). Is 4/7 > f?
False
Let a = -0.096 + 0.126. Let l = 45.85 + -57.85. Which is bigger: l or a?
a
Let b(s) = 15*s + 22. Let u be b(0). Let g = 19 + u. Which is bigger: 4 or g?
g
Let x be 0/(-1 - -2 - -1). Let r = -2/575 - 216/4025. Is r < x?
True
Let h(b) = 2*b**3 + 12*b**2 + 161*b + 1654. Let g be h(-11). Are -5311/4 and g equal?
False
Let b = 541 - 543.53. Let n = -0.53 - b. Are -0.026 and n nonequal?
True
Let v(c) = 12*c**3 + 6*c**2 + 21*c + 30. Let j be v(-2). Suppose -100*k - 84 = -99*k. Is k not equal to j?
False
Let k be (-1744695)/(-315) + -5 + 259/49. Which is smaller: 5541 or k?
k
Let t be (16/(-2))/(-1) + -3. Suppose -5*a - 9 = t*p + 1, 5*p = -2*a + 2. Let y be 1494/1584 - (-1)/(-8). Which is smaller: y or p?
y
Let r be (54/(-530))/((-27)/(-180)). Suppose 5*b - 2*x = -2, -b - 2*b = x + 10. Which is smaller: r or b?
b
Let m be (-1)/4*13 + 2. Let h be -1 + 42/6 + 152/(-24). Is m less than or equal to h?
True
Let u be 2/6 + 807/(-2367). Let t = -18826 + 18825. Which is smaller: t or u?
t
Suppose 40365 = 3*c + z, 40347 = 3*c - 129*z + 124*z. Is 13455 greater than c?
True
Let l = 532 - 588. Let r = l - -192. Are r and 136 equal?
True
Let j be -3422 - (-18)/(4 + -10)*2. Are j and -3428 nonequal?
False
Let j be 0 - (-266)/8 - 24/96. Suppose 23 = -2*y + j. Is 5 less than or equal to y?
True
Suppose -250 = 6*s - s. Let z be (-1)/(-4) + s/136. Let h = 2867 + -2866. Is z at least h?
False
Let o be (-9)/15*-1 - 84/15. Let r = -2/687 + -10297/2748. Are r and o equal?
False
Let r = 97.9 + -96.847. Let a = r - 0.67. Which is smaller: a or -0.1?
-0.1
Let p(k) = -2*k**3 - 4*k**2 - 8*k - 28. Let y be p(-4). Let g be (65 - y)*(-5)/6*2. Is 2 equal to g?
False
Let l(v) = 2*v**3 + 32*v**2 + 2*v + 32. Let y be l(-16). Suppose y = -g - 1172 + 1192. Which is greater: g or 30?
30
Suppose 4*a = 1246 + 4354. Suppose 0 = 6*n - n + a. Let y be 130/n - (-1)/4. Is y smaller than 1?
True
Let m be ((-6)/(-45))/((-1)/(-5)). Let k = -3.4396 + -0.0604. Which is greater: m or k?
m
Let h = 44639 - 1428757/32. Is -11 greater than h?
False
Let y be (-3 + (-93)/(-15))/((-10)/(-75)). Suppose y*f + 102 = -66. Do f and -3 have the same value?
False
Let r = 250863/13 + -19425. Suppose -384 = -19*k + 16*k. Let z = r + k. Which is smaller: z or 0.07?
0.07
Let r(v) = 3*v - 70. Let l be r(23). Let a be 1 - 7 - ((-79)/15 + 18/(-45)). Is l smaller than a?
True
Let c = 12017/3 + -3998. Let m = 7 + -20. Let z = m + 22. Which is greater: z or c?
z
Let v be (-2712)/(-60)*55/(-2)*-5. Is v smaller than 6215?
False
Let m(l) = -24*l - 2. Let k be m(-3). Let s be -16 - ((-462)/6 + 180/(-30)). Which is bigger: k or s?
k
Let d = -980 - -797. Let c be (-4)/330*-11 + d/360. Let b = -1 + -2. Is b < c?
True
Let a = 608 + -139. Let g be (-1)/4*a/(-28) + -3. Is 1 at least g?
False
Let x be -3*(-21)/(1890/40)*(-18)/(-9892). Is 0 > x?
False
Let b(h) = -h**2 - 2*h + 32. Let a be b(-6). Suppose -a*u = 6 + 34. Suppose 4 + 10 = -5*k + d, -5*k - 30 = -5*d. Is u equal to k?
False
Suppose 5*r - 24733 = 2*r - s, 0 = -3*s - 24. Is 8246 smaller than r?
True
Let h be (1/2)/(495/(-100) + 5). Let q be (14/4025)/(2/h). Let y = 3 + -2. Is y at least q?
True
Suppose -4*w - 3*g + 40 = -g, 2 = -g. Let l(i) = -17*i - 26. Let s be l(-3). Suppose -s*d + 12 = -24*d. Is d < w?
False
Let s = 1247 - 840. Let m = -397 + s. Which is greater: m or 0.5?
m
Suppose 600 = -c + 637. Suppose j + c = 5*w - 8*w, 22 = -2*w - 2*j. Is -72/5 at least as big as w?
False
Let w(g) = -15*g - 875. Let p be w(-44). Which is smaller: -211 or p?
p
Let a = -258734/9 - -28748. Suppose 0 = -5*q + q. Is q equal to a?
False
Let v(x) = -x**2 + 7*x - 7. Let t be v(5). Let w(m) = -4*m - 18. Let s be w(-5). Suppose 2*a - t*g = -22 - 7, -s*a - 3*g + 1 = 0. Which is bigger: -4 or a?
-4
Let b = 28 - 28.18. Let d = b + 0.94. Let r = d + -0.71. Is r greater than or equal to 0?
True
Let t = 974 - 973. Which is smaller: 4/31 or t?
4/31
Let s(l) = -l**3 + 18*l**2 + 39*l + 28. Let r be s(20). Let c be (24/18)/(r/(-12)). Is c < 30/11?
True
Suppose 6*c + 9529 - 5851 = -10032. Do -2285 and c have the same value?
True
Suppose 3*z + 419 + 1186 = 0. Let k = z - -13377/25. Is -2/5 greater than k?
False
Let l be (3 - 7)*-2*1/(-2). Let c be (14 - 0) + 7/(7/l). Which is bigger: c or 9?
c
Suppose -3*f + 2*f + 2 = 0. Suppose 0 = f*g + 3*g - m - 10, g = m + 2. Let i = 9923/5 - 1983. Is i bigger than g?
False
Let l be 8/14 - (186/(-42) - 3). Suppose l*o - 3*o = -175. Which is greater: -38 or o?
o
Let l be 2 - 18 - -16 - -1*203. Which is greater: l or 202?
l
Let k = -612.120246 - -0.045246. Let d = 612 + k. Which is smaller: -1 or d?
-1
Let q be (((-22633)/(-4))/13)/(6/360*-5). Which is smaller: q or -5224?
-5224
Let x be ((-52)/143)/((-452)/22). Which is smaller: 1 or x?
x
Let a be (-16)/18 +