ppose -q = -0*q. Let l = -1613 + 754885/468. Which is bigger: l or q?
l
Let n = 26358 + -817256/31. Which is greater: -5 or n?
-5
Let v be (154/(-13321))/((-4)/(-22)). Which is greater: 1 or v?
1
Let p = -2/310697 + 629744/1297159975. Is p < -1?
False
Suppose 113*u - 114 = 110*u. Suppose 3*i = 4*f - u + 307, -5*f = 25. Which is greater: 84 or i?
84
Suppose -5*r = -15, 29 + 7 = 4*k - 4*r. Suppose 2*s + 4*s = -k. Which is smaller: -50 or s?
-50
Suppose -6*x + 0 = -6. Let n be (6 + -5)*(-1)/10. Which is bigger: n or x?
x
Let x(t) = -t**3 + 22*t**2 - 39*t - 21. Let f be x(20). Let n = 1480 + -63644/43. Which is smaller: f or n?
f
Let h = -106544307/4828 - -22068. Do h and -1 have the same value?
False
Let z = -10206 + 9424. Do -1 and z have the same value?
False
Let q = -623/6 + 103. Suppose 7*i - 10 = 25. Suppose -d + 15 = 3*k, -i*k - 9 = -34. Which is bigger: d or q?
d
Suppose 43541*b + 280 = 43561*b. Let l be ((-15)/2)/(3/(-6)). Are l and b equal?
False
Let x = -43736 + 173825/4. Is -280 equal to x?
False
Let r be 16/228*(286/28 - (-4)/8). Which is smaller: 2 or r?
r
Let v(c) = 9*c + 289. Suppose 2*i - 35*x = -33*x - 58, 0 = i - 4*x + 20. Let g be v(i). Let a be 2/(-7) + (-50)/(-28). Which is bigger: a or g?
a
Let f(j) = j**3 - 5*j**2 + 4*j - 6. Let h = 18 + -7. Suppose -h*n + 31 = -13. Let x be f(n). Which is smaller: -5 or x?
x
Let h(t) = -t**2 - 13*t + 4. Let a be h(-14). Let m be (1/a*-3)/((-385)/(-275)). Let i(r) = -r - 5. Let w be i(-5). Which is smaller: m or w?
w
Let m = 17204 - 7311701/425. Which is bigger: m or -3?
m
Let c be -3*(-4)/15 - 1 - 1. Suppose h - 100 = -h - 4*i, -h + 2*i = -58. Let z be -2 + 20/8 + (-15)/h. Is c at least z?
False
Let l be (11914/42 - -13) + 5/(-3). Let m = l + -294. Are m and 0.073 equal?
False
Let o(b) = 2*b**3 - 77660 + 77660 + b + 3*b**2. Let x be o(-1). Which is smaller: -2/1913 or x?
-2/1913
Suppose 5*k + 4*n = -62, 2*n = -2*k - 2*n - 32. Let r = k + 12. Suppose -j = -r*j - 1. Does j = -2/11?
False
Suppose 10 = 2*r - 7*r. Let j be (r/8)/((-2)/(-56)*-18). Suppose -g = -3*g. Which is bigger: j or g?
j
Let t be (82 - 92)/((-45)/(-11) - -1). Let n = t - -5/7. Are n and 0.8 nonequal?
True
Suppose 3*b + 0 = 2*i - 5, -4 = 4*b. Let a be ((-941)/(-5))/(12810/(-75)). Let u = 5/122 - a. Is i greater than u?
False
Let k be (16 - (-264)/(-18))*3/167798. Does k = 0?
False
Suppose -7*y + 3*y + 6 = -g, -4*y + 62 = -5*g. Let c be g/(-2) - (5 + -1 + -2). Suppose c = 5*p + 2*k, -5*p - 4*k + 5 = -0. Which is smaller: 3 or p?
p
Let d = 0.11413 - -522.88587. Which is smaller: 8 or d?
8
Let t = 187 + -176. Suppose -5*q + 756 = -4*v, -8*v + t*v + 594 = -3*q. Is -195 at least v?
False
Let s be (-144)/(-528) + (-749)/(-77). Let g(o) = 3*o - 4. Let j be g(3). Is s smaller than j?
False
Let g(q) = -12*q - 184. Let y be g(-16). Let a be ((-6)/y)/(29 - -28). Is a >= 1?
False
Let u(l) = -1. Let n(r) = -6*r + 5. Let i(g) = n(g) + 6*u(g). Let h be i(-1). Let v = -7 - h. Do -13 and v have the same value?
False
Suppose c - 3*p + 108 = 0, -5*c + 2*p - 424 = 181. Let x = 106 + c. Let o(u) = -17*u**2 + 2*u + 1. Let m be o(-1). Which is bigger: m or x?
x
Let u(q) = q**3 - q**2 + q - 1. Let b be u(2). Let l(w) = w**3 - 5*w**2 - 3*w + 16. Let r be l(b). Is -1/36 > r?
False
Let a be ((-20)/(-60))/((-50)/15 + 3). Is 2/5519 at most as big as a?
False
Suppose -630*w = -637*w - 9 - 5. Which is bigger: -126/211 or w?
-126/211
Let l = 2793 - 2955. Which is greater: 0 or l?
0
Let y = 613/12 + -1835/36. Let c = 1/60 - 4/15. Are c and y nonequal?
True
Let k(l) = -l**3 - 8*l**2 + 37*l + 36. Let y be k(-11). Let u be 7*y/(-56)*-55. Which is greater: u or -54?
-54
Let j(p) be the second derivative of p**5/10 - p**4/3 + p**3/2 - p. Let q be j(1). Let k = -386/3 - -129. Is q <= k?
False
Suppose -12 = -2*q - 4*n, 2*q - 3 + 1 = n. Suppose -14*j - 72 = -5*j. Let b be ((-2)/(-3))/((-6)/48*j). Is b < q?
True
Let i = -8.8 + 8.8. Is i smaller than 3?
True
Suppose -3*p = -a - 33, -2*a - 5*p + 13 = -20. Which is bigger: -325/46 or a?
a
Suppose -4*j = -2*i + 18, -1689*j = 3*i - 1684*j + 28. Is i >= -64/45?
True
Suppose 0 = -31*a - 1567 - 20071. Is -699 smaller than a?
True
Let v be (-140)/(-9 - 5) - -19. Is v at least 113/4?
True
Let r = -2 - -4. Let j = -38393 - -38399. Which is bigger: r or j?
j
Let r = -4.6 + 5.27. Let t = -2.67 + r. Which is smaller: t or -4/43?
t
Let b = 6914 + -2215. Is 2 equal to b?
False
Suppose 2*y + 5*s = -13, 1514 - 1520 = 2*s. Which is smaller: y or 56/179?
56/179
Let w be (-273144)/(-102) - (-2)/17. Which is smaller: w or 2677?
2677
Suppose 10*s + 4 = 9*s, -2*s = 3*z + 8. Which is smaller: z or 2/8425?
z
Let o be (-1664)/(-2360) + (-12)/45*6/4. Are 1 and o equal?
False
Let k(n) = 127*n + 4573. Let r be k(-36). Are r and -1/13092 non-equal?
True
Let c = 25937 + -25936. Suppose 2*q + 129 = -3*x, 0*q + 291 = -5*q + 3*x. Let b be (-2 - 0) + q/(-26). Is b != c?
True
Suppose 0 = -10*s + 8*s + 54. Let d be (s/(-12))/(497/(-8) + -5). Which is smaller: 0 or d?
0
Suppose -530*v = -98*v + 70848. Is v less than -18?
True
Let p(d) = 58*d + 174. Let j be p(-3). Which is greater: -1/1031 or j?
j
Let a be 10 + -11 - (0 + -25). Suppose -1 = -25*x + a*x. Suppose 4*b = 5*z - 14, 4*b - 5 = z + 5. Is x greater than or equal to z?
False
Let d = -160 + -314. Let m = -302 - d. Suppose 7*a - 9*a + m = 0. Is 87 < a?
False
Let t = 15090 + -15102. Which is smaller: 4 or t?
t
Let a be -11 + 8 + (-3 - -9). Suppose -4*v + 3*r + 321 = -2*r, -4*v = -a*r - 327. Is v greater than 81?
True
Let n be (19/(-361)*-19)/(-17827). Which is greater: n or 0?
0
Let y be (1 - 0)*(-1)/21. Suppose s + 60 = d + 24, -d - 2*s + 30 = 0. Suppose 22*x + 13*x = d*x. Is y smaller than x?
True
Let x = 289 + -428. Let l = x + 139.1. Suppose 2*a + d + 1 + 8 = 0, -5*a - 15 = d. Are a and l nonequal?
True
Let y = 2848384/59 - 48274. Which is smaller: y or 5?
y
Suppose 3*c + 20 = 4*g, -c - 3*c - 3*g = -15. Suppose -10*u + 7*u + 5*b + 1184 = c, -u + 393 = -2*b. Is 404 at least as big as u?
True
Let v = 2206 - 2193.848. Let j = v - -0.848. Are j and 2 non-equal?
True
Let h be (-1)/5 + -2 + 55437/(-15). Let v = 130896/31 - 176606/341. Let w = v + h. Which is bigger: 8 or w?
8
Suppose 506 - 718 = -53*r. Let l be 3/(-3)*1 - 19. Is r less than l?
False
Let x(b) = -2*b - 6. Let v = 162 - 178. Let p be x(v). Is p at most as big as 26?
True
Suppose 11 = -3*x + 2. Let u be -2 + (2 + x - 890). Let v = 70548/79 + u. Which is smaller: v or 0?
0
Let j(m) = m**2 - 6*m + 35. Let x be j(13). Let t be 354/x + (-2)/3. Suppose 0 = 3*f - f - 4. Which is smaller: t or f?
f
Let b = -38.4 + 35.4. Let l = 14 + -18. Let r = -1 - l. Is b at most as big as r?
True
Let u be -2 + 36/21 - (-848)/28. Suppose 96*y = 91*y - u. Which is smaller: -61/9 or y?
-61/9
Let v = 382 - 617. Let p = v + 234.52. Which is smaller: p or 0?
p
Let n = -5.7267 - -2.7785. Let v = n + -0.0518. Which is greater: v or -85?
v
Let m(h) = -617*h**2 + 166*h - 631. Let q be m(4). Which is greater: -9838 or q?
-9838
Let r = 1313 + -1721. Is r <= -408?
True
Suppose 5*u = 7*u - 8. Suppose -s = l - 1, -2*l + u = -0*s + 4*s. Let n = -26/27 + 548/513. Is n > l?
True
Suppose 20*w - 573 = 55*w - 1483. Is w at most as big as 71?
True
Let q be 2 - 2 - 3 - 45241/(-15071). Let i = q - -5875/314338. Let c = i - 757/1314. Is c less than -2?
False
Let i(u) = -4*u**2 - 107*u + 91. Let y be i(-25). Which is bigger: 267 or y?
267
Let y = 123 + -15. Suppose -8*j + 2*j - 6 = 0. Let w be 237/y + -2 - j/(-6). Is -1 >= w?
False
Suppose 97 - 201 = 2*k. Let b be (1/(42/k))/(2/(-3)). Which is smaller: b or 1?
1
Let t(v) = v**3 + 12*v**2 + 13*v + 22. Let u be t(-11). Let l(d) = -12*d**3 + 2*d**2 + u*d**3 + 159 - 160. Let y be l(1). Is -10 > y?
True
Suppose 6*v - 2*m - 20 = 5*v, -5*v + 4*m = -70. Let c be 23/3 + (3 - v). Is c bigger than 68?
False
Suppose -12582 = -11*j - 7*j. Let r = -383 + j. Which is bigger: 317 or r?
317
Let j(m) = -61*m - 1658. Let u be j(-29). Is u at least 114?
False
Suppose 46 = 5*n + 2*b - 89, b - 81 = -3*n. Let l be (-6)/n - (-11)/9. Let o be (-130)/(-156) + 2 + (-543)/306. Which is greater: l or o?
o
Let i = -0.12 - -0.1. Let p = -54.96 + 57.96. Which is bigger: p or i?
p
Suppose -2*y = 24 - 32. Suppose -a - z = y*a - 22, 2*a = -z + 7. Suppose -a*i = 8 