11*w = -74. Which is greater: 29 or w?
29
Suppose -2*m = 5*p - 9, -m = -5*p + m + 1. Let o be (-6)/21 + (-24)/14. Let y be (p/o)/((-1)/(-4)). Which is smaller: -5 or y?
-5
Let d(m) = 2*m**2 + 24*m + 4. Let s be d(-11). Does -109/6 = s?
False
Let z(p) = p - 5. Let q(g) = 2. Let h(v) = 5*q(v) + 2*z(v). Let b be h(-3). Let w be (-6)/(-4)*b/(-9). Is w equal to 1/8?
False
Let h(n) = n + 11. Let y be h(-11). Let s be (y - 1)/((-15)/(-6) - 2). Is 1/7 smaller than s?
False
Let d be 0 + 3/(69/(-3958)). Let j = d + 172. Let y be 8/(-40) - 3/(-15). Is y equal to j?
False
Suppose 3*i - 4*i + 2*r = 445, 5*i = 5*r - 2215. Let h be (-6)/8 - i/(-308). Which is greater: h or 1/4?
1/4
Let b = 34 - 32. Let c = 17 - 17.02. Which is bigger: b or c?
b
Let o be ((-3835)/(-52))/((-1374)/(-56)) - 3. Which is bigger: o or -1?
o
Suppose -4*z = -4*d - 448, 3*z - 4*d + 6*d = 326. Let x = z + -2085/19. Is x > 1?
False
Let c be (-3397)/9 - 4/(-9). Which is smaller: c or -376?
c
Let j = -6968 + 1059145/152. Which is smaller: j or -1?
-1
Let q be (-6)/210*(-2 - 0). Which is greater: q or -1/16?
q
Suppose -5*q = 2*v + 326, -22*q + 25*q - 5*v + 177 = 0. Which is bigger: -67 or q?
q
Let h = -1 + 0.61. Let r = h + 2.39. Which is smaller: -1/12 or r?
-1/12
Suppose -132*f + 141*f + 81 = 0. Is -83/11 at least f?
True
Suppose 0*s - 10 = -2*s. Suppose 14*r - 110 - 2 = 0. Which is greater: r or s?
r
Let y = -14 - -13. Let k be (y + 2 - 3) + -3. Let x = -5 + 0. Are x and k non-equal?
False
Let j(g) = g**3 + 7*g**2 - g - 8. Let p be j(-7). Let s be p/(4/66) - (-6)/12. Is s bigger than -16?
False
Let h = -0.8 - -0.71. Let s = -186 - -185.8. Is h smaller than s?
False
Let t be -2*(-56)/(-64)*4. Which is greater: -4 or t?
-4
Let q(n) = -n**3 - 7*n**2 - 5*n + 1. Let l be q(-6). Let p(j) = 2*j**2 + 10*j - 1. Let b be p(l). Is b at least 0?
False
Let y be ((-10)/10 - 156)*(4 - 3). Is y at least as big as -159?
True
Let d be 0*(-2)/4*(-9)/27. Which is smaller: -11/9 or d?
-11/9
Let y = 233 - 242. Which is smaller: 11 or y?
y
Let t(w) = -w**2 + 7*w - 7. Let q be t(5). Let p be (-4 + q - 2) + 1*5. Which is bigger: -33 or p?
p
Let t = 4 + -2. Suppose 0 = -3*v - 15*v + 36. Is t smaller than v?
False
Let u(c) = c - 8. Let i be u(10). Suppose 6*y = 4*y. Suppose y*q - 5*q = 4*p - 15, i*q + 4*p - 18 = 0. Are q and 2/21 unequal?
True
Let s = 1 - -4. Suppose -s*p + 23 = 3*l, 5*p - 29 = 3*l - 7*l. Let a = l + -5. Is a smaller than 1/3?
False
Suppose -5*s = -s. Let v = -6 + s. Let m be 282/(-16) + 11 + (-9)/24. Which is smaller: m or v?
m
Let t be 256/(-690) + -5 + 54/10. Which is smaller: t or -0.1?
-0.1
Suppose 1871 = 5*q + 1916. Which is greater: -131/13 or q?
q
Let t be (-7 - (605 - 8)) + -4. Which is greater: -610 or t?
t
Suppose 2*d - 2*z - 28 = 0, 2*z - 24 = -2*d - 0*z. Let u(p) = -p**2 + 12*p - 14. Let c be u(3). Are c and d unequal?
False
Let t(q) = -7*q**2 + 24*q - 33. Let z be t(6). Is 0.1 at least as big as z?
True
Let r = -458159/8082 + -15/449. Let k = 113/2 + r. Which is smaller: k or 1?
k
Let g = -194 - -189. Which is smaller: 1.4 or g?
g
Let t(a) = a**2 + 2*a - 3. Let q be t(-9). Let z be (2/9)/(16/q). Suppose -2*l - 4 = 0, 5*l + 9 = 3*y - 4. Are z and y equal?
False
Suppose -20*w = -16*w - 64. Suppose 0 = 2*k + w*q - 18*q, 0 = 5*k - 2*q. Is k < 1/71?
True
Let u = 251 + -249. Which is smaller: 1/11 or u?
1/11
Suppose 0 = -4*m + 2*a - 9 + 5, -3*m = a + 3. Is -850 < m?
True
Let c = 16 - 15.68. Let h = -0.02 - c. Let w = h - -0.04. Is 3 at most w?
False
Let i = -44 - -8. Let x = 61 + i. Which is smaller: 1 or x?
1
Let g = 43.4 + -41.4. Which is greater: g or -2/95?
g
Let q be 6 + -4 + -1 + 0 + 22. Let k = 25 - q. Which is smaller: k or -5?
-5
Let y be (-9)/(-3) + 51/20. Let t = -29/5 + y. Is 42 at most t?
False
Let x be ((-3)/(-90))/((12/6)/128). Which is greater: 1 or x?
x
Suppose 7*k - 11*k + 6 = -3*n, -n = -2*k + 2. Is 2/25 less than k?
False
Suppose -4*m = -q + 13, 3*m + 1 = -5*q + m. Is q equal to 1/358?
False
Suppose -100*t + 109*t = 0. Which is bigger: 1/537 or t?
1/537
Let s be (-208)/(-360) - (-4)/(-5). Do -14 and s have different values?
True
Let o(r) = -3*r**2 + 4 - 5 + 2 - 2*r. Let g be o(3). Let u be (8/10)/(g/80). Is u less than or equal to -3/4?
True
Let h = 232 + -98. Let l = 70 - h. Is l greater than or equal to -1/3?
False
Let f be 2050/41 - (1 + -4 - -1). Suppose -7*w + f = -11. Is 7 <= w?
True
Let b be (-11)/((-22)/(-12)) + -4. Let q = -12 - b. Which is greater: q or -8?
q
Let k be 4/(-8)*(71 - -1). Let s = k - -69. Suppose 2*z = 7*z - t + s, -3*t + 39 = -5*z. Is -6 greater than z?
False
Let l = -188 - -432. Which is bigger: 246 or l?
246
Suppose t = 16 + 3. Suppose t*x = -6 - 13. Is 1 greater than x?
True
Let l = 0.385 + 2.615. Which is bigger: -0.2 or l?
l
Let z be (42/1155)/(2/10). Let o = 7 + -6. Let a = o - 2. Which is greater: z or a?
z
Let g be -1*(11 + (10 - 21)). Is g not equal to -20/119?
True
Let d = 6 - 43/7. Let q = -0.99 + -0.01. Is d not equal to q?
True
Suppose 3*x - x - 8 = 0. Let i = 321 + x. Let f = i - 4877/15. Are -1 and f non-equal?
True
Let x = 7 - 7. Suppose -8 + x = 4*b. Let d be b/((-4)/(-24)*-2). Which is smaller: 8 or d?
d
Let b = 116 + -113. Let t be (-2 + (-145)/(-15))/(1/b). Which is greater: t or 19?
t
Suppose 27*l - 31*l = 0. Is l >= -1/117?
True
Let a be ((-12)/(-8))/(3/(-8)). Let z be 50/4*(9 - (-646)/(-70)). Is z less than a?
False
Let s be (9/(-3))/(-4 - -5) - -5. Let b be (-28)/(-35)*15/2. Suppose s*g = -4*v - b, 0*v - 3*g + 11 = v. Is -3 greater than or equal to v?
True
Suppose -5*x - 4*y = -47, -4*x + 27 = 3*y - 10. Suppose 0*s - s - x = 3*w, 2*w = 4*s - 14. Let d be (s + -3)/(-1)*1. Do d and 2 have different values?
True
Suppose 0 = y - 3*y + 416. Let j be y/(-7) + 1 + (-4)/14. Is -29 smaller than j?
False
Suppose 1314 = 1999*f - 1990*f. Does 144 = f?
False
Let b be 2/6*(-54)/8. Let l(s) = s**3 + 4*s**2 + 2*s + 7. Let v be l(-4). Is v < b?
False
Suppose 240 = 11*k + k. Let v be ((-7)/(-5) - 1) + (-13)/k. Which is bigger: v or -2/7?
v
Suppose 2*u - 5 = 3*u + 4*i, 3*u - 3*i = 0. Let s be (u - 0) + 4 - 5. Let o be (-3)/s*(-2)/(-3). Which is smaller: 5/7 or o?
5/7
Let u(i) = -i**3 + i**2 + 5*i - 1. Let n be u(2). Let a = -1 - -6. Suppose 3*z + 8 = -4, -25 = -n*d + a*z. Is d at most 4/5?
False
Let t(k) = -k + 4. Let h be t(4). Let c be h + 3/(-9)*3. Is -1 >= c?
True
Let s = 1987/3 - 650. Let t = -13 + s. Suppose 0*f - f - 6 = -2*d, 4*d = 5*f + 18. Is f greater than or equal to t?
False
Let r(g) = -8*g - 5 - 5*g - g**2 - 8. Let d be (12/(-9))/((-62)/(-12) + -5). Let i be r(d). Is i greater than 27?
False
Suppose -5*w + 3*k - 172 = 0, -w - 2*w + 3*k - 102 = 0. Let m be 10/w - 570/14. Is 0.1 < m?
False
Suppose -64 = -11*z + 35. Are -70 and z unequal?
True
Let q = 2 + 3. Let r(d) = -207*d - 2891. Let a be r(-14). Which is smaller: q or a?
q
Suppose 4*n - 11 = -v + 3, v = -2. Let a(g) = g**3 + 9*g**2 - 8*g + 24. Let b be a(-10). Is n smaller than b?
False
Let b = -2.3 - -5. Let w be (27/18 - 3)*2. Is b <= w?
False
Suppose 11*i - 10*i = -457. Let x = i + 24222/53. Which is smaller: 1 or x?
x
Suppose -3*d = -5*d + 8. Let y(f) = -4*f - 4. Let p be y(-4). Suppose -d*o - p = -o. Is -4 < o?
False
Let i = 0.132 + 0.868. Is i < -90?
False
Suppose -5*o - 4963 = y, 5*o - y + 127 = -4840. Let u be 4 + 8/1980*o. Which is smaller: u or -1?
-1
Suppose -o + 12 + 8 = 0. Suppose 11*h = 7*h + o. Suppose -j - 2*j - 2*f + 5 = 0, -f = -j - h. Is -4/9 > j?
True
Let s be (-9)/(-5 - (-227)/(-2)). Which is greater: 1 or s?
1
Let p be 62/42 - (-2)/(-6). Let u = 1080 - 7562/7. Which is smaller: p or u?
u
Let a = -64.7 - -64.7. Let u = 15.24 + -15. Is u bigger than a?
True
Let y = 1.5 - -6.5. Let g(l) = 80*l**2 + 635*l - 48. Let c be g(-8). Are c and y unequal?
True
Let a be (-6 + (19 - 6) + -7)/(-1). Let y = -2744 - -35626/13. Let s = 926/247 + y. Is a at most s?
True
Suppose 2*m + 3*r = 3*m, -3*r = -5*m. Which is smaller: 361 or m?
m
Let v = -10.58 - -12.58. Let y = 16 + -9. Is v at most y?
True
Let s = -713/21 + 101/3. Is s bigger than 13/4?
False
Suppose -5*u + 2*a = 204, -47 = -5*u - 3*a - 241. Which is smaller: -41 or u?
-41
Let p = 4.4 - 0.4. Let g(h) = -h**2 - 20*h - 33. Let y be g(-2). Is y at least p?
False
Let m = 25 - 3. Is m bigger than 0.1?
True
Let r