l
Suppose -8 = 2*k, 4*g + 4*k - 2*k + 24 = 0. Let w(s) = -2*s**3 - 2*s + 2. Let r be w(g). Which is bigger: r or 0?
r
Let v = -1020.8 - -1019.73. Which is smaller: 54 or v?
v
Suppose 18 = -516*d + 522*d. Suppose 3*w - 2*g - 40 = 0, -w + 3*g = -d*w + 18. Which is greater: w or 5?
w
Let r = 999/4270 + -39/122. Which is smaller: 1 or r?
r
Suppose 120096 + 43796 = -21*n + 5993. Does n = -7519?
True
Let h = 3840701/804 + -4777. Which is bigger: 1 or h?
1
Let z be (6/3)/(-1 + 121/55). Are 16 and z equal?
False
Let n = -192 - -191.33. Let c = -0.33 + n. Which is smaller: c or 0.14?
c
Let q be ((-174)/(-972167))/((-8)/56). Which is bigger: q or -1?
q
Suppose 15*f - 12*f = -p + 19, 0 = 4*f - 4. Suppose n - 63 = -4*m, 0 = -14*m + 13*m + n + 22. Which is smaller: m or p?
p
Let r = 1751 - 1751. Let c be (-30)/(-36)*1/13. Are r and c non-equal?
True
Suppose -4*n + 43 = -21. Suppose -n*m + 25 = -7. Let u be (-1)/(-36) + 6/(-24). Is u at least m?
False
Let o = -4388 + 4389. Which is bigger: o or -1/2223?
o
Let y = 456.05 - 459. Which is smaller: y or -3/13?
y
Let r(t) be the second derivative of 7*t**3/6 - 7*t**2 - 36*t. Let q be r(-8). Let k = 83 + q. Is k less than 0.2?
False
Suppose 3*t + t + 2*y = 24, -t = y - 8. Suppose 84 = 3*a - 5*h, -3*a + 4*a + t*h - 11 = 0. Let m = 18 - a. Which is smaller: m or 4?
m
Suppose 3*k - 2*n + 1 + 4 = 0, -4*k - 3*n = 35. Let j be k/(35/(-4)) - (-132)/308. Are -3/335 and j unequal?
True
Suppose -28*f + 40*f = 0. Suppose f = -9*i + 48 - 39. Is 2/159 greater than i?
False
Let m(z) = -z**3 + 3*z**2 + 4*z + 1. Let k be m(-4). Let u = k + -97. Let b = 66821/660 + -405/4. Is u at most b?
False
Let k = 1075 - 1916. Let b = k + 836. Which is bigger: b or -3?
-3
Let l = 2425 + -2209.4. Let k = l - 136.6. Let b be (4*(-2)/(-4))/(-7). Are k and b unequal?
True
Let t = 1418 + -951477/671. Let b = t - -4007/12749. Let a = -80201/2 + 40101. Which is greater: b or a?
a
Let f = -1 - -2. Let j = 194.36 - 197. Let a = j - -2.84. Is a bigger than f?
False
Let a(u) = -5*u**3 - 47*u**2 - 5*u + 64. Let f(r) = -9*r**3 - 95*r**2 - 11*r + 129. Let w(s) = -11*a(s) + 6*f(s). Let m be w(53). Which is greater: m or -514?
m
Let z = 38 - 37.92. Let v = -1.26 - -0.31. Let c = -0.05 + v. Which is greater: z or c?
z
Let b = -15637 + 48959. Is -1 smaller than b?
True
Suppose 9*b = 12*b + 15. Let t be (11/(-2) - b)*0. Which is bigger: t or 4?
4
Let d be 1097023/(-2338) - (-17)/2. Which is smaller: -460 or d?
d
Let s be (28/186)/((-2)/(-3)). Let g(i) = i**3 - 2425*i**2 + 9688*i - 17. Let k be g(4). Do k and s have the same value?
False
Let d(g) = g**3 + 15*g**2 - 20*g + 8. Let r be d(-16). Suppose 5*y + r = 4*t, -4*y + 6*y + 2*t + 36 = 0. Suppose -6*l + 2*l = 72. Which is bigger: l or y?
y
Suppose 7*y = 3*y - 204. Let q be (-136)/y*(-3)/(-4). Let f = 531/470 + 8/47. Which is smaller: f or q?
f
Let u(n) = 10*n**2 + n + 2. Let w be u(2). Let c = -16 + w. Suppose -l - 2*a + 27 = 0, 10*l - 123*a = -127*a + 270. Do l and c have the same value?
False
Suppose 3*y + 0*y - 1131 = 0. Suppose -48*f = -12358 - 5738. Is f <= y?
True
Let b = 1968 - 909. Let q = b - 946. Which is greater: 111 or q?
q
Suppose -3*v + 23*v - 760 = 0. Suppose -v*t + 16*t = -22. Which is greater: -2 or t?
t
Let p = 616222 - 10178138770/16517. Which is smaller: -1 or p?
-1
Let h be ((-1)/(-18))/(191/(-764)). Let v = -91 - -59. Let b = v - -30.3. Is b smaller than h?
True
Let v = 41 - 35. Let w be (3/(-1))/(v/8). Let i be -22*(-8)/86 - (-2 - w). Is i smaller than -1?
False
Suppose -2*k - 16 = -16. Let g be 44*(-96)/702 - (-11 - -5). Which is smaller: k or g?
g
Let i = -6794095/3 + 104170327/46. Let q = -126 - i. Is q greater than or equal to 0?
True
Suppose 0 = -41*v + 34*v - 28. Let f be v/(160/12) + -12 + 15. Is f less than 3?
True
Let y = -48405 - -48482. Let o(p) = 5*p**2 - 4. Let k be o(-4). Which is greater: k or y?
y
Let r be 9 + 6/(-33) + (-60)/33. Suppose -r - 11 = -9*h. Suppose h*p = -3*p - 8*p. Which is smaller: p or -0.1?
-0.1
Let k(a) = -a**2 + 3*a + 23. Let x be k(-3). Suppose -3*z + 39 = b - 104, x*z + 4*b - 243 = 0. Let n = 84 + -36. Which is greater: z or n?
n
Let x be 22*(-12)/(-24) + -47. Suppose -6*z + z = 15, 2*z = -3*t. Let d be 3*((-9)/x - t/(-24)). Which is smaller: 7 or d?
d
Let p = 19542 + -19542. Let i be (3/(-10))/((-9)/(-4)). Which is bigger: i or p?
p
Let n = 3954 - 3953. Let a = -4/79 + -489/1264. Is a equal to n?
False
Suppose -2*n + 2*p + 14 = 0, -2*n - 2*p + 2 = -p. Suppose 0 = -n*v + 4*v + 6. Let s be (-352)/(-48) - (-2)/v. Which is greater: 4 or s?
s
Suppose -30*t + 34*t = 72. Suppose 25*k = t*k - 7. Let a(f) = 5*f - 3. Let z be a(k). Is z not equal to -6?
True
Let q(t) = t**3 + 4*t**2 + 2*t + 7. Let n be q(-4). Let j be n*((-5 - -157) + 2). Which is smaller: -152 or j?
j
Let z(q) = 2*q**3 - 69*q**2 - 22*q - 6. Let i be z(35). Which is smaller: 448 or i?
448
Let n = 4348 - 4347.926. Let u = 3.2189 + -0.2929. Let x = n + u. Is 8 less than x?
False
Let a be 34*510/(-137696) + (-3)/(-24). Let t = a - 5186/3679065. Is t greater than or equal to -1?
True
Let w = -267 + 325. Let d be w/(-5829)*(-1)/(-2). Is d >= -1?
True
Suppose 8*r - 5*r = 36. Let s(n) = -16 + 0*n + n - 6*n + 3*n. Let x be s(-14). Is r less than or equal to x?
True
Suppose 0 = -6*t + t. Let l = 258553111765195/179826 - 1437796046. Let g = -1/1462 + l. Which is smaller: t or g?
g
Let h be ((-2)/(-5))/(8/3895) + (-99)/132. Is h smaller than 74?
False
Let l be (-351)/468*1/(-3). Is l greater than or equal to 1.723?
False
Suppose -2*a + 3*w + 3 = -5, -5*a + 20 = 4*w. Let g be -7 + 7 - a/(-254). Let d(q) = q - 8. Let k be d(7). Is g less than or equal to k?
False
Let t be (-4)/(-2) + -8 + 15 + -8. Let h be (-8)/6*t/3. Which is smaller: h or -19?
-19
Let o = -15404 + 15371. Which is smaller: o or 159?
o
Let y = 3614 + -3616. Which is smaller: 2350 or y?
y
Let a = -28 - -28. Let x = -179 + 2683/15. Which is bigger: x or a?
a
Let b(d) = 730*d + 190. Let q be b(-1). Is -541 at least q?
False
Suppose 6 = -4*o - 14, -5*o = -2*d + 273. Let n be 11/((-11)/(-20)) - -4. Let u be -5 + d/n - (-2)/(-12). Which is smaller: u or -3/37?
-3/37
Suppose 9162*o = -c + 9165*o + 23, 2*o + 67 = -c. Suppose -2*s - 13 - 45 = 0. Which is smaller: s or c?
c
Let t be 41*((-1)/(-4))/((-32)/(-128)). Is 241/6 equal to t?
False
Suppose -2*a - 9 - 15 = 0. Let w be (-14)/(-21)*a/(-824). Is 1 greater than w?
True
Let k be ((-159)/265)/(13/10). Which is smaller: k or -1/2?
-1/2
Let q be 30/(-4)*32/(-5 + -11). Which is smaller: q or -72?
-72
Let i(j) = 18*j**3 - 39*j**2 - 9*j - 3. Let h(t) = -37*t**3 + 84*t**2 + 18*t + 6. Let b(d) = 6*h(d) + 13*i(d). Let v be b(-2). Is v less than or equal to -93?
True
Let q be (4/48)/(30/(-182496)). Let w = 507 + q. Which is smaller: -1 or w?
-1
Let h(l) = 9*l - 142. Let z be h(15). Let o be 0 + z/((-140)/(-8)). Let q = -0.1 + -0.9. Is q greater than o?
False
Let f(v) = 4*v**2 - 93*v + 222. Let m be f(42). Is m at least 3372?
True
Let o = 152.603 + 5.397. Are -16/5 and o unequal?
True
Suppose -11*s - 211 - 463 = 173. Is 21 >= s?
True
Let y be (593 + -628 - 622/(-18))*186*6/(-8). Suppose 5*t - 198 = 2*t. Are t and y equal?
False
Let g = -166 - -199. Suppose 0 = 4*f + 139 + g. Which is bigger: 0.2 or f?
0.2
Let h = 187.1 - 39.1. Let m = 147 - h. Which is smaller: m or -4/9?
m
Let d be 1/(-3 - 30/(-9)) + -2. Let j be ((-267)/8)/d + 135/360. Let m(k) = 5*k + 13. Let n be m(-9). Which is greater: j or n?
n
Suppose -42*v + 40721 = -397. Which is greater: 980 or v?
980
Let x(w) = 72*w + 1153. Let m be x(-16). Which is smaller: m or -10/93?
-10/93
Let x be 1*(-20)/150 + (-224224)/(-1676955). Which is greater: x or 0?
x
Suppose -2*v + 2*l = -1564, -454*v - 3908 = -459*v + 3*l. Is v <= 779?
False
Suppose -3*l - 65 + 44 = 0. Let f = l - -19/3. Which is greater: 63 or f?
63
Let i = -5548 + 5548. Which is smaller: -1/388 or i?
-1/388
Let p = 255 - 253. Let g be 301/p*(-4)/(-7). Which is greater: 87 or g?
87
Let d(l) = -3*l**3 - l - 1. Let c(f) = -2*f + 7. Suppose -g = -o - 3, 3*g - 7 = 2*o + 2. Let n be c(g). Let t be d(n). Which is smaller: -6 or t?
-6
Let w = -204.641 - -5.641. Do -10 and w have the same value?
False
Suppose 32 = -2*k + 40. Suppose -8 = 3*z + k, -x + 16 = 3*z. Is x at least 26?
True
Let l(y) = -1