-628)/315 - (-5 - -3). Let g be (41 + -41)/((0 + -2)/2). Which is smaller: g or l?
g
Suppose u - 15 + 12 = 0. Suppose g = -g + 30. Suppose -57 = -u*w + g. Which is bigger: 23 or w?
w
Let f = -1/355 + 364/3195. Let s = 1 - 1. Is f at most as big as s?
False
Let g = -51.05 - -50. Let o = g - -0.85. Which is smaller: 4 or o?
o
Suppose -5*y - 5*k - 8 = 7, -2*k = -2. Let q = -19 + 14. Is q less than or equal to y?
True
Suppose 3*u = 5*b + 206, 3*b + 4*u + 78 = -34. Which is greater: b or -44?
b
Let v = 1897 - 3589/2. Let f = -102 + v. Is f at most 0.25?
False
Suppose -36 = -3*k - 33. Let v be (k - 3)*(-2)/(-4). Which is greater: v or 20?
20
Let k = 5 - 76. Let t = 45.8 + k. Let r = t + 25. Is -9 greater than r?
False
Let o = -28 - -82/3. Let x = -0.93 - 4.07. Is o less than x?
False
Suppose -13*c + 8*c = 0. Let x(g) = g**2 - g + 10. Let h be x(c). Is h smaller than 10?
False
Let k = 101443/13 - 7808. Is k > -5?
True
Let f = -1601 - -1539. Are f and -60 nonequal?
True
Let q be (4/(-2))/(2 + -1). Let g = 8 + q. Suppose 0*s + 4*s = -3*w + 10, -3*s = 3*w - g. Which is bigger: -3 or w?
w
Let h = 0.446 + -0.246. Let q = 6 + -5. Is q bigger than h?
True
Let t = 43 + -31. Let r be (-4)/(-10)*(-20)/t. Which is smaller: r or 0.21?
r
Let g = 377528491/343915 + 8120/6253. Let i = 1099 - g. Let c be 2/4*0/1. Is c less than i?
False
Let k = -305 + 310. Suppose k*w - i = 7 + 15, 0 = w - 4*i - 12. Let m = -335 + 2367/7. Which is bigger: w or m?
w
Let c(n) = n**2 + 11*n - 12. Let q be c(-14). Suppose -x - q = -0*x. Let h = x + 30. Is -1/5 at least h?
False
Let t = 530 + 239. Which is smaller: t or 770?
t
Let d(p) = -17*p + 143. Let s be d(8). Which is bigger: s or -9?
s
Let x = -12 + 17. Suppose -x*a - 90 = -8*a. Suppose 0 = -5*d + 3*d + a. Which is smaller: 16 or d?
d
Let h be ((-22)/4)/(3/(-6)). Suppose -801 + 713 = -8*x. Is h <= x?
True
Let n = 2.63 - 2.2. Let l = -22.43 + n. Let s = 22 + l. Is 6 less than s?
False
Let c = 307840/19 + -16198. Is 4 greater than c?
False
Let t(v) = 5*v. Let g be t(-6). Let l = g - -53. Is l greater than 23?
False
Let b be 4/(-14) + -14 + (-2860)/(-210). Which is smaller: -1649 or b?
-1649
Suppose -26 = -5*b + 9. Let t be -6 + 0*(-1 + 0). Let x be (-16)/t - (-2)/(-1). Which is smaller: x or b?
x
Let n = 62 - 92. Let s = 28 + n. Is -2/9 bigger than s?
True
Let a(c) = c**2 + 10*c - 24. Let t be a(-12). Suppose 3*h - 3*p = h - 2, t = 5*h - 3*p + 23. Which is greater: h or -8?
h
Suppose -2*c - 25 = 3*c, -3 = q - 3*c. Let v be ((-8)/(-222))/(12/q). Is -1 > v?
False
Let t(n) = -n**2 + 4*n - 1. Let f be t(5). Let y(k) = -2*k + 6. Let m be y(4). Let l be (-8)/(-12) + m/f. Do l and 4 have the same value?
False
Let s(p) be the first derivative of p**4/4 + 10*p**3/3 + 6*p**2 + 12*p + 3. Let r be s(-9). Is r != -0.1?
True
Suppose 8*b - 3*b = -3*g + 19, 0 = 2*g - 3*b. Let z = -58 + 146. Suppose 4*u - g*n = z, -137 = -5*u + 4*n - 27. Which is bigger: u or 21?
u
Let p = 2/2251 - 60791/15757. Let g = p + -241/21. Is -16 less than g?
True
Suppose 12*p - 9*p = h - 4, p = 5*h + 8. Let a = 127/517 - 50/47. Do h and a have different values?
True
Suppose -394 = 12*b + 374. Let y = 17 + b. Is y at most as big as -48?
False
Let d be ((-10)/(-3))/((-2)/(-6)). Suppose 3*l - g = d, 3*g = -3*l + 6 - 0. Let z be (-13)/4 + l - -1. Is 2 >= z?
True
Let b be ((-6)/(-24))/((-3)/4). Let d = b - -7/12. Which is smaller: d or -1?
-1
Let b = -4582 + 4581. Let d be (-86)/40 - 2/8. Which is smaller: d or b?
d
Let n = -56 - -35. Let d be 7/n - (89/3 - 1). Is d greater than -29?
False
Let c be 38/6 - 7 - 37/(-15). Is c != 2?
True
Let n(g) = 2*g + 19. Let y be n(-10). Do y and 1/160 have the same value?
False
Let v = 671 - 681. Which is greater: -0.18 or v?
-0.18
Let u = -6867 - -34454/5. Is 23 > u?
False
Let n be (-2)/1*(99/6)/(-11). Let i be (6 - 5) + (-3 + n - 3). Is -6/11 at least as big as i?
True
Let q be (-2)/8 + 318929/(-780). Let m = q - -409. Which is bigger: 0 or m?
0
Let p be ((-2)/22)/((-3)/(-2)). Suppose -3*d + 4 = -f - 4, -16 = -4*f. Suppose -7*i - d = -3*i. Which is greater: p or i?
p
Suppose l + t + 8 = 0, -5*t = 4*l + 10 + 22. Is l smaller than -6?
True
Let d = 16011 + -4034767/252. Is d at least -1?
True
Let u(c) = c**2 - 3*c + 31. Let a be u(9). Let d = -14 + a. Which is smaller: d or 72?
d
Let l(r) be the first derivative of -5*r**2/2 + 14*r + 4. Let d be l(6). Let b = 6 + d. Which is smaller: b or 1?
b
Suppose 2 = -2*h + 46. Let x = 76/3 - h. Suppose 18 = p + 16. Are x and p non-equal?
True
Suppose 50 = 3*t + 8. Let z = -23 + t. Let s = 9 - 17. Which is bigger: s or z?
s
Let s = 624 - 517. Is 108 less than or equal to s?
False
Let z = -1.904 + -1152.096. Which is greater: -1 or z?
-1
Let m be 2/10 - 18/(-10). Suppose 5*y - 15 = -5*s + s, 24 = -4*y + 4*s. Is m less than y?
False
Suppose 0 = 4*x + 32*m - 30*m - 4, 3*m = -x + 1. Is -4/71 at most x?
True
Suppose 0 = -67*y + 82*y - 1725. Which is smaller: 112 or y?
112
Suppose -20 = -5*i, -h + 5*i - 1132 = 3*h. Let u = h + 161. Is -117 < u?
False
Let f be 4/(-6)*(-27)/6. Suppose -94*l + 91*l = 0. Suppose -y + f + 0 = l. Which is smaller: y or 0?
0
Let i be -3 - (-214)/4 - 2/4. Is i at most 46?
False
Let u = -41/42 - 5/14. Suppose -11*l = -2*l. Which is smaller: l or u?
u
Suppose 0 = 4*b - 5*b. Let w be (4/(-4 + b))/(-67). Is w smaller than 0?
False
Let a = -13 + 17. Let s(n) = -n**2 + 5*n - 4. Let i be s(a). Suppose -3*l + 7*l + 4 = 0. Is i at least l?
True
Let m = 502491 - 381390791/759. Let d = m - -1/33. Which is smaller: d or 1?
d
Let z = -0.8 - 26.2. Let q = z - -26.9. Is q smaller than -23?
False
Suppose -8*y = -3*y + j + 2, 7 = 2*y + 3*j. Suppose -532 = 13*h - 103. Let i be 141/h + 2 - y. Is -1 smaller than i?
False
Let q be (0 - -1)*-4 - 42/48. Is q <= -4?
True
Let m = 2 + -8. Let x be (5/(-5))/((-4)/(-52)). Let z = x - m. Which is smaller: z or -8?
-8
Let d = 187 + -293. Is -106 < d?
False
Let n(u) = -u**2 - 15*u + 7. Let w(o) = -o. Let d(x) = -n(x) + 6*w(x). Let l be d(-10). Does l = -8?
False
Suppose 9 = 3*i - 15. Suppose 5*r + 8 = i. Let z be ((-6)/(-15))/((-6)/(-10)). Are z and r unequal?
True
Suppose -5*a - 25 = w + 4*w, 4*w + 16 = -3*a. Let v be -5*(-2)/6*3. Let k be (-5 + 150/12)*(-4)/v. Which is bigger: k or w?
w
Let c = -0.02 - 2.98. Let n = 2 + c. Let l = n - -4. Which is smaller: -0.2 or l?
-0.2
Suppose o + 10 + 3 = -3*s, 4*s = -5*o - 43. Let q = -5 - o. Suppose -5*h + 20 = 0, 3*k + 3*h = -q*k + 52. Which is greater: -0.1 or k?
k
Let j(v) = v**2 - 13*v - 6. Let r be j(13). Let h be 0 - -2*(-9)/r. Which is smaller: h or 8?
h
Let z be (-34)/680*(-8)/(-26). Is -1 greater than z?
False
Let c be 6380/24880 - 1/4. Which is smaller: c or 0?
0
Suppose 0*n = 5*n - 165. Let i be 19/n - (-12)/(-18). Suppose 0 = -5*u + 4*u. Which is smaller: i or u?
i
Let j = 5.7 + -6. Let h = -0.86 - -0.36. Is j equal to h?
False
Let g = 4/1781 - 3189/626912. Let q = -1751/3168 + g. Is q at most -2?
False
Let b = 62.3 + -60.3. Is -0.36 less than b?
True
Let u(p) = -p**3 + 7*p**2 + 4*p - 4. Let o be u(7). Let j be (o/(-9))/(8/24). Which is greater: -7 or j?
-7
Let y = 343.67 + -344. Which is greater: y or 0.1?
0.1
Let m = 201 - -331. Is -0.1 less than m?
True
Suppose 12*p + 13*p - 750 = 0. Which is smaller: 402/13 or p?
p
Let w = 2643 + -2628. Let f(o) = 14*o**3 - 2*o + 1. Let v be f(1). Which is bigger: w or v?
w
Let s = 739 + -697. Do s and 298/7 have different values?
True
Suppose 5*b = -4*j - 13, 0*b = 2*b - j. Let l be 6 + 855/(-430) + -4. Which is greater: b or l?
l
Let a(r) = -2*r**2 - 35*r - 95. Let f be a(-16). Which is bigger: -49 or f?
f
Let k = 44 - 33. Let f = -2 + k. Suppose m = -2*x - f, 6 = 3*m + 2*x + 17. Is m >= -1/26?
False
Let b = -183/22 - -33/4. Let z be -3*3/(-9) - 1. Do z and b have the same value?
False
Suppose 0 = p + 216 - 17. Are p and -199 equal?
True
Let c(u) = u**2 - 5*u - 2. Let o(w) = -w**2 - w. Let g(q) = c(q) - 4*o(q). Let d be g(-1). Do d and 4 have the same value?
True
Suppose 10*c - 5*c + 10 = 0. Let s(m) = m**3 - 17*m**2 - 2*m + 9. Let f be s(18). Let k be -2 - (2/(-11) + (-342)/f). Is k at least as big as c?
True
Let h = -2/5 - 1/10. Let z = 43.2 + -49. Let b = 2.2 - z. Which is smaller: b or h?
h
Let v be (27/(-18))/((-3)/(-10)). Let s be v/(-100)*5 + 35/4. Are 9 and s n