- 28*g. Let w be x(-15). Which is greater: 4/9 or w?
4/9
Let u = 2267/119 + -135/7. Which is bigger: -10 or u?
u
Suppose 4*u - 5*u = -7. Suppose u = 2*t + 13. Which is smaller: -5 or t?
-5
Let i = 1672/31309 - 13422986/433097397. Let q = -4/261 - i. Are 0 and q unequal?
True
Let o = -24 - -40. Suppose -3*n = n + o. Let q be n/(-8)*4/46. Is -1 greater than or equal to q?
False
Let v(b) = -11*b**2 + 34*b - 2. Let g be v(3). Let p be -1 - -1 - 6/(-141). Is p equal to g?
False
Let d = 432 + -449.5. Which is smaller: 1 or d?
d
Let n = 15 + -23. Let v = n - -26. Let x = v - 19. Is x < -0.04?
True
Let n(b) = -4*b**2 + b - 6. Let h(o) = -9*o**2 + 3*o - 11. Let q(v) = 3*h(v) - 7*n(v). Let d be q(0). Suppose 0 = 6*t - d*t + 63. Are t and 21 non-equal?
False
Suppose 7*o - 5*o = 20. Let x = o + -7. Which is smaller: 2 or x?
2
Suppose 0 = -h - 3*m + 22, 3*h - 2*h - 8 = 4*m. Is h >= 84/5?
False
Suppose 141 = -13*g + 16*g. Let w = g + -246/5. Do w and -2 have the same value?
False
Suppose w = 2*w - 6. Let h = 10 - w. Suppose -3*i - h*p = 19, 2*i + 12 = 6*i - 4*p. Is i less than -2?
False
Let u = -0.1 + 0.1. Let p = -0.1 + u. Let b(l) = -l**3 + l**2 + 29*l + 5. Let j be b(6). Which is bigger: p or j?
p
Let n = 216 + -217.77. Let s = 0.01 + -1.81. Let z = n - s. Which is smaller: z or 1?
z
Let i = 1564 + -1564.01. Which is bigger: i or 0.08?
0.08
Let c = -266 + 265. Which is bigger: 1/79 or c?
1/79
Let n = -381.3 + 380. Is n greater than or equal to -1?
False
Let g = -102 + 215. Is g less than 114?
True
Let n = -17 + 39. Suppose -5*k + 3*o = -105, 0 = -4*k + 8*k + 2*o - 84. Are n and k equal?
False
Suppose 0 = m + 5*n + 15, -m = -2*m - 2*n - 24. Let c = 92/3 + m. Is c at most as big as 31?
True
Let k = -82 + 82. Is k at least -1/88?
True
Let q = -270.8 - -265. Is q >= -1?
False
Let m = 16 + -28. Let g = 3 + m. Let p = 9.3 + g. Are p and -1 equal?
False
Let z be (-2)/7 + (-102)/(-63). Let l(i) = 3*i - 4. Let k be l(2). Is k at most as big as z?
False
Let c = 0.341 + -0.241. Which is smaller: c or 177/2?
c
Let m be 4/6 + 13/(-18). Let f be 48/72 - (-2)/(-3). Which is smaller: f or m?
m
Let i be -12 - (-14805)/36 - 9. Which is smaller: i or 390?
390
Let n = -14 - 163. Let l be 2 - 2/(-2*n/360). Is l < -1/3?
False
Let p(z) = 26*z - 112. Let q be p(4). Do q and -2 have the same value?
False
Let t(f) be the third derivative of -f**6/120 - f**5/15 + f**4/12 - 2*f**2. Let v be t(-4). Do v and 3 have the same value?
False
Let l = 47 - 13. Let s = l - 18. Let h = s - 16. Which is smaller: -1/4 or h?
-1/4
Suppose -b + 4*b - 35 = -i, -2*i + 81 = -5*b. Let y(w) = 37*w**3 + w**2 + 3*w + 3. Let v be y(-1). Let u = i + v. Is u bigger than 2?
False
Let w(l) = -4*l - 28. Let g be w(-8). Let d be 1/(-7)*(g + -19) + 0. Which is smaller: 3 or d?
d
Suppose 4*g - j - 3 = 6, -2*j = -6. Let b be (-20)/11 + (-8)/44. Is b equal to g?
False
Suppose -5*y + 38 = 4*i, 5*y + 2*i = 10 + 24. Suppose -3 + 39 = y*o. Let r be 4/6 + (6 - o). Which is smaller: r or -9?
-9
Suppose -3*y + 1221 = 5*i, -10*i + 5*i + 1223 = 4*y. Are i and 241 equal?
False
Let t = 3035 - 3032. Let j(i) be the third derivative of -i**6/120 - i**5/15 - 5*i**4/24 - i**3/2 + 2*i**2. Let c be j(-3). Is t < c?
False
Let b = 657 - 409. Let c = 2228/9 - b. Is 0 <= c?
False
Suppose -4*d + 0*d = -3*d. Suppose 3*h + 141 = 5*s, 0 = 5*s - h - d*h - 147. Is 28 at most s?
True
Suppose 3*b - 800 = -u + 110, -4*b - u = -1214. Is b greater than 305?
False
Let j be (-2)/734*391/9. Let d = j - 3291787/987597. Let h = d - -46/13. Which is greater: h or 1?
1
Suppose -3 = 6*w - 3*u + 3, 0 = 5*w + 2*u - 13. Let y = -119/13 + 8661/949. Which is smaller: w or y?
y
Suppose -390 = -20*o + 530. Is 46 greater than o?
False
Let j = 10 - 7. Let l = j + 0. Let d be l*-3*4/(-18). Which is bigger: d or 1/2?
d
Let q = -72 - -98. Let h be 26/42 - (-2)/(-6). Which is greater: q or h?
q
Let t = 49327/9 - 5475. Which is smaller: -0.2 or t?
-0.2
Let d = 72 - 163. Suppose -38*j + 32*j - 552 = 0. Is j > d?
False
Let j = 300 + -295. Which is smaller: j or -5?
-5
Let z be 1*36/(-18)*5/(-132). Is 1 smaller than z?
False
Suppose -3*h = -2*q + 4, 2*q + 4 - 12 = 4*h. Let i(m) = -m**2 - 8*m - 1 - 7 + m - 1. Let k be i(-6). Which is smaller: q or k?
q
Let t = -50119/3815 - 3/545. Do t and -12 have different values?
True
Suppose -4*l - 11 = 1. Let q(c) = -3*c. Let o be q(l). Let m be o/(-6)*4/(-15). Is m greater than or equal to -0.3?
True
Let p = -551 - -563. Is p > 17?
False
Let l be 2 + (-176)/(-60) - (-5)/(-1). Let y be (-23)/(-7) - (-2)/(-7). Suppose -z - 2*t + 4 = 2*t, -4*z - 3 = -y*t. Which is bigger: z or l?
z
Let y be 52/(-22) - 4/(-2). Let q = 246 + -247. Which is greater: q or y?
y
Let v = -1453/3 - -484. Is v less than or equal to -117?
False
Let r be (-5 + 41)*144/64. Is 81 less than or equal to r?
True
Let k be 2*(-1 + 3/2). Let w be -3*(-10210)/6675 - 4. Let g = w + 1/89. Do k and g have different values?
True
Let h = -856/15 - -2231/40. Which is greater: -1 or h?
-1
Suppose -27*g + 23*g + 24 = 0. Suppose 33 = 5*p - 7. Which is greater: g or p?
p
Let h = -0.068 - -0.578. Let k = 1.51 - h. Which is greater: 2/39 or k?
k
Let p(z) = -z**2 + 8*z - 1. Let k be p(8). Suppose 5*b - 11*d + 6*d + 45 = 0, -d = -5. Which is smaller: k or b?
b
Let s = 0.114 + 0.886. Which is smaller: -84 or s?
-84
Let h(n) = -2*n**2 + 12*n + 10. Let l be h(7). Let d be l/(-14) - 696/84. Is -5 bigger than d?
True
Suppose 17*h - 2236 = -9*h. Is h at least as big as 87?
False
Let q(p) = 2*p + 4. Let f be q(-9). Let v(k) = -k**3 + 8*k**2 - 10*k + 8. Let m be v(6). Let w be (8/m)/(f/10). Which is smaller: w or 3?
w
Let j = 5 + 5. Let x be 6/j*(-5 - -10). Suppose -5*g = -x*g + 28. Which is greater: g or -13?
-13
Let v = -1 + 1. Suppose -10*m - 16*m + 26 = 0. Let l be 697/(-246) + 3*m. Which is smaller: v or l?
v
Let u = -4 + 2. Let y = 8 + -5. Suppose -4 = y*d + d. Are u and d nonequal?
True
Suppose 0 = 4*z - 0*i - 4*i + 232, 2*i = 3*z + 171. Which is smaller: -57 or z?
-57
Let g = 40.5 - 37. Let x = g + -3.5. Let v = 3.9 + 1.1. Are x and v nonequal?
True
Let m = -22 + 33. Let a be (m/4 + -2)*8. Let f = -4 + a. Which is greater: -1 or f?
f
Let w = -563/8 - -70. Let f(j) = -3*j - 23. Let s be 2 + 39/(-3) + 3. Let c be f(s). Is c smaller than w?
False
Let n = 2.043 + -2.175. Which is smaller: n or 0.1?
n
Suppose -4*o + 111 = 5*m - o, -5*m - o + 107 = 0. Suppose 4*x + 11 - 30 = 3*c, -c + 5*x - m = 0. Is 8 at least as big as c?
True
Let w(l) = -30*l**2 + 42*l - 43. Let g be w(1). Which is smaller: g or -32?
-32
Let l(w) = 2*w + 5. Let f be l(-2). Suppose 4*t + 16 = 4*m, 0*m + m = -2*t + f. Suppose 3*h - 41 = -2*u, 5*u - h - 114 = m*h. Are u and 22 non-equal?
False
Let f be (3/(-10))/(1416/(-20260)). Let x = 5/118 - f. Does -3 = x?
False
Let k be 2/17 + (42336/(-2584))/14. Suppose 2*o + 5 = 1. Which is smaller: k or o?
o
Let w be -2*(11/(-2) + 0). Let l = 9947 + -9950. Is w greater than l?
True
Let l be (-2)/3 - 10/(-15). Suppose 2*x + 10 = 12. Is x greater than l?
True
Let l = 27 + -34. Let v = l + 6.9. Which is greater: 0.5 or v?
0.5
Let u = -371.1 + 428. Let k = 57 - u. Suppose -d = -0*d. Is d at most as big as k?
True
Let t = 25 - 23. Suppose -7*k = -t*k - 20. Suppose 0 = o - k*m + 9, -1 = -5*o - 2*m - 2. Is -1/12 not equal to o?
True
Let b(v) = -258*v**2 + 9*v + 11. Let j be b(3). Which is smaller: j or -2283?
j
Suppose 0 = -9*c - 12 + 849. Is 90 less than or equal to c?
True
Let b = 30398/15 + -2027. Is -6 greater than or equal to b?
False
Let u = 19.92 - -0.08. Let p = -23 + u. Does -7 = p?
False
Let b be (-16)/(-2 - -1 - 1). Let u(d) be the third derivative of -d**6/120 + 2*d**5/15 - d**3/6 - 2*d**2. Let m be u(b). Is 0 greater than m?
True
Suppose -66*k - 1327 + 35317 = 0. Is k less than 517?
True
Suppose 5*o - 10*o = -15. Suppose o*y - 2 - 3 = 5*v, 0 = 3*y. Suppose -3*g + g = 0. Is v less than or equal to g?
True
Let x be -1*2*(-2 + -2). Suppose 3*r = g + x - 2, 5*r - 10 = -3*g. Let z = -1/5 + -8/35. Which is bigger: z or g?
g
Let j = 152 - 147. Let t(k) = 3*k + 1. Let z be t(5). Suppose z = 5*w - w. Which is smaller: j or w?
w
Let p = -17 + 59. Let x = p - 42.1. Is x > 10?
False
Let p = 2538 - 372. Let y be (p/20)/(72/(-135)). Let u = 203 + y. Which is smaller: 1 or u?
u
Let m be 