 c?
c
Let t = -16103 - -16110. Which is smaller: 151 or t?
t
Let q be (-18)/(-81) - (-2)/((-35784)/7522). Let t = q - -9/71. Which is greater: 0.7 or t?
0.7
Let u = 33811 + -34489. Are -693 and u nonequal?
True
Suppose -133*u + 230 = -123*u. Which is greater: 24 or u?
24
Let o(u) = -u**2 - 11*u + 993. Let q be o(20). Is 365 at most q?
True
Let t = -0.072 - 8.618. Which is smaller: -0.2 or t?
t
Let l be (-3)/((-3)/(-2)) - (4 - (-1476 + -22)). Is l less than -1504?
False
Suppose 28*p + 4 = -24. Let z = -137634/323219 - -2/6877. Is p less than or equal to z?
True
Let f = 1472 - 5891/4. Is 388 greater than or equal to f?
True
Suppose -9*o + 32 = 5. Let b be o/(-1)*(-112)/(-3) - -3. Let p = -181 - b. Do -72 and p have different values?
False
Let j = 25346 + -25346. Is j greater than or equal to -2/28869?
True
Let f(v) = 18*v - 101. Let p be f(6). Suppose -4*m = -p*m. Let y be 2/78*(-2)/6. Which is smaller: m or y?
y
Suppose 4*w - 230 = -722. Suppose 6197*y - 6214*y - 2074 = 0. Is y less than or equal to w?
False
Suppose -8*z + 5125 + 13547 = 0. Which is smaller: z or -0.1?
-0.1
Let q = -1517 - -1513. Which is smaller: q or 3/220?
q
Let z(s) = -s**3 + 6*s**2 + s + 6. Let a be z(8). Let j = 568/5 + a. Let l = 6602 + -6605. Which is greater: l or j?
j
Let b = -8115 - -8105. Let t = 0.11 + -12.11. Let a = t + 11.6. Which is smaller: b or a?
b
Suppose 0 = 2*r + 2 - 12. Suppose a = 4*c + 20, -2*a + r*c + 38 = 10. Let i be (-3)/((-156)/(-148)) + (a - 1). Is i less than or equal to 22?
True
Let i be (2/(-14))/(-17 - (-13283)/777). Let h(z) = z**2 + 4*z - 1. Let q be h(-4). Which is bigger: i or q?
q
Let b = 5.3 + -10.1. Let m = 1/31229 - -31226/93687. Which is smaller: b or m?
b
Suppose 49*h = -4*h - 901. Let d(j) = -j**3 - 16*j**2 + 32*j + 10. Let b be d(h). Does -245 = b?
True
Let k be (9 + (-2 - 2))/(10 + -9). Suppose -k*h = -3*q + 109, 2*q + 4*h - 102 = -0*q. Which is greater: 1/6 or q?
q
Let h = 67045/78 + -5497/6. Which is smaller: h or -58?
-58
Suppose 4*i = -4 - 16. Let x be (-20)/i + (-28)/6. Let p = 15.175 - 0.175. Does x = p?
False
Let j = -40 - -47. Let s = j + -2. Suppose 2*m + s = m. Which is smaller: -2/5 or m?
m
Let k be ((-2)/6)/(2/6). Let x(h) = h**2 - 36*h + 336. Let y be x(25). Suppose -4*i + 4 = -4*c, -56*c + i + 11 = -y*c. Is k >= c?
True
Let x be (-213)/9*27/18. Let p(w) = w**2 - w - 35. Let a be p(0). Which is smaller: x or a?
x
Suppose 2*l = -3*d - 135, 4*d - l + 166 + 3 = 0. Which is smaller: d or 3?
d
Suppose 0 = 5*k - 15, 0 = 4*g - 24*k + 23*k - 6649. Are 1662 and g equal?
False
Let t(u) = 4*u - 30. Let h be t(10). Suppose 15*j = 10*j + h. Suppose -2 = -j*c - 18. Which is smaller: -6 or c?
c
Let f = 31 - 27. Let o be 2*9*2/f. Let g = 135 - 129. Is g at least o?
False
Suppose -s + 22690 = -0*a - 2*a, -5*s - 3*a + 113489 = 0. Let o be (-3)/6 - s/204. Let m = o + 335/3. Do m and -1 have the same value?
False
Let w = 7004 + -7003.91. Which is greater: w or -23?
w
Let k(p) = -561*p - 131 + 538*p + 3*p**2 - 4*p**2. Let s be k(-13). Which is smaller: 3/74 or s?
s
Suppose 5*f = 4*p - 9069, -1 = 7*p - 8*p. Is f less than or equal to -1813?
True
Let i be -5 + 14 - (-413190)/(-41056). Let q = 2/1283 + i. Is 0 less than q?
False
Let t = 34 - 31. Let u be -30 + (20/12 - t/(-9)). Let s = u - -31. Is 4 at least s?
True
Suppose -5*j + 20 = 0, 32 = -0*v + 2*v + 4*j. Let g = 29 - 17. Suppose -g*z = -v*z. Do z and -2/31 have the same value?
False
Suppose i = -4*i + 10. Suppose 4 = 2*w, -30 = -i*m - 4*w + 26. Suppose -17*y + 19*y = -m. Is y at most as big as -12?
True
Let j(o) be the second derivative of 0 + 1/20*o**5 - 39*o - 5/2*o**2 + 4/3*o**3 - 7/12*o**4. Let l be j(6). Which is smaller: 8 or l?
l
Let a = 355 + -353. Let y be 0/(2 + 0*a/(-8)). Is y not equal to 9/22?
True
Suppose 276 = 4*x - 5*x. Let o be (-112)/x + 2/(-3). Let z(a) = -16*a - 449. Let s be z(-28). Is s greater than o?
False
Suppose -4 = 2*q - 5*m + 16, -6 = -3*m. Let p(l) = -9*l**3 + l**2 - l + 9. Let k be p(q). Let v be (-2 - 2) + k/290. Is 0 at most as big as v?
True
Let i be (-11332)/(-60) - (-16)/120. Let w be 6/16 - 620/800. Is w <= i?
True
Let m = -115 - -118. Let k = -6.882 + -0.118. Let c = 6.5 + k. Which is smaller: c or m?
c
Let f be (-2)/5 - 0 - 338/2405. Let o = f - -817/1443. Let c = 4 + -4. Is o <= c?
False
Let z = 412 - 411.981. Let a = 6.019 + -6. Let f = z - a. Which is greater: 12/17 or f?
12/17
Let a be ((-7)/(-2))/(2248/(-16)). Let j = 579/45803 + a. Is j smaller than -1?
False
Let l(c) = -c + 111. Let d(u) = 111. Let t(b) = -2*d(b) + 3*l(b). Let v be t(34). Is 11 equal to v?
False
Suppose 2*f - 23 + 7 = 0. Suppose -f = 2*u, -u + 2080 = -5*q + 4*u. Let b = q - -5464/13. Which is bigger: 1/6 or b?
b
Let x = 23 + -18. Suppose 3*g = -x*v + 93 + 26, 5*g - 15 = -v. Suppose 5*j = 4*s - 88, 2*s - 5*j + j = 38. Is v greater than or equal to s?
False
Suppose 4*q + 3*c = -95, 3*c + c + 14 = -q. Let a(m) = -m**3 + 5*m**2 + 11*m - 18. Let y be a(6). Suppose 0 = -u - 15 - y. Which is smaller: q or u?
u
Let w = -3.2 + 3. Suppose -49*j = -45*j + 528. Let t be (-15)/4 + j/(-22). Which is bigger: t or w?
t
Let o = -351/133 - -42/19. Let p(h) be the first derivative of 5*h**2/2 + 25*h + 370. Let n be p(-6). Which is bigger: o or n?
o
Let g be 1586/(-183)*-1*1098/60. Which is smaller: 159 or g?
g
Suppose -13*i + 7*i = 3*v - 42, -3*i + 6 = 0. Let r be 260/(-221)*4/v. Suppose -4*s = -4*y - 2*s + 4, 4*y = -4*s - 8. Is r less than y?
True
Let s = 29 + 23. Let w = -51.9 + s. Let l be 43 + -30 - (-1*2 + -1). Is w > l?
False
Let z = 6 - 3. Suppose -4*k + z*i - 2 = -25, 3*k + 5*i = -19. Let d(r) = 19746*r - 39489. Let y be d(2). Which is greater: k or y?
y
Let u be 5104/(-6) + 1/(-3). Let k be -18731*20/440 + (-4)/(-22). Let n = k - u. Which is greater: n or 1?
1
Let o be -1 - -3 - (-4 + 2). Suppose k = -3*k + 20, -o*b + 7 = 3*k. Let i = -17933/8 - -2239. Does i = b?
False
Let j = 3048 + -3048. Is 2629 not equal to j?
True
Suppose -5*b = 5*z - 2*b, -5*b = -4*z. Let f be ((-3)/(-28))/(49797/3521). Is f > z?
True
Let p be (-4056545)/(-36)*(3 - (-482)/(-154)). Let a = p - -14634. Do a and 0 have the same value?
False
Let f(d) = 5*d**2 - 10*d - 54. Let r(y) = -2*y**2 - y - 2. Let i(k) = -f(k) - 3*r(k). Let u be i(-5). Which is bigger: u or 21?
21
Let h = 5 + 37. Suppose -g + 3*n + h = 0, -3*g - 49 = n - 175. Let c = -128/3 + g. Which is smaller: c or 3?
c
Let g be (47/(-6) - -8)/(-4*6/435384). Is -3025 > g?
False
Let n = 3562 + -3562.0527. Is 0.07 < n?
False
Let d = -0.354 + 0.059. Let b = d - -14.995. Let n = 14.5 - b. Is n < 0.22?
True
Suppose 15 = 3*p - 9. Let o be (9/(-102))/(3/p). Let x be (-42)/70 + 16/(-40)*12/(-8). Are o and x equal?
False
Suppose 3*h - 585 = -2*g, 4*h - 12 = -0*h. Suppose 7*q - 12*q - 72 = f, -4*f + 4*q - g = 0. Which is smaller: f or -73?
-73
Let r(u) = 4*u**2 + 17*u - 42. Let y be r(3). Let k be y/(-27) + 17/12. Let o = -1.9 + -17.1. Which is smaller: k or o?
o
Suppose -44*n + 2*j - 260 = -39*n, -2*j = 0. Is -50 equal to n?
False
Let u be 1/11 + (3 - 4). Suppose -9 - 71 = 5*c. Let i = c - -14. Is i <= u?
True
Let d be 2/27 + 6/((-12960)/(-1136)). Is d at least as big as 60?
False
Let d(s) = -296*s**2 + 43*s - 30. Let o be d(5). Is -7215 at least o?
True
Let v = 3/4277 + -2707389/68432. Which is greater: -40 or v?
v
Let q(i) = i**3 - 25*i**2 + 39*i - 9. Let x be q(23). Let j be (3/2)/(51/x). Are -56/15 and j nonequal?
True
Let x = 73.75781 - -0.02219. Let r = 2.22 + x. Is 2/5 less than or equal to r?
True
Let u be (4/(-9))/((9/13743)/1). Let h = u - -679. Let w = -2 + -5. Which is smaller: w or h?
w
Let s(z) = -z**2 - 11*z - 27. Let m be s(-7). Let r be 4 + -1 - 33/m. Let y = r + 30. Which is smaller: -1/60 or y?
-1/60
Let l be (4 - (1 - 2))/(-14*1/404). Is l smaller than -143?
True
Let w(n) = 2*n**3 - 113*n**2 + 172*n + 116. Let y be w(55). Is 499 bigger than y?
False
Let y(a) = -a**2 - 41*a + 42. Let j be y(1). Suppose j = 5*f + w + 1108, -4*w + 896 = 5*f - 9*f. Is -222 greater than f?
False
Let l be (-8 + 490/60)*(-90)/(-33). Which is bigger: -5 or l?
l
Let t be ((-1)/15)/((-102)/510). Which is smaller: t or 806?
t
Suppose 4*o = -149*h + 145*h + 24, 0 = 4*h - 2*o + 12. Let b = -5079944/623 - -8154. Is b <= h?
True
Suppose -j + 2*k + 1 = -1, 0 = -2*j - 4*