*38976/(-20720). Which is bigger: -14 or v?
-14
Suppose 2*z + 3*j + 15 = 0, -2*z - 4*j + 35 = 55. Suppose -10*a = 2*w - 6*a, z = -4*w + a. Which is smaller: 1/292 or w?
w
Suppose 3*u - 12 + 466 = -5*i, -457 = 3*u + 2*i. Let w = -0.04 + -0.06. Is w at least as big as u?
True
Let f be 239/(-1) - -4*2. Let z = 281 + f. Is 52 < z?
False
Suppose 3*j = -3*x - 246, -112 = 3*x - 2*x - 5*j. Let i = 86 + x. Let k be i + (-4)/((-8)/(-22)). Which is smaller: k or -0.4?
k
Let k = 7.97 + -8. Let f = 5.03 + k. Suppose -643*a - 193 = -193. Which is bigger: f or a?
f
Suppose 2*k - 2*y + 128 = -696, -2068 = 5*k + 3*y. Let a be k*(4 - 120/28). Is 2/7 <= a?
True
Let h = 18 - 30. Let t be (-186)/h*1*-1. Suppose 37*c - 150 = -742. Do t and c have the same value?
False
Let a(g) = g - 20. Let t be a(23). Suppose 4*o = -2*k + 26, 5*o - o - t*k - 41 = 0. Suppose o = 5*l + 13. Which is smaller: 2 or l?
l
Suppose -5*u + l + 19 = -2, -3*l = -3*u + 3. Suppose -4*n = 3*q + 452, -4*q + u*n - 193 = 358. Which is smaller: -143 or q?
q
Let s = -747 - -528. Let u = s + 219.1. Are u and 28.7 equal?
False
Let q(n) = 40*n + 681. Let k be q(-17). Is k smaller than 2/59?
False
Let f = 242 + -186.9. Let k = f - 55. Which is smaller: 6/73 or k?
6/73
Suppose 16*c + 76 - 50 = -262. Which is smaller: c or 13?
c
Let c be -1*(-4 - 3) - 1. Suppose c*b = 11*b + 375. Let x = 136 + b. Do 60 and x have the same value?
False
Let r = -4423 - -4746. Which is greater: 319 or r?
r
Suppose -4*j - 430 = -5*k - 460, 20 = -5*k + 2*j. Does k = -586?
False
Let p(a) be the third derivative of a**5/60 + 2*a**4/3 + 17*a**3/2 - 70*a**2. Let w be p(-21). Is 156 at most as big as w?
True
Let s be (3/2)/(3/(-4)). Let x = -338593 - -338450. Which is smaller: x or s?
x
Suppose -5*d - 5*z - 20 = -10*d, -5*z = 2*d - 15. Suppose h - 175 = 5*j - 10*j, -3*h = d*j - 165. Let u be 36 + (-1 - 2 - -5). Which is bigger: j or u?
u
Let n = -5066 + 5217. Which is smaller: 4 or n?
4
Let g be 5*(-3)/(-15)*-7. Let t be (g/(-21))/1*-24. Which is smaller: t or 0.11?
t
Let u(x) = 5*x - 3. Let k be u(-7). Let y be 24317/k - (3 - 1). Let m = y - -642. Which is smaller: 1 or m?
m
Suppose -5 = q + 3*z, -59*q - 5*z = -57*q + 8. Is -24/553 less than q?
True
Let a be 218034/36 + 34/85*5/8. Do a and 6058 have the same value?
False
Let b be (-18)/(-99) - 1756/(-22). Suppose 0 = 2*x - 3*x + 2*t + 90, -t = 2*x - 205. Let z be -2*(x/b - 3/(-4)). Is z at least -20/7?
False
Let r = 243 - 47. Suppose -5*k = -4*w - 74 - 173, r = 4*k - 4*w. Which is bigger: 53 or k?
53
Let t be 8 - (4/(-4) + 0). Suppose -t*l - 122 = 13. Let d = l + -19. Which is smaller: -33 or d?
d
Suppose -2*g = d + 2791, 0 = 5*g + 4*d - 5*d + 6988. Is -1398 <= g?
True
Let x = -15977 - -14656. Which is smaller: -1320 or x?
x
Let z = -604 - -979. Suppose s + 0*x + 4*x + z = 0, 2*s + 4*x = -758. Is -383 at most as big as s?
True
Let p be 2*-1 - -3 - -2. Let d = -35537.04 + 35537. Is p equal to d?
False
Let l = -290 - -1151/4. Let b = 118 - -26. Let u = b + -144. Which is smaller: u or l?
l
Let f = 8/9 - 103/45. Let p(l) = 7*l**2 - l. Let g be p(-2). Let q = 30 - g. Is f != q?
True
Suppose -4*c + 22296 = -2*o, 0 = -2*o + c - 1961 - 20338. Let g be (1 - 0)*(-3 - o/385). Let k = 197/7 - g. Is 1 less than k?
True
Let m = -0.33 + -12.67. Let i = m - -12.7. Let d = -1721 - -3441/2. Which is smaller: i or d?
d
Suppose -21*k - 15*k - 8*k = 1452. Which is smaller: k or -32?
k
Let n = 193 + -191. Let i be n/(-9) + (-322)/252. Suppose 0*b - 2 = 2*b. Is b greater than or equal to i?
True
Let p = -62 - -61.9. Let q(u) = 76*u + 660. Let r be q(-9). Which is bigger: r or p?
p
Suppose -3*o + 3988 = 5*k - 1485, 0 = 2*o + 2*k - 3650. Which is smaller: o or 1828?
o
Let s be ((-202)/(-14) - 1)/(174/(-863301)). Let y = -66493 - s. Let k = y - 2188/21. Which is smaller: 28 or k?
28
Let a be 544/2570 - -7*(-4)/140. Let y = 431/14906 - a. Do 1 and y have the same value?
False
Let y = 22996339/1800320 - 1635/128. Which is bigger: 0 or y?
y
Let n = 143.5 + -136. Let m = 2.45 + 116.55. Let g = 119 - m. Which is bigger: n or g?
n
Let c = -13.21 - -0.21. Let d = -74.88 - -43.88. Let l = c - d. Are l and 2 non-equal?
True
Let h = 660 + -3298/5. Suppose -3*q = -3*y - 63, 3*q - 2*y - 45 = 19. Let f = 8 - q. Is h smaller than f?
False
Let j(m) = -m**3 - 28*m**2 + 157*m + 87. Let a be j(-30). Do a and -2822 have the same value?
False
Let b be 2*18479/6256 - 2/16. Is 6 less than b?
False
Let u = 27376 - 30359. Are 2/7 and u equal?
False
Let a(z) = z**2 - 7*z + 9. Let l be a(6). Suppose -l*v - v = 36. Is -2 <= v?
False
Let h be -13 - 963420/(-38025) - (-2)/(-3). Let y = -22/169 - h. Is -12 equal to y?
False
Let b(d) = d**2 + 13*d - 32. Let x be b(-15). Let p(n) = -n**2 + 5*n + 16. Let z be p(7). Let v be z/8*(-1 + -3). Is v >= x?
True
Suppose 2*w + 40 = -0. Let h = 9257/4 - 2335. Is h greater than w?
False
Let k = -3667/45 + 298/5. Which is greater: 2/9 or k?
2/9
Let i be (-95)/(-300) - (-16 + 4202/264). Let r = 73 - 44. Do i and r have different values?
True
Let x be ((-9)/(378/24)*21/6)/6. Which is smaller: 0.0807 or x?
x
Let i = -50 - -47.4. Let p = -3.6 - i. Let y = p + 4. Which is greater: y or 0.1?
y
Let f = 10.1 + -10. Let v = 87.11 - 2.11. Let b = -64 + v. Is b <= f?
False
Let f be ((-3896)/12)/(-1*10/15). Suppose 0 = 9*w + 10 - f. Which is smaller: w or 51?
51
Let x = 143.7 + -143.5. Which is smaller: x or 29.6?
x
Let l = 150 + -154. Let y be (-10)/(l/2) + 39923/(-8051). Is y at least as big as 1?
False
Let i = 24 + -128. Let s = i + 104.024. Let c = -0.024 + s. Are -9/10 and c unequal?
True
Let t(q) = -2*q**3 + 123*q**2 + 190*q - 63. Let g be t(63). Which is smaller: -1/830 or g?
-1/830
Let j(a) = a**3 - a**2 - 148*a + 24. Let c be j(-16). Is -1960 not equal to c?
False
Suppose -9*s + 11*s + 12 = 0. Suppose 3*k = -o - 31 - 6, 0 = 3*k + 3*o + 27. Is k less than s?
True
Let q be 24/15 - ((-384)/360 - 25/(-15)). Is 2/4423 != q?
True
Let d = -21260/116567 - -6/10597. Let j = 0.4 - 0.9. Let l = j + -0.5. Is d > l?
True
Let i = 294285 + -1522924867/5175. Which is bigger: 1 or i?
1
Let k = -83/2 + 12369/298. Let p = 291/1043 + k. Which is bigger: 0.27 or p?
p
Let s be 3 + ((-68)/(-72))/17. Let j = s + -26/9. Suppose -7 + 3 = -2*y, -3*y + 6 = -a. Which is smaller: j or a?
a
Let x = 6174 + -6173.5779. Which is smaller: 0.2 or x?
0.2
Suppose z - 4*z = -5*q + 5374, 5*z + 1066 = q. Is q > -1?
True
Let v(y) = 11*y + 23 + y**3 - 23*y**2 - 8*y**2 - 4 + 20*y. Suppose -g + 32*h = 28*h - 50, -3*h = g - 15. Let i be v(g). Is 49 != i?
False
Let t = 67.5 - -268.7. Let w = -336 + t. Let h(n) = -n**3 + 8*n**2 - 5*n + 2. Let p be h(7). Is w less than p?
True
Let b be (0/(-4) + 0)/3. Let c(j) = -7*j**2 - 6*j - 5. Let z be c(-3). Let a = 146/3 + z. Which is smaller: b or a?
a
Let j = -1323 - -1341. Which is smaller: j or 2?
2
Suppose 0*q + 9*q = 18*q + 1638. Which is bigger: -192 or q?
q
Let v(i) = -21*i**2 + 8*i + 7. Let z be v(-1). Which is greater: z or -344/15?
z
Let p = 1 - 64. Let i = 15 + p. Let l be ((-10)/28)/(8/i). Which is greater: -1 or l?
l
Suppose -27*p = 77*p. Is p greater than or equal to 28/249?
False
Let q = 74/61 - 1798/1281. Is 7 not equal to q?
True
Let r be ((-171)/114)/((-3)/(-2))*2/2. Is 1/61 <= r?
False
Suppose -4*o + 4*s - 600 = 0, 9*s = 2*o + 11*s + 276. Which is bigger: -133 or o?
-133
Let f be (30/(-240))/((-11)/(-2)). Let j be (4 - 3)*0 - -2. Suppose u = -j*k - 2, -5*u + 1 = -2*k + k. Are f and u nonequal?
True
Let j(o) = o**2 - 2*o. Suppose y + 2*z = 3*y + 4, 6 = -3*y + 5*z. Let c be j(y). Suppose c*h + 7 = h. Is 2/23 equal to h?
False
Let j be (-3 + 10263/1466 + -4)*8. Which is smaller: -2 or j?
-2
Let b be 81/(-15) + 12/30. Let s(v) = -2053*v**3 - v**2 + v. Let d be s(1). Let i = d - -14341/7. Is i > b?
True
Suppose -v + 8 = v, -v + 26 = r. Let h = -96 - -114. Suppose -14*i + h*i = 80. Are i and r non-equal?
True
Let h be (5 + -5)/(2/(-2)) - (-3 - -2). Which is greater: 2/681 or h?
h
Let y = -31 + 16. Let i(a) = a**2 + 16*a + 13. Let t be i(y). Let d be (t - 0)/(-1) + -12. Which is smaller: d or -11?
-11
Suppose 2*w + 39 = -h, -61 - 64 = 3*h - 2*w. Let q = -90 - -62. Let c be (-30)/(-4)*q/5. Are h and c equal?
False
Let o be 2*(3 + (-902)/(-4)). Is o bigger than 456?
True
Let t(z) = 7*z**2 - 47*z 