. Suppose 5*g + v - 45 = -w*v, 2*g + v - 17 = 0. Which is smaller: p or g?
p
Let v = 0.0599 + -0.1599. Which is smaller: v or 0.0221?
v
Let x = 30 + -30.8. Let i = 0.1 - -0.9. Let b = x + i. Is -1 greater than b?
False
Let t(u) = 4 + 3 - 4*u + 0. Suppose -137*l + 40 = -127*l. Let y be t(l). Which is smaller: -8 or y?
y
Suppose -5*j + 7 = 27. Let k(x) = x**3 - 7*x**2 + 20*x - 90. Let t be k(6). Are j and t non-equal?
True
Let c(w) = w**2 + w + 1. Let y = 6 + -6. Let g be c(y). Let d = 4/5 + -3/5. Which is bigger: g or d?
g
Suppose -35 = -4*f - 23. Suppose 5*r + 3 - 28 = 0. Suppose 4*x - 25 - 7 = -r*g, -4*x = g - 16. Is f at most as big as g?
True
Let p = 122.059 + -1.059. Is p not equal to 2?
True
Let b be (-3 - -1) + (-3)/7*-7. Let r = -6/187 - -1/374. Do b and r have the same value?
False
Let w = -120.9775 + -0.0225. Is w < 4?
True
Let m be ((-10)/35)/(24/(-30)). Let s = -2 - -3. Is s greater than m?
True
Let j = -409.11 + -0.89. Is 1/4 at most as big as j?
False
Suppose -3*q = -3*s + 18, 0 = -3*q - 108*s + 112*s - 23. Let j = -6 + 10. Suppose 5*b + 20 = -j*x, 0*b = 4*b + 3*x + 15. Is b at least as big as q?
True
Let g be 165/(-273) + 1/7. Let i be (-60)/(-18) + (-4)/(-6). Suppose 7 = -4*y - 4*b - 17, i*y + 3*b = -19. Which is smaller: y or g?
y
Let o be ((-6)/(-20))/(6/(-5)). Suppose 0 = 4*u + u - 110. Let d = u + -23. Which is bigger: d or o?
o
Let b = -54 - -53.71. Let j = 484 - 485.29. Let l = b - j. Which is smaller: l or 12/5?
l
Let n(d) = -3*d - 1 - d + 5*d. Let c be n(0). Let i = -625/3 - -209. Which is greater: i or c?
i
Let u = -7 - -6. Let k be (-6)/(-8)*2*30/5085. Is k equal to u?
False
Suppose -3*n = 2*p - 23, p + 3*p + 8 = 0. Suppose -14*f = -n*f. Which is smaller: -4/47 or f?
-4/47
Let m = -260 - -1825/7. Suppose 2*f + 17 = -1. Let r be (-14)/77 - f/(-11). Which is smaller: m or r?
r
Let w = -552.1 - -552. Which is greater: w or -289?
w
Let l(s) = -113*s**3 - 3*s**2 - 4*s + 4. Let n be l(1). Is -113 bigger than n?
True
Let t(w) = 2*w**2 - 6*w - 13. Let d be t(-2). Which is greater: d or -0.09?
d
Let b be -2*(-5)/(6 - 1). Let x be b/(-9) - (-7)/18. Which is smaller: -1 or x?
-1
Suppose 2*w = 99 - 95. Which is greater: 28/51 or w?
w
Let m(o) be the second derivative of o**4/12 + 5*o**3/6 + 3*o**2/2 - 3*o. Let v = 11 + -15. Let x be m(v). Does x = -1?
True
Let h = -81 - -35. Let g = h + 58. Which is greater: 15 or g?
15
Let h = -66 + 69. Suppose -5*r = -4*v - 16, 0 = 5*v + h*r - 18 + 1. Which is smaller: v or 5/6?
5/6
Let f = -188 - -337. Which is greater: 148 or f?
f
Let s = -2828/9 - -18446/63. Is -1 smaller than s?
False
Let t = -170.4 - -197. Let l = -52.7 + t. Let p = l - -25. Which is greater: -1/3 or p?
-1/3
Let n(z) = -6*z. Let r be n(1). Let o = r - -11. Let v be (-495)/(-84) - 2/14. Is o smaller than v?
True
Let l(g) = -2*g. Let f be l(-1). Suppose -c - 3*c = 2*r + 1154, -5*r = c + 293. Let y = -1426/5 - c. Which is smaller: f or y?
f
Let f be 140/(-8)*(3 - 1). Let u be 10/f - 36/(-28). Let a = -1/43 - 81/215. Is a less than u?
True
Let t be ((-4)/10)/(8/(-20)). Is t less than or equal to 1?
True
Let r(k) = -8 + 11 + 0*k**2 - 13*k + k**2. Let z be r(9). Which is greater: -32 or z?
-32
Let y = 2159/7 - 309. Which is smaller: y or -100?
-100
Suppose -4*m + 284 = -3*z + 47, 4*z = 2*m - 106. Which is bigger: m or 64?
64
Let q = -349 - -338. Is -3 bigger than q?
True
Let m be 18/(-6) + 6 + 94/(-16). Which is bigger: -4 or m?
m
Let u be 44/(-1012)*2/23. Is u smaller than -1?
False
Let i be (-4)/14 + (-55)/(-168). Let b = -2478 + 2478. Which is greater: i or b?
i
Let a = -7.1 + -37.9. Let s = 47 + a. Which is smaller: s or -2?
-2
Let w(n) = -19*n + 2. Let p(t) = -1. Let u(k) = -6*p(k) + w(k). Let b be u(2). Is -31 less than b?
True
Suppose -4373*g + 4366*g - 7 = 0. Which is smaller: g or -12/11?
-12/11
Let d = -9 + 19. Let s = 9 - d. Let u = -49 + 287/6. Which is bigger: u or s?
s
Let d(q) = 4*q**3 - q**2 + q - 1. Let c be d(1). Suppose -5 = -c*n + 4. Suppose -n = -8*k + 5*k. Is 3 at least as big as k?
True
Let k be ((-4)/6)/(164/12). Suppose -60*u + 56*u = 4. Is u at most k?
True
Let c = 73/2 - 37. Let t = 16 - 36. Which is greater: t or c?
c
Let r be 0/(-2*2/4). Suppose -j + r*j + 1 = 0. Is 10 greater than or equal to j?
True
Let t be (315/(-42))/(6/(-20)). Let k be ((-5)/t)/((-4)/76). Is k at most 3?
False
Suppose -4*s + 11 = -4*y - s, 3*y - 5*s = -22. Suppose p = 3*o - 2 - y, o - 5*p = -13. Is -0.05 bigger than o?
False
Let d be ((-24)/(-15))/(-2)*-5. Suppose q - 5*i - d = -14, 5*q + 2*i = 4. Suppose 0 = -q*y + 2*y - 20. Which is smaller: y or 8?
8
Let x = 0.001 + -0.211. Let v = x - 0.79. Which is smaller: v or 5?
v
Suppose -4*d - 96 = 5*r - 324, -d = -r + 51. Is r <= -1/3?
False
Suppose -17*s - 60 = 212. Is 24 at most s?
False
Let u = 4 + -2. Suppose -b + 0 = -u. Suppose 2*a + 16 = 2*v + b*v, 12 = -4*a - 2*v. Is -4 > a?
False
Let o(u) = -2*u**2 + 19*u - 9. Let k be o(10). Let d = -4 - k. Let t be d/24 + 4/(-16). Are 1 and t non-equal?
True
Suppose 7*g = -2*l + 2*g + 22, -4*g = 2*l - 20. Suppose -l*m + m = -5*y + 305, 0 = -m - 4. Let s be (-133)/y - 4/(-2). Which is bigger: s or 1?
1
Let x = 2857 + -88581/31. Are x and 1 equal?
False
Suppose 62 - 8 = -2*s. Is s not equal to 0.14?
True
Let a = -36 - -36.12. Let t = 0.02 - a. Which is smaller: t or 0.27?
t
Let k = 120 + -483/4. Which is bigger: k or -3/8?
-3/8
Let q(m) = -m**3 - 7*m**2 - 5*m + 9. Let w be q(-6). Suppose 2 = -5*s + w*s. Let r be ((-1)/18)/((-1)/(-2)). Which is smaller: r or s?
s
Let i = 797 - 692. Are 105 and i non-equal?
False
Suppose -2*t = q - 1, -t = -5*q + 4*t + 80. Is -5 smaller than q?
True
Let v be ((-1)/2)/1 - 10/20. Let o be (687/(-99))/(1/(-18)). Let z = o - 125. Which is greater: v or z?
z
Let w(s) = -15*s - 348. Let x be w(-12). Which is smaller: -503/3 or x?
x
Let k = -26.65 - 0.35. Let l = k + 27.1. Let r = -0.2 + l. Is r > -0.1?
False
Suppose i - 5*f = -3*i + 61, -5*i - 5*f = -65. Is i less than 12?
False
Suppose 0 = -4*c - 10 + 70. Let v = -49 + 33. Let a = c + v. Is a < 1/5?
True
Let h = -0.142 + -0.358. Let r = -0.4 - h. Which is greater: -2/31 or r?
r
Suppose -2*y = -2 - 0. Let x = 155 - 160. Is x at most as big as y?
True
Suppose -81*d + 11496 = -5757. Which is greater: 214 or d?
214
Let q = 325/4 - 2111/28. Which is greater: 5 or q?
q
Let a = -77576/107675 + 2/4307. Is 0 bigger than a?
True
Suppose 10*c = 12*c. Suppose 8*f - 13*f - 70 = c. Is -14 greater than f?
False
Let x = 1 - 2. Let i be (2/15)/((-15)/5*(-2)/(-9)). Which is bigger: i or x?
i
Let s = 3 + 6. Suppose -2*a = -5*a - s. Let c be (a/4)/((-6)/(-4)). Are c and 5 nonequal?
True
Let v = -22 + -17. Let y = v + 42. Which is bigger: y or 0.3?
y
Suppose -q - 4*q = -35. Suppose 4*a - 21 = 75. Let j = 29 - a. Which is greater: q or j?
q
Let n be 4*(0 - 9/21). Suppose -5*m - 10 = 5*k, -2*k + 7 = -6*k - 5*m. Is k bigger than n?
False
Let p = 1490 - 1489. Is 9/194 >= p?
False
Let p be 3*8/3 + -3. Suppose 0 = 5*y - 2*h + 1 - 3, -4*y + 5*h + p = 0. Is -2/5 < y?
True
Let n = -74.21 + 75. Let r = n + -0.59. Is -0.9 greater than r?
False
Let u = 2210 + -2025. Is 3/2 less than u?
True
Let x(p) = -12*p - 1. Let n be x(-1). Let k(r) = 0*r**3 - 2 + 12*r**2 - 161*r + 313*r - r**3 - 160*r. Let d be k(n). Is d <= 32?
True
Suppose 17*q - 27*q = 4280. Is -428 at most as big as q?
True
Let i = 2.2 + -2.21. Let l = 3.9 - 4. Let w = l - -0.1. Are i and w equal?
False
Let t = 14 + -20. Let l = -0.39 + 0.29. Which is smaller: t or l?
t
Let x = 3013 - 2797. Is 213 greater than or equal to x?
False
Let x = 298 + -299. Which is smaller: 1.54 or x?
x
Let c(k) = -k**3 + 9*k**2 - 2*k + 16. Let n be c(9). Let i = -4 - n. Is 9 equal to i?
False
Let q = 453/4 + -112. Let j = 21/20 - q. Let c be 1 + (0 - 2) + 1. Which is bigger: j or c?
c
Let a = -14 - -60. Let c = a - 47. Is 1 less than or equal to c?
False
Let d(y) = y**2. Let g be 7*((-75)/(-21) - 3). Let s(u) = u - 4. Let t be s(g). Let j be d(t). Is 0 bigger than j?
False
Let u = 91/108 + -1/108. Let x = 2620/11 + -238. Which is bigger: x or u?
u
Let w be 828/(-1498) + -3*(-52)/273. Which is bigger: 0 or w?
w
Let l = 124 - 96. Let z = -57/2 + l. Which is bigger: 9 or z?
9
Let w = -172609/24 - -7191. Which is smaller: w or -1?
w
Suppose 3*l - 21 = 6*z - 3*