3*v = f*w + 15. Suppose -3*k = c - 7*k - 3, 0 = c + v*k + 11. Which is greater: c or -4?
-4
Suppose 2*y - 288 = 20*y. Which is bigger: -13 or y?
-13
Suppose -5*d + 0*m - 3*m = 127, -4*d + m = 105. Let o = -17 - d. Suppose 9 = -3*t - o. Which is greater: -5 or t?
-5
Let p = -302 + 306. Which is smaller: -24 or p?
-24
Let n be ((-2427)/2)/((-45)/(-18)). Let g = 482 + n. Is g greater than 2/9?
False
Suppose 27 = 2*d + 1. Suppose -2*u + 11 + d = 0. Let j be -38 + (-9)/((-27)/u). Is j equal to -35?
False
Suppose -4*y + 48 = -4*j - 7*y, 2*j - y = -34. Is -252/17 not equal to j?
True
Let w = -19 - -23. Suppose 3*s + 0*n - n + w = 0, -5*s - 2*n - 25 = 0. Let p be s/(-54) + (-2)/4. Which is smaller: p or -1?
-1
Let y(m) = m**3 + 9*m**2 - 2. Let f be (-4 - -2)/((-2)/(-9)). Let w be y(f). Let z = 23.1 - 23. Is z at most as big as w?
False
Let p = -252 - -241. Is -12 less than p?
True
Suppose 5*g - 3 = -v - 18, 4*g + 2*v = -18. Let w be (-9)/6*(-2)/(-4). Let x = w + -3/4. Which is smaller: x or g?
g
Let t = -9.8 - -8.98. Let r = 12.38 - t. Let c = 15 - r. Which is bigger: 1 or c?
c
Let d(b) = -b**3 + 18*b**2 - 1. Let t be d(18). Which is smaller: -10 or t?
-10
Let b be ((-15)/40)/(-1)*(-4)/9. Suppose -4*s + 56 = 2*o, -s - 4*s = o - 67. Let z = s - 12. Is z > b?
True
Suppose 163 - 166 = 3*p. Let r(q) = -10*q**2 - 5*q - 2. Let y(k) = 5*k**2 + 2*k + 1. Let j(f) = 2*r(f) + 5*y(f). Let b be j(p). Which is greater: 3 or b?
b
Let a = 3549 - 10651/3. Let j = 1.92 - 2. Is a < j?
True
Let v = 31 + -85. Let g = -60 - v. Is g equal to -29/4?
False
Let v = -493.8 + 494. Is 13 less than v?
False
Let t = 0.951 - 0.051. Let u = t + -1. Do 1/4 and u have the same value?
False
Let m(t) = -t**3 - 37*t**2 + 40*t + 73. Let o be m(-38). Let i be (0 - -3) + -1 + 0. Let d = -3 + i. Is d greater than o?
True
Let x = 98 + -95. Let m = -273 - -2197/8. Which is smaller: m or x?
m
Let h(v) = 5*v - 30. Let b(q) = -q + 1. Let p(z) = -3*b(z) - h(z). Let m be p(11). Which is smaller: 6 or m?
m
Let b be (-2 + (-5)/(-3))/((-24)/(-144)). Let f = -7/4 + 7/8. Is b bigger than f?
False
Let b = 2.3 - -28.7. Let i = -31.1 + b. Is 2 equal to i?
False
Let p be ((-9)/(-51))/((-13)/29). Let y = -8/17 - p. Let g = 343 - 344. Is g at most y?
True
Let y = 739 + -739. Let b = -42/47 + -903/94. Let u = -103/10 - b. Which is bigger: y or u?
u
Let a(o) = 10*o**3 - o**2 + o + 2. Let f be a(-1). Let m = 0 - f. Suppose -4*t - d - d - 58 = 0, -t + d = m. Which is smaller: t or -14?
-14
Let c = -800/11439 + 2/369. Suppose 5*q - 2*q - 2*j + 2 = 0, 5*j = -5*q + 5. Suppose q = -35*y + 30*y - 5. Is y greater than or equal to c?
False
Suppose x + 3*x + 184 = -4*b, 4*x - 2*b = -154. Which is smaller: x or -199/5?
x
Suppose 5*j + 2*c + 58 = 0, 2*j - 2*c + 3*c = -24. Let x be -11 + 13 + 24/j. Which is bigger: -1 or x?
x
Let y be 1 - 3 - (-249 + 4 + -2). Suppose -11*m + 4*m - y = 0. Is -36 <= m?
True
Suppose -28*q = -39*q - 77. Which is smaller: 3/10 or q?
q
Let r(w) = 5*w**2 + 2*w. Let a be r(-1). Let j(u) = 2*u**2 - 4*u - 1. Let l be j(a). Let n = l + -4. Which is smaller: n or 4/5?
4/5
Let v = 31.95 + -32. Which is smaller: -27/2 or v?
-27/2
Let a be 9162/680 + (-2)/16*2. Let p = a - 82/17. Is p at most 7?
False
Let x = 212 - 149. Let b = x + -65. Is b smaller than -3?
False
Suppose -8436 = -6*p + 25*p. Is -444 less than p?
False
Suppose -2*s - 4*b = -62, 3*b = 8*s - 4*s - 102. Which is smaller: -5 or s?
-5
Let p = 563682829/18810330 + 2/627011. Let t = p + -144/5. Let k = t + -65/66. Which is smaller: -1 or k?
-1
Suppose -52 = -3*z + z. Let o(u) = u**3 + 25*u**2 + 22*u - 23. Let x be o(-24). Which is greater: x or z?
z
Let f = -26 - -27. Let v be ((-12)/(-36))/(f/6). Suppose 3*p - 4*y = -2, v*p - 2*y + 3*y + 5 = 0. Which is greater: -4 or p?
p
Suppose -j = -t - 6, 4*j = -t - 3*t. Let b(c) = c**2 + 3*c. Let o be b(-4). Let v be (o/10)/((-3)/30). Are t and v unequal?
True
Suppose 257 - 17 = -24*d. Which is bigger: d or -11?
d
Let k = 0.0432 + -0.1132. Which is greater: k or 6?
6
Let j be -2 - 8/(-12)*-3. Which is bigger: -5/2 or j?
-5/2
Let r = -13 - -17. Suppose 4*s - r + 0 = 0. Is s < -1?
False
Let j = -130 + 130. Let o(c) = -c**2 + 6*c - 7. Let x be o(5). Let s be (-61)/(-59) - (x - -3). Which is greater: s or j?
s
Suppose -52*k + 900 = -22*k. Is k at least as big as -4?
True
Let n = 31 + -24. Let b be (-490)/18 - (n/9 + -1). Is -26 at most as big as b?
False
Suppose 6*s - 2*s = -5*o + 26, 17 = 2*o - 5*s. Let h be (68/6)/(2/o*1). Which is smaller: h or 33?
33
Suppose 5*n - j - 18 = 0, -2*n = -0*n + 4*j - 16. Suppose -4*u - 2*q = 18, u - 9 - 4 = -n*q. Let g = u - -7. Is g != 6/11?
True
Let y be (-136)/40 + (-6)/10 + 0. Let u = 42/47 - 873/188. Which is greater: y or u?
u
Let a(x) = 4*x + 26. Suppose 18 = -3*u - 0. Let f be a(u). Is 1/2 at least f?
False
Suppose 0 = -3*x + 3*b - 81, -164 = 5*x - 2*b - 44. Let y = -10 - x. Is 12 bigger than y?
False
Let g = 413/2 - 218. Which is bigger: g or 4?
4
Let h = -528 + 529. Is 70 bigger than h?
True
Let w = -11386/39 - -292. Let m = w + 35/78. Do m and 10 have the same value?
False
Let c = -1 + 11. Let j be 6/(-3) + 22/c. Which is greater: 0 or j?
j
Let c = -1.0255 + 0.1255. Which is greater: -43 or c?
c
Let c be (-2)/5 + 8/20. Suppose 2*p + 5*k - 50 = 0, 5*k - 7 - 3 = c. Suppose 5*t - p = 4*l + t, 3*l = -3*t - 27. Which is greater: 1/3 or l?
1/3
Let t be ((-4)/(-22) + 413/(-154))*6. Let g(p) = p**2 + 8*p + 7. Let q be g(-9). Let c = q + t. Is -1/5 > c?
False
Let t = 1/9161 + -64200/668753. Is t greater than or equal to -1?
True
Let n = -47 + 47.43. Let q = n + -0.39. Do q and -0.6 have the same value?
False
Let a = -102827/2618 - -432/11. Let v = a - -491/3570. Which is smaller: v or 3?
v
Suppose -2*q = -4*p + 8, -4*q - 12 = 2*p - q. Let l = 233 - 236. Let u = p + l. Is -7/2 at least u?
False
Let l be 14/1344*16 + 2/(-6). Which is smaller: l or 87?
l
Let f = -31 - -30.15. Let s = 0.8 + f. Let i = s - 0.05. Which is greater: 0.4 or i?
0.4
Suppose -35*h = 12626 + 11559. Is h at most as big as -692?
False
Let v = 172931/117 - 1478. Is v less than -1?
False
Let s = -35.9 + 19.9. Let y = -0.6 + 0.4. Is y at most as big as s?
False
Let h be (3 - 18/8)*(-16)/15. Is h less than 0?
True
Let l = 41 + -35. Let a(o) = -2*o - l - 7 + o + 1. Let x be a(-4). Do x and -7 have different values?
True
Suppose -12*q - 216 = -492. Which is smaller: 20 or q?
20
Let d = -0.48 + -0.22. Let r = d + 0.8. Which is smaller: r or -6/5?
-6/5
Let k = 12613/4496 - 45/16. Which is greater: k or 0?
0
Suppose -h + s + 1 = 0, 0 = -2*h + 5*s + 3 + 5. Let z be h/(-1)*0/(-8). Let c be 1*(-1 - (-9)/12). Is c > z?
False
Let u(c) = -c**2 + 8*c - 7. Let l be u(5). Let i(y) = 5*y**2 + l*y - 4*y**2 - 7*y - 1. Let w be i(-2). Is w not equal to 3?
True
Let n be 1*(10 - 1/1). Let g(b) = b**3 - 8*b**2 - 8*b + 8. Let f be g(n). Are f and 17 nonequal?
False
Suppose -6 = 12*x - 18. Which is smaller: x or 4?
x
Let t be 0/(-2) - 0 - (47 + -43). Suppose 0 = n - 4 + 2. Suppose -d + n = 4. Is t not equal to d?
True
Let b be (-17)/8*-2 + (-21)/(-28). Which is bigger: 8 or b?
8
Suppose 79 = -j + 511. Let s be (-29664)/(-69) + (1 - -1). Let h = j - s. Which is greater: h or 1?
1
Suppose -2*p = -5*o + 22, 5*p - 3*o = 2*p - 15. Let r be (-6 + 2 - 19)*2. Let y be r/(-14) - 4*1. Is y < p?
False
Let r = 14.86 + 3.14. Is r less than -1?
False
Suppose -2*g + 4*w - 55 = -3*g, -5*g + 150 = -5*w. Suppose 0 = -3*f - 14 + g. Let r be (f/2 + -3)*5. Which is greater: 4 or r?
4
Let v be 15/35 + 176/14. Let g = 13 + 0. Is v greater than g?
False
Let l = -2.4 + 1.3. Let m = 19.1 + -18. Let d = l + m. Which is bigger: d or 0.1?
0.1
Let n = -717 + 294. Which is smaller: n or 1/3?
n
Let m = 1104.9 - 1105. Which is smaller: 497 or m?
m
Suppose -5*n = -3*g - 111, -2*n = -4*n - 3*g + 36. Suppose -3*b + n = 2*j - 31, 4*j = 3*b - 76. Is b < 22?
True
Let g = -6 + 5. Let x = -1 - g. Let p = 4 - x. Which is smaller: 5 or p?
p
Let j be 17/(1*(-1 - (-15)/10)). Suppose -2*n - 132 = -6*n. Is j < n?
False
Suppose 0 = x + x. Let z = -40/29 + 578/377. Which is smaller: z or x?
x
Let k be (-2)/(-9) - 1260/(-162). Suppose -12*g + 8*g = -k. Suppose g*i = -2 + 4. Is -1/23 less than or equal to i?
True
Let x be 2*4/(1 - -3). Let r = -5 - -12. Suppose -r*v = -3*v. Whic