25 = 0. Suppose 0*q + 5*p + 96 = 4*q, k = p. Let t be q/16*(-4)/6. Which is bigger: t or 2/9?
2/9
Suppose 130 = 5*r - 5*j, -10*r - 3*j = -12*r + 50. Which is greater: 191/7 or r?
r
Let w be (-1 - -472) + (0 - -1). Let m be (2 + 2476/150)*816/(-32). Let j = m + w. Which is smaller: 0 or j?
0
Suppose 0 = 4*a + 3*p + 12, 3*p + 12 = -3*a - 0*p. Let u = 21777/29 - 751. Is u < a?
True
Suppose 0*l - 16 = -2*l + 3*o, -5*l = o - 6. Suppose l*c = -7 + 9. Which is bigger: 2/15 or c?
c
Suppose 0 = -o + 11 - 6, 77 = -4*d - 3*o. Which is smaller: d or -19?
d
Let n(c) = -3*c**2 + 5*c + 19. Let u be n(-6). Is u smaller than -119?
False
Let c = 3 + -3.08. Let z = c - -2.08. Which is smaller: -0.3 or z?
-0.3
Let u = 32.4 - 36. Let q = u + 1.6. Which is bigger: q or -1?
-1
Let d be -122*2/((-16)/(-12)). Do d and -183 have different values?
False
Let p = 11326523 + -8012035. Let m = 96108640/29 - p. Let o = m + 397. Is 1 not equal to o?
True
Let t = 3 - 5. Suppose 2*d - 5*a = -2*d + 160, -3*d + 147 = 3*a. Let v be 9/d - (-1)/t. Which is smaller: v or 1?
v
Let j be -3 - 0/2 - -6. Suppose -4 - 21 = 5*f, -j*d + 3*f + 24 = 0. Suppose d*q = -3*h - 3, q = -5*h - 39 + 14. Is -8 at least as big as h?
False
Let x be -2 + (1/3 - (-64)/42). Let b be 0 + 2 - (1 - -2). Which is smaller: x or b?
b
Let w = -578 - -578. Which is smaller: w or -1/172?
-1/172
Let k be (-13)/(-4) - (-1)/(-4). Suppose -z - k*u = 6, 4*z - 20 = -4*u + 3*u. Let j(y) = y - 6. Let a be j(z). Are a and -4/3 nonequal?
True
Let u = -0.65 + 1. Let m = u - -1.35. Let g = m + -1.8. Which is smaller: g or -0.14?
-0.14
Suppose -15*w = 4*w. Which is smaller: -5/211 or w?
-5/211
Let h = 3.09 - 3.49. Let n = 5 + -12. Let w be (-2)/n*1/(-1). Which is bigger: h or w?
w
Let n = 6.17 + -490.17. Which is greater: -0.1 or n?
-0.1
Suppose 4*l = 7*l - 3. Suppose 3*a - 11 = l. Suppose 0 = 2*g + a*j - 4 - 0, -3*j = -5*g + 23. Which is smaller: g or -1?
-1
Let d = 2447/16785 - 13/90. Are d and -1 equal?
False
Let m = -105 - -99. Let l be (m/(-3) + -4)*(-3 + -4). Which is bigger: 17 or l?
17
Suppose -3*l - 5*x - 11 = 0, -5*x = 4 + 16. Let u = 125/26 - 30/13. Which is greater: u or l?
l
Let s be (-15)/10 + (-21)/(-6). Suppose 3*t + s*t = -25. Let u be 3 + ((-175)/(-11))/t. Are u and 0 non-equal?
True
Suppose -24 = y + 3*y. Suppose 0 = -3*c + 5*f + 11, 0*f + 4*f = 4*c - 4. Let h(z) = -2*z**2 - 3*z + 3. Let d be h(c). Is y less than or equal to d?
True
Let b = -14.4 + 14.2. Which is greater: -5 or b?
b
Let p = -0.27 + -2.93. Let l = -3.11 - p. Let h = 9 + -10. Are l and h unequal?
True
Let d be 14/14 + 491/(-493). Suppose 0 = -3*h + i - 1, -i - 6 = 3*h - 1. Which is smaller: d or h?
h
Suppose 303 = 6*f - 304 + 601. Let d = 2262/19 + -119. Is f greater than d?
True
Let l be 45 - (4 - 10)/3. Is l at most as big as 49?
True
Let p = 10 + -10.4. Let a = 25 - 24.87. Let v = -0.17 - a. Are v and p equal?
False
Let o = 73 - 66.4. Let n = -6.7 + o. Are n and 8 nonequal?
True
Let v = -30 + 33. Let t = v + -2.9. Is t less than or equal to 20?
True
Let q = -10941.86 + 10833. Let a = -109 - q. Is 3 > a?
True
Let a(u) = -3*u - 9. Let k be a(-5). Suppose -7 = -t - k. Let j be (0 - -3) + t + -3. Is 2/11 at most j?
True
Let q(y) = y**3 + 9*y**2 + 12*y. Let o be q(-6). Are o and -1/11 nonequal?
True
Let x be (-13 + -2)/5 - -11. Suppose -4*j - x*j - 216 = 0. Is j less than -17?
True
Suppose -3*b + 27 = -0*b. Let i = -16 + b. Let o be -4 + i/(7/(-2)). Which is bigger: o or -7/5?
-7/5
Suppose -q + 6 = -2*i - 0*i, 4*i - 5*q + 24 = 0. Suppose -4*k = 2 - 18. Let x be ((i - 1) + k)/2. Which is bigger: 2/15 or x?
x
Let l = -0.06 + 0.15. Let d = 1.49 - l. Which is smaller: 0 or d?
0
Let v = 0.5 + 0.5. Let s = 0.03 - -0.87. Let j = s - v. Is 4 greater than j?
True
Suppose 0*n - 16 = 8*n. Let q be (15 - 17) + (-1 - n). Which is smaller: q or -1/49?
q
Let p(l) = 7*l + 308. Let f be p(-44). Is -15/112 less than or equal to f?
True
Let j = -9/43 - -70/129. Is j > -1.3?
True
Suppose 0 = 45*m - 38*m + 14. Let w(f) = -18*f + 4. Let s be w(m). Which is smaller: s or 0?
0
Let x be 4/(((-9)/(-27))/(2/2)). Which is smaller: x or 19?
x
Let w be (((-27)/6)/((-3)/(-4)))/7. Suppose 5*f = 3*f - 2. Is w greater than or equal to f?
True
Let w(y) = -4*y**2 - 9*y. Let f be w(-4). Let p = -43 - f. Is -14 greater than p?
True
Let b = 65.1 - 65. Which is greater: 33/2 or b?
33/2
Let r(a) = -a - 1. Let i be r(-3). Suppose 3*m = -i - 4. Suppose 3*l - 2 = -2*s, 4*s = 3*s - 4*l + 6. Is m smaller than s?
False
Let f be (-98)/(-344) - (-60)/(-80). Is f at least 0?
False
Suppose -3*o = -8*o - 505. Let q = -71 - o. Which is smaller: 29 or q?
29
Let p = -0.71 + 9.31. Let o = 8 - p. Is -3 at least o?
False
Suppose -5*k - 131 = d + 13, 2*k + 36 = 5*d. Let u(w) = -14*w + 111. Let z be u(10). Is z >= k?
False
Let p = -1.25 - -0.61. Let u = 0.04 + -0.2. Let k = p + u. Which is bigger: k or -1/2?
-1/2
Let z(u) = -u + 3. Let i be z(3). Let b = 160022/37 - 4325. Do b and i have different values?
True
Let y be (24/8 - (-6)/(-2))/(-3). Is y greater than -2/613?
True
Let o = 2/825 + -37/1650. Let q = -207/5350 - o. Which is bigger: q or -1?
q
Let p = -16/7 - 55/28. Do -0.8 and p have different values?
True
Suppose -v = -6*v + 20. Suppose 0 = -4*o - 0*o - v. Which is smaller: o or -16/7?
-16/7
Let f = -98 + 102. Which is smaller: f or 2?
2
Suppose 10 = -657*p + 659*p. Which is smaller: -0.28 or p?
-0.28
Let i be (-1*1)/(-1 - 0). Let r be ((-6)/(-175)*5)/(20/28). Is i smaller than r?
False
Let q = 5.6 - 4. Let r = 1.58 + 0.02. Let x = r - q. Is -0.1 at most x?
True
Let a = -268 + 268.1. Let s be (6/(-4))/(876/(-16)). Is a greater than s?
True
Let p be 2 + ((-4)/(-3))/(120/(-452)). Let d = 14/5 + p. Which is bigger: -1 or d?
d
Let o = 854 + -867. Let x be 26/4*2*1. Let i = o + x. Do 0 and i have the same value?
True
Suppose 0 = 94*o - 33*o + 16836. Is 0.4 greater than or equal to o?
True
Let r = 508.56 + -510. Which is greater: r or -5?
r
Let k = -34 + 13. Let y = -20 - k. Let u be (-4)/(-56)*-2*y. Which is smaller: u or 1?
u
Let c be (35/10 - 4)*6. Let z = 15 - 6. Let q be (4/12)/(c/z). Which is smaller: q or -3?
-3
Let s = 147.3 + -46.3. Which is greater: -1 or s?
s
Let p be (-4)/(-10)*(-35)/791. Let w = 446/339 - p. Let l = -2161/7 - -309. Is w less than or equal to l?
False
Let x = -27365 - -190959/7. Is -85 <= x?
False
Let c = -4223 - -1274. Which is greater: c or -1?
-1
Let k = 4 + 0. Suppose k*i - 2*t + 10 = 0, -2*i + 0*i + 10 = 2*t. Let j be -1 + (104/(-26) - (-9)/2). Is j greater than i?
False
Let j = 273 - 183. Let v = 90 - j. Which is bigger: 22 or v?
22
Let f be (-1848)/(-484)*(1 - (-437)/(-3)). Let p(c) = 277*c + 2. Let m be p(-2). Let l = f - m. Is l smaller than -1?
False
Let r = -20 - -24. Let o(t) be the second derivative of -t**5/20 + t**4/3 + t**3/6 - 3*t**2/2 - 5*t. Let y be o(r). Is -0.08 not equal to y?
True
Let s = -32 - -46. Let o(p) = -5 - 4*p**2 - 108*p + 106*p + s + p**3. Let a be o(4). Which is bigger: a or -0.23?
a
Let j = 1450 - 1189. Which is bigger: -0.1 or j?
j
Let k(m) = -m**3 - 23*m**2 - 14*m + 167. Let n be k(-22). Let c be 2/(-6) + (-20)/3. Which is smaller: n or c?
n
Let m(d) = d**2 - 26*d + 6. Let f be m(23). Which is bigger: f or 5?
5
Let l(g) = g**3 + 4*g**2 - 4*g - 7. Let m be l(-5). Let p(o) = -12*o + 27. Let y be p(3). Are m and y nonequal?
True
Suppose 12*v + 725 = 185. Is v at most as big as -49?
False
Let r be (-4)/((-8)/(-6))*5/3. Let b be ((-2)/25)/(-4 + (-17)/r). Suppose -5*l + 4 = -q - 5, 12 = 4*q + 4*l. Which is bigger: b or q?
q
Let t be 0/((-3)/1) - 84/(-27). Let b = 10/3 - t. Which is smaller: -1/4 or b?
-1/4
Suppose -4*v + 14 = -2*v - 4*i, -3*v + 5*i = -19. Let n be 111/505 + v/(-15). Let p = 93/404 + n. Is p smaller than -1?
False
Let t be 1 + ((-12007)/8789 - 0). Let w = t - -2/799. Which is bigger: -1 or w?
w
Let y be (1/(-2))/1*-12. Let m be 34/17 - 16/y. Suppose -5*f + 4*a = 3*a + 14, 10 = -f + 2*a. Which is bigger: m or f?
m
Let w be 19/1 - (-5 - -3). Suppose -w = -d + 4*d. Let r be ((-7)/d)/(1/1). Is 1 less than r?
False
Let l = 29 + -44. Let v be -2 - (-49 + -2 - -1). Let i = 32 - v. Is i <= l?
True
Let q = -233/14 - -141/7. Let g = -0.25 - 0.05. Is q smaller than g?
False
Let h be 58/5 + 28/70. Let q(d) = -d**3 + 10*d**2 + 23*d + 13.