ppose k - 19 = 3*i, -3*k + 15 = -4*i + j*i. Which is smaller: -22/3 or i?
-22/3
Let g(s) = 115*s**2 - 47*s + 1. Let v be g(1). Which is bigger: -2/5 or v?
v
Let u = 22.59 + -20.59. Is u > -10026?
True
Suppose -5*h = -507 - 1573. Let a = h - 626. Is -209 <= a?
False
Let v(n) = -n**2 + 288*n + 2963. Let q be v(-10). Which is smaller: q or -281/18?
q
Let p = -0.08 - -1.28. Let z = -0.2 + p. Let u = 96453 + -96452. Is z at least as big as u?
True
Let o = -29.07 - -29. Let v = o - -0.172. Let y = v - -1.898. Is 16 at least as big as y?
True
Let s(d) = -2*d**2 - 17*d - 23. Let l be s(-7). Let a be (-1536)/28 - (45/21 + l). Which is smaller: -53 or a?
a
Let z be (7 - 2756/396)*(1086 - 0). Let i = z + -44. Which is smaller: i or 0?
i
Let f(o) = 2*o**2 + 18*o + 32. Let m be f(-8). Suppose 0 = -8*j + 4*j + m, -b - 52 = -3*j. Is -39 not equal to b?
True
Suppose -3*l + 47 = 5*s, -4*s + 7 = 3*l - 45. Let i be ((-498)/l)/(14/(-8)). Which is smaller: i or 13?
i
Suppose -4*d = -k + 8, k = 5*d - 6*d + 23. Let q = -297 - -315. Are k and q non-equal?
True
Let p = 0.1436 - 0.1436. Is p not equal to 133?
True
Let q = 1.4156 + -2.4156. Which is greater: -287.08 or q?
q
Let p be -1*1*(-62)/31. Suppose 3*u + 101 = 4*r, -3 = 5*r + p*u - 112. Which is bigger: r or 22?
r
Suppose -100 = -3*m + 5*m. Let d = m + 109. Let j be (-5 + 7)/(d*(-4)/(-6)). Which is greater: j or -1?
j
Let i = -1.91 + 0.07. Let o = -1.7 - i. Let m = -2.14 + o. Is m < -1/2?
True
Let n = -12 - -72. Suppose 2*x + 10*x - n = 0. Do x and 19/3 have different values?
True
Let p = -23/560 - -8/35. Suppose -5 = -q - 0*q. Suppose -9 = -3*x - 3*s, s - q*s = -x - 7. Which is smaller: p or x?
p
Let m = 66/26797 - -179591844/669925. Let h = -268 + m. Which is smaller: -2.6 or h?
-2.6
Suppose -1451 = 3*o + 2*l, 20*o = 18*o - 3*l - 964. Let z = -325 - o. Is z not equal to 160?
False
Let x(g) = g**3 - 14*g**2 - 35*g + 102. Let p be x(16). Let c be 2 - 1*(2 - 1). Is p bigger than c?
True
Suppose -33 = 6*j + 39. Suppose -5*a = 3*r - 7, 3*r + 7*a = 9*a - 7. Let c be 4 + -5 - (0 - 7)/r. Which is bigger: j or c?
c
Let p = -4123/2 - -16491/8. Let g(b) = b**2 - 3*b - 3. Let m = -2 + 6. Let z be g(m). Are p and z nonequal?
True
Suppose 0 = -0*o - 2*o + 10. Suppose 4 = 2*j - l, o*j + 5*l = 3*l + 1. Is j less than or equal to -1/63?
False
Let s(b) = -5*b**2 - 285*b + 901. Let m be s(-60). Which is bigger: m or -4/2107?
m
Suppose 3*f - 17 = 3*g - 128, -2*f = 3*g - 126. Let y be (152/34)/(5325/g). Let l = 2/355 + y. Which is bigger: l or 0?
l
Let s = 436.2 - 436.1. Are s and 2811 non-equal?
True
Suppose b + 166 = 4*h - 0*b, 118 = 3*h - 4*b. Suppose 3*t + 15 - 24 = 0. Suppose 0 = -t*p - 6, -21*p - 35 = -a - 24*p. Which is smaller: h or a?
a
Let l(w) be the second derivative of -w**4/12 - 9*w**3/2 - 16*w**2 - 2*w - 114. Let t be l(-18). Which is greater: t or 132?
132
Let o be 1124/(-4) + 1*(2 - 6). Let k = o - -560. Is 276 less than or equal to k?
False
Let a = 1071 + -1076. Are a and 166 equal?
False
Let h = -5739627/583 + 9845. Which is bigger: -1 or h?
h
Let o = 27.4 - 20.2. Let r = o - 7.53. Which is greater: r or -2/3?
r
Suppose 15*s - 4*x = 11*s + 35168, -4*s + 35133 = 3*x. Is 8786 < s?
True
Suppose 0 = 15*q - 2312 + 12467. Which is smaller: -6 or q?
q
Suppose 35*a - 195 = 100*a. Are 431 and a equal?
False
Let p = 2880 - 2880.6. Is -6 != p?
True
Suppose -5*k + 5*c + 7 + 13 = 0, -4*k - 5*c + 52 = 0. Suppose m + 5*d = -97 - 7, -2*d = k. Which is smaller: m or 0?
m
Let p = -71.9 - -10.9. Let q = p + 32. Let h = -1.3 - -1.2. Which is smaller: q or h?
q
Let o = 284 - 233166/821. Let g(m) = 2*m**2 + 279*m + 1083. Let t be g(-4). Which is greater: t or o?
o
Let r(v) = -3*v**2 + 127*v - 43. Let u be r(42). Is 1116 less than u?
False
Let r = 3.93 + -55.61. Let y = 10.76 + r. Let s = y - -41. Which is greater: s or -2/5?
s
Let o = -5.56 - -8.625. Let b = o + -0.065. Let j be -4 + 4/((-32)/(-12)). Which is greater: j or b?
b
Suppose -27 + 0 = -c - 5*w, c = 4*w - 18. Let a(b) = -7*b**c + 4 + 4 + b**3 - 4 - 9*b. Let l be a(8). Is -4/3 less than or equal to l?
False
Let v = -29257 - -29259. Which is bigger: v or 75/86?
v
Suppose -3443 = -10*s - 54*s + 121037. Is 1943 > s?
False
Let c(t) = -5*t**3 + 3*t**2 + t - 3. Let o(v) = -v**3 - 2*v**2 + 1. Let j(x) = c(x) - 3*o(x). Let y be j(6). Which is greater: -109 or y?
y
Let v = -939 + 872. Suppose -6 - 62 = x. Which is smaller: v or x?
x
Let t = 11.11 - -61.89. Which is bigger: t or -5/3?
t
Let h be -15 + 14 + 50/52. Which is greater: 0.8 or h?
0.8
Let u = -1233266/392077 - -497/158. Is 1 smaller than u?
False
Let o = 212972/7 - 30557. Which is smaller: -133 or o?
-133
Suppose 2*x + 3*x - 2*g - 393 = 0, 3*g = -12. Let u = -78 + x. Let o = -8993/15 - -599. Is o smaller than u?
False
Let d be 24/14 - 10/(-35). Suppose 2*v = 2*g - d*v - 32, -4*g + 4*v = -44. Suppose -7*p + g = -9*p. Which is bigger: -4 or p?
p
Let d(f) = -f**2 - 2*f - 46. Let u be d(0). Let x = 52 + u. Let t be ((-4)/(-20) - 18/(-10)) + x. Which is bigger: t or 36/5?
t
Let s(o) = 7*o**3 + 3*o**2 + 3*o - 3. Suppose 3*q - 2*a = 6*q + 4, 9 = -4*q + a. Let g be s(q). Let k = 33 + g. Is -2 less than or equal to k?
False
Let h be 243/(-8) + (-579)/(-1544). Suppose 5*u = 3*v + 111, -v - 19 - 22 = -3*u. Is v smaller than h?
True
Let v = -23 - -43. Let f be (-6)/9*((-3969)/42)/9. Which is smaller: f or v?
f
Let m = -203 - -1424/7. Let y(q) = 3*q**3 - 9*q**2 + 11*q + 7. Let p be y(5). Let x = -212 + p. Which is smaller: m or x?
x
Let i be -2*(30/4)/5. Suppose 19*f = 24*f + 68*f + 219. Is i at most f?
True
Let n = 4767 + -298. Let l = 22414/5 - n. Let a = -13 + l. Which is smaller: a or -1?
-1
Let w = -12267148/47899 + 4866/19. Which is smaller: w or 0?
0
Let y be ((-30)/(-7))/(2/28). Suppose 390*i = 319*i + 4331. Which is greater: y or i?
i
Let k = -297.953 + -0.047. Let i = -302 - k. Let c = -2.5 - -1.4. Is i <= c?
True
Suppose -44*l + 54*l - 970 = 0. Is 96 greater than or equal to l?
False
Suppose 49*p = -7876 - 2267. Let l = p - -207. Let v be 1/(-3) + 122/114. Is l at most v?
True
Let l(x) = 27*x + 33. Let b be l(-3). Let f(k) = k**2 + 47*k - 47. Let d be f(b). Is d bigger than 6/11?
True
Suppose 0*u - 3*u + 5*p = -365, u = 4*p + 124. Let f = 110 - u. Let x be (f/(-2) - 4)/3. Is -4/5 > x?
False
Suppose -2*b - 6 = 0, -2*b = -19*l + 22*l + 6. Suppose -164 = 14*c - 10*c + 5*n, l = -5*c - 5*n - 205. Is -41 at least c?
True
Let y = -38029/4 - -9459. Which is smaller: y or -3?
y
Let h be 204/(-833)*-63 + -15. Is -183 greater than h?
False
Suppose 4*p - 4 = 4*y, -3*p - 3 = -5*y - 0. Let o be (46/p)/((-3)/6). Let a = 23.34 + -21.34. Which is smaller: o or a?
o
Let w = -32185 + 32187.6. Does 64 = w?
False
Suppose 4*s - 40 = -12. Let d be (323/(-1989))/(s/(-57)). Let w = -1/91 - d. Which is smaller: w or -1?
w
Let n = 417 + -224. Suppose 4*r + n = 3*p, -5*p - 214 = 5*r - 594. Is 74 less than p?
False
Suppose 25*c = 33*c - 16064. Let x = 10004/5 - c. Which is bigger: -7 or x?
-7
Let t(f) = -f**3 - 12*f**2 + 42*f + 71. Let h be t(-21). Which is smaller: 1 or h?
1
Let l be 39/2 - (-85)/34. Suppose -2*c - l = 2*p, 3*p + 90 = -5*c + 5*p. Are c and -152/9 unequal?
True
Let l = 53 + -1215/23. Let q be 15/9 - (-40)/(-24). Is l bigger than q?
True
Let t = -110 - -133.1. Let l = -23 + t. Is -1.25 smaller than l?
True
Let m = 0.05592 + -2.41492. Is -2/3 greater than or equal to m?
True
Let d = -177 - -883/5. Let n = 278.8 - 278.802. Which is greater: d or n?
n
Suppose -c - 19 + 2 = q, -c - 5*q - 5 = 0. Let o be (-38080)/(-84) - 2/6. Let k = o + -473. Is c < k?
False
Let n be 27808/(-120)*9 + 6/10 - 4. Which is greater: n or -4175/2?
-4175/2
Suppose -9261 = -35*c + 26*c. Suppose -32 = -1027*o + c*o. Which is greater: o or -17?
o
Let v = -11510 + 9727. Which is smaller: v or -1781?
v
Suppose -3*g = 5*b - 1469, b + 4*b - 2*g - 1454 = 0. Let c(a) = a**2 - 3*a - 22. Let r be c(6). Let i be (-5)/((-4865)/b) - r/(-14). Does i = -1?
False
Suppose 655 = -3*c - 4*z, 1533 = -5*c + 4*z + 484. Let m = -235 - c. Is -15 at least m?
True
Let z be 12680/24 - (-2)/(-6). Let r be 616/z - ((-7)/(-6) - 1). Which is bigger: 12/25 or r?
r
Let k = -9 + -4. Let j = -40/7 - -313/56. Is k at most j?
True
Let g = -258 + 344. Let a be 0 - (-5 - -4)/((-2)/g). Let n(r) = -5*r**