8*q - 45*q - 5*s = -33*q - 450, 0 = 3*s - 18. Is q smaller than w?
False
Let i(f) = 3*f**3 - 2*f**2 - f + 5. Let o(x) = 2*x**3 - x + 1. Let s(u) = -i(u) + 5*o(u). Let d be s(-3). Is 0.1 > d?
True
Let w = 65 - 41. Let k = w + -23.9. Let i = -29.014 + 0.014. Are i and k equal?
False
Suppose 10*s = -2*f + 12*s - 108, s = 3. Which is bigger: -301/6 or f?
-301/6
Let x be (432/(-1152))/((-27)/(-12)) + 13/6. Let i = -123338/15 + 8226. Which is bigger: x or i?
i
Let z(y) = 2*y**3 + 2*y**2 + y + 2. Let x be z(-2). Let d be (-198)/(-51) + (-2)/(-17). Let l be -3 - 2/d*x. Is l at most -5/11?
False
Let b = -321 - -626. Suppose 4*z + 447 = -3*j, j - 14 = 3*z + b. Is -109 > z?
False
Let i be (-1266)/16*204/(-459)*2. Is -3 < i?
True
Let t = -135 + 132. Let m be (t - 5/(-5)) + 1. Let l be (-14)/21 + (-104)/(-165). Is l at most m?
False
Let v = 28 - 30. Let f = 31 - v. Suppose -16 + 50 = b. Which is smaller: f or b?
f
Suppose -5*h + 161 = -3*b, 0 = 5*h + 5*b - 56 - 129. Suppose -j - h = 8. Let o = 45 + j. Is o less than 14/5?
False
Let x be (3 - 4) + -1 + 0. Let d = -23059 - -207509/9. Which is greater: x or d?
x
Let c = -12.33 - -2803.33. Which is bigger: 2/3 or c?
c
Let p be (-14677)/11 - 42/(-154). Are -2665/2 and p unequal?
True
Let j(a) = 2*a**3 - 2*a**2 - a - 1. Let f be j(-2). Let u be ((-4)/(-8)*-1)/(4/168). Let t be ((-14)/u)/(1/(-36)). Which is bigger: t or f?
f
Suppose -4*g + 5*g - 379 = -3*o, 2*o + 4*g - 266 = 0. Suppose o*x = 133*x - 168. Are -0.1 and x nonequal?
True
Let f = 8556 - 8556.1. Which is bigger: f or -1776?
f
Let j(l) = -23*l - 3. Let v be j(3). Let n = -1 - -2. Let t be n*(2*-1 - v/32). Which is smaller: t or 0.7?
t
Let b = -738 - -755. Which is smaller: -46 or b?
-46
Let n(x) = -x**3 - 71*x**2 + 2628*x - 27. Let s be n(27). Let p be 3*514/3*-1. Is p <= s?
True
Let s be (2 + -6)*((-3045)/60 - 33/44). Which is smaller: 2260/11 or s?
2260/11
Let u(m) = 9*m + 143. Let f be u(11). Suppose -b + 3*h = -251, -h + 111 = -b + 356. Is f less than b?
False
Let a = 3.35 - -245.65. Let i = -260 + a. Which is smaller: i or 8?
i
Let j be 60/(-9)*12/150*-5*-18. Which is smaller: j or -29?
j
Let d = 9581 + -9580.91. Is d at most 350?
True
Let a(g) = 3168*g**3 - 2*g**2 - 4*g + 6. Let d be a(1). Let p = 22126/7 - d. Suppose m + 6*s = s - 16, -6 = 3*m + s. Which is smaller: m or p?
p
Let x = -172 - -177. Suppose -x*f + 176 = -149. Is f greater than 464/7?
False
Let a = -273 - -1369/5. Let l = -13 + 12. Let g be 6 + -9 - 3/l. Are g and a nonequal?
True
Let v = 0.3 + -0.49. Let y = -0.002795 - -0.042795. Is v < y?
True
Let p = 1.33 - -0.62. Let a = 0.05 + p. Let d = -435694.5 + 435694. Are a and d nonequal?
True
Let u(q) = q**3 + 20*q**2 - 35*q - 294. Let r be u(-21). Which is bigger: r or -1376?
r
Let j = 2/563 - -1092/9571. Are j and -473 non-equal?
True
Let a = 22.171 - 0.171. Let w = 59 - 82. Let d = w + a. Do 9 and d have the same value?
False
Suppose -v - x + 4 = 0, 3*v - x = 8*v. Let y = 19772/5 - 3956. Do y and v have the same value?
False
Let i = 15372 + -61487/4. Is i greater than or equal to -825?
True
Let m(z) = z**2 - 13*z - 20. Suppose -5*h = -2*k - 28, h - 16 = 5*k - 2*k. Let i(n) = -n. Let v(g) = h*i(g) + m(g). Let r be v(19). Is 16 smaller than r?
True
Suppose -3*c - 5475 = 52*m - 50*m, m + 2754 = 4*c. Is m > -2745?
True
Let a be (1046935/95445 - 1) + -8. Let x = a - 124/63. Is 0 less than x?
True
Let w = 0.41 - 0.01. Suppose -903 = -1752*k + 1773*k. Which is smaller: w or k?
k
Let c be 4*(1 - (-2030)/(-4)). Let m = -1227 - c. Let k = -63120/79 + m. Is -1/4 greater than k?
False
Let c be -14*(-2)/21 - (-556)/6. Which is smaller: c or 42?
42
Let c = -4350/13 + 5204/13. Is c at most 67?
True
Suppose 45 = -3*u + 30. Let g be (u*(-4)/40)/((-1)/48). Suppose 2*w - 16 = v, v - 2*v - 31 = w. Which is smaller: g or v?
v
Let i be (4/2)/(-1 + 3). Let l be (-4)/14 + (-312)/(-651). Let t = -32/155 - l. Which is bigger: i or t?
i
Let d = 0.256 + -0.156. Let q = 0.009 - -18.991. Which is bigger: d or q?
q
Let j(u) = 380*u**2 - u - 3. Let d be j(-3). Suppose 33*h - d = 18*h. Is h at least as big as 228?
True
Let t(k) = k**3 + 47*k**2 + 476*k - 44. Let v be t(-15). Let w be 103/7 + 2/7. Which is smaller: v or w?
w
Let l = 16677 - 15770. Is -0.3 smaller than l?
True
Let y = -223 - -194. Let d = 44 - 16. Let x = y + d. Is 2/41 > x?
True
Let a = -425 + 415. Let u = a - 29. Which is smaller: u or 2/3?
u
Let v be (-2)/(-440)*4/5. Suppose -101 = 391*g - 308*g - 18. Is g equal to v?
False
Let k(i) = -i**3 + i**2 + 2*i - 2. Let x be k(-2). Let d be ((-2)/(-95))/(-4*1/x). Which is smaller: 1 or d?
d
Suppose 8*z - 24 = 5*z. Let j be (-2 + 44/(-8))*(-96)/(-20). Let l be (62/4)/((j/z)/(-9)). Is l at most as big as 31?
True
Let h be (54/4 - 15)*(55/15 + -3). Let p = 620729/270 + -2299. Is p > h?
True
Let g be (((-294)/(-24) - 8) + -5)*24/9. Let v = -13/35 + 283/385. Let o = v + -19/22. Which is bigger: o or g?
o
Suppose -148*r + 72*r = -64*r + 264. Which is smaller: r or -636/29?
r
Suppose 3*d - 2105 - 8420 = -5*f, 4*d - 14101 = 3*f. Which is bigger: 3521 or d?
3521
Let o = -13.237 - -0.337. Let d = -12.9 - o. Let l be (-1)/(1*2/(-10)). Is d < l?
True
Let z = -42.22 - -41. Let j = 2.22 + z. Which is bigger: -5/18 or j?
j
Let a(k) = 100*k + 757. Let m be a(-9). Is -144 != m?
True
Let r(j) = j**3 - 55*j**2 + 159*j - 103. Let x be r(52). Which is greater: x or 55?
55
Let l = 2573 - 2597. Which is greater: 104 or l?
104
Let l be (1 + -272)*-1 - 4. Let q be l/(-45) - 2/5. Let g = 47 + -53. Is g at most as big as q?
False
Let f(k) = -k + 4. Let m be f(4). Suppose 15*q - 57*q = -1680. Suppose x + b = m, -5*b + q = -4*x - b. Which is smaller: x or -4?
x
Let n be 5*(-2184)/(-40) + 1. Is 272 at least as big as n?
False
Let c = -28840954 - -303810608979/10534. Let w = 5/229 - c. Which is smaller: w or 0?
0
Let i be ((-33)/44)/(2/(-16)) + (-40)/8. Which is smaller: i or 3/8681?
3/8681
Let h be (-1)/3 + 50/15. Let v be (-6)/(0 + h) + 0. Let y = 236985.07 - 236985. Is y less than or equal to v?
False
Let s(r) = 4*r - 21. Let q(j) = 7*j - 42. Let p(z) = -3*q(z) + 5*s(z). Let o be p(19). Let b = 182/95 + -6/19. Does o = b?
False
Let i(c) = -c**3 - 77*c**2 - 156*c - 450. Let w be i(-75). Are w and 11724 unequal?
True
Let s = -0.5 - -0.56. Let t = -0.0724 - -9.6124. Let l = t + -0.54. Which is smaller: s or l?
s
Let s be 8/(-20) + (-1176)/15*-6. Let i = s - 4234/9. Is i bigger than 0?
False
Let z = 0 - -1. Let c be 54/3051 - 35064/142380. Is c at least as big as z?
False
Suppose 0 = 2*w + 67 - 73. Let z be -1 + -2 + w/((-15)/220). Are -49 and z non-equal?
True
Suppose -9*j + 35 + 19 = 0. Suppose j*n = -10*n + 16. Is n greater than 2/699?
True
Suppose 5*q - 8*w = 13, 4*q - 66*w + 67*w - 3 = 0. Is 100/143 >= q?
False
Suppose -4*x = 8, -4*t + 0*x + x = -14. Let k(r) = -19*r**t + 13*r + r + 14*r**2 + 11 + 20*r**3. Let b be k(-13). Which is greater: 1 or b?
1
Let l = -55 - 501. Let n = l - -667. Which is smaller: 113 or n?
n
Let h = -12 + 11.44. Let a = -0.24 + h. Let m = 23 + -24. Does m = a?
False
Suppose -23*d + 64*d + 113693 = 0. Which is smaller: d or -2772?
d
Suppose 4*s + 140 = 8*s. Let q = -23 + s. Suppose q = -10*o + 2. Which is bigger: o or -2/11?
-2/11
Suppose 0 = 5*g + 2*g - 2872 - 7572. Is 13418/9 greater than or equal to g?
False
Let z be 136/30 + 3 + (-2)/(-15). Suppose 4*s - 7 - 5 = 0. Let j = s - -5. Is j <= z?
False
Let g be (-54)/(-48) + (-1058)/(-368). Suppose 0 = 4*d - 4*f - 96, 4*d + 4*f = 2*d + 42. Suppose -8 = 5*l - d. Is l greater than g?
False
Let c = -1133.37 + 1229.37. Suppose -r = -0*z + 3*z - 88, z + 2*r - 26 = 0. Let n = -59/2 + z. Which is greater: c or n?
c
Let b(d) = -3*d**3 - 132*d**2 - 165*d - 1549. Let z be b(-43). Suppose y = 4*y - q + 3, -y - 14 = 4*q. Let w be 2*68/(-70) - y. Which is smaller: z or w?
z
Let k = -9602 + 5618. Is -3985 at most as big as k?
True
Let i = -4557/4 + 1145. Let h = -17 - -22. Suppose -15 = -h*w + 2*w. Are i and w nonequal?
True
Let y be ((-29)/(-3))/(8/(-12)). Suppose 3*q + q = -u - 2, -4*u + 5*q - 8 = 0. Let f be 24/((21/u)/7). Is f less than y?
True
Suppose -5*i + 3*i + 54 = 0. Suppose -29*n - 4 = -i*n. Let o be (3*24/45)/(6/30). Which is bigger: o or n?
o
Let g = -208 - -147. Let y = 62 + g. Which is bigger: y or -14?
