4) + -1. Let y(j) = j**2 - 13*j + 9. Let x be y(5). Which is greater: x or m?
m
Let t = -2240 - -2311. Which is greater: 16 or t?
t
Let o(y) = y + 12. Let d be o(5). Let w(r) = 11*r - 6*r - 4*r + d. Let l be w(-16). Is l less than or equal to 1/10?
False
Let q be ((-2)/2)/((-3)/9). Suppose -4*y + v + 5 = 0, 2*v - 6*v - q = y. Let i be 168/49*(-1008)/(-2112). Which is smaller: i or y?
y
Let j = 0.04 - 0.28. Let n = 0.14 + j. Let a = 189 - 190. Which is bigger: a or n?
n
Let b be 2/(-9) - (-340)/153. Let m(g) = 4*g**2 + 4*g - 10. Let s be m(b). Which is greater: s or 15?
15
Suppose 12*i - 945 = 7*i - 5*m, 5*i - 975 = 5*m. Suppose -i*w = -188*w. Are 1/596 and w unequal?
True
Let h(r) = -2*r**3 - 3*r**2 - 2. Suppose 0 = d - 2*s - 18, -7*d = -4*d + 4*s - 44. Suppose 0 = 3*x + 2*f + d, -5*x + 4*f + 4 = -6. Let q be h(x). Is 0 <= q?
True
Suppose 2*c + 7*c - 183 = d, -4*c - 4*d + 108 = 0. Which is smaller: 544/27 or c?
544/27
Let h = 1054 + -3038/3. Suppose 0*i = i + 42. Let y = i + h. Is -0.1 less than y?
False
Let z be ((-28)/2298*3)/((-11)/(-22)). Let b = -2771/53620 - z. Is 0 equal to b?
False
Let r = 0.88 - -0.56. Let m = 1.4 - r. Let l = 0.02 - m. Which is bigger: l or 0?
l
Let h = 5.3 + -7.4. Suppose -o + p + 0*p = 66, -o + 2*p = 66. Let v be o/(-99)*((-4)/(-6))/(-2). Does v = h?
False
Let s = 11158 + -11157. Is 4949 greater than s?
True
Let l = -50.1 + 46. Let c = 4.19 + l. Let u = 0.08 - c. Does 0.1 = u?
False
Let x = -9780 - -9771. Is x greater than or equal to -246/29?
False
Suppose -19*y = 22*y - 3895. Let u = y + -122. Which is smaller: u or 3?
u
Let t = -211/5 + 85/2. Suppose 2*a = -9 + 11. Suppose 0 = -4*u + 5 - a. Which is bigger: u or t?
u
Suppose -4*l = -5*w + 2*w - 25, 2*w = -5*l + 14. Let f(n) = 29*n - 59*n - l + 5 + 29*n. Let b be f(1). Is 2/7 not equal to b?
True
Let l = -890 - -535. Let b = l - -354.93. Is 1/7 at most as big as b?
False
Let m = -20.27 + 19.88. Which is greater: m or 55?
55
Let p = -259 + 263. Suppose i = 3*u - 38, p*u = -2*i - 17 - 9. Which is greater: i or -4/11?
-4/11
Let v = 18767/11 - 1706. Let z = 6 + -7. Is z at least as big as v?
False
Let b = 62.4 - 62.2. Which is smaller: 1/26 or b?
1/26
Suppose -58812 = -16*u + 51748. Let b = 2176648/315 - u. Which is smaller: b or 0?
b
Let p(b) = 4*b + 44. Let j be p(13). Suppose -j = -11*q + 234. Which is smaller: 31 or q?
q
Let r = 740611/9989 - -2/9989. Let h = r - 72. Which is smaller: h or 3?
h
Let i be ((-8)/20*1025/55)/(-6). Let c = -10/11 + i. Which is bigger: c or -1?
c
Let n be ((-13)/26)/(-1*(-3)/(-6)). Let l = 599/308 + 15/44. Is l at least as big as n?
True
Let s = 21 - 52. Let n = s + -24. Let a = n + 54. Is a != 3?
True
Let i = 430 + -101. Suppose -7*g + 2000 = -310. Which is greater: g or i?
g
Let h(m) = -2*m - 2. Let z be h(-3). Let f = 236 - 212. Suppose -314*r + 308*r + f = 0. Are z and r non-equal?
False
Let z = 2/797 - 5589/3985. Which is greater: z or -15?
z
Let z = -643 + 641. Is -88 > z?
False
Let f(k) = 12*k**2 + 26*k + 51. Let j be f(-2). Suppose -3*p + 2*q + 26 = 0, -49*q = -j*q + 8. Which is smaller: -11/7 or p?
-11/7
Let o(w) = w**3 + 49 + 2*w**2 + 3532*w + 19*w**2 - 3552*w. Let i be o(-22). Let v be 118/24 + 1/(-4). Which is greater: i or v?
i
Let t = -22.1 - -22.116. Let p = t + -42.016. Is p >= -1/6?
False
Let l(b) = b**3 - 26*b**2 + 28*b + 31. Let z be l(24). Let m = -452 - z. Which is smaller: -32/21 or m?
m
Let c = 16 + -17.1. Let d = -1.95 + 2.87. Let z = c + d. Does 0 = z?
False
Let p(i) = -1. Let v(u) = -30*u + 32. Let k(z) = -4*p(z) - v(z). Let g be k(2). Let l = -12 - -43. Is g > l?
True
Let t = -7883 + -15269. Which is bigger: t or -23153?
t
Let x = 794 + -647. Which is smaller: 1920/13 or x?
x
Let k be (12/(-9))/((-5)/(-3)). Let d be ((-2)/(-6))/(19/228). Suppose 15*o = 11*o - d. Is o smaller than k?
True
Let d be (-8)/(-7) - ((-890514)/21)/18. Which is greater: 0 or d?
d
Suppose -7*h + 2*h - 185 = 0. Suppose 3*t - 21 = 0, 917 - 867 = -z + 2*t. Which is bigger: z or h?
z
Let x = -5884 + 5883.9. Is 2.53 smaller than x?
False
Let r = -117.1 + 16.1. Let o = r + 101.4. Let m = -335/8 - -42. Do o and m have different values?
True
Suppose 73463*v = 73454*v - 180. Is -137/7 at least v?
True
Let y be (0 + 2)/(-4*(-1)/12). Suppose -y - 10 = -4*b. Suppose 5*m = m + b. Which is bigger: 4/7 or m?
m
Let g = -173 + 725. Let l = g - 924. Is -372 at least l?
True
Let t = 126272/5 + -25254. Let z = -4 - -8. Let s = -4.4 + z. Which is greater: s or t?
t
Let c be (-18 + 20)/((5/(-6))/(-5)). Suppose -209 = c*j - 41. Let o = -0.03 - 0.37. Is j < o?
True
Suppose 0 = -l - 5*v + 5, l + 0*l + 1 = v. Suppose 5*h + l*p - 605 = -p, 0 = -5*h + 2*p + 590. Is h < 0?
False
Let t(b) = -37*b - 213. Let p be t(-6). Suppose -2*n - 12 - 5 = -o, -o + p = -4*n. Suppose 5*c - 128 = 4*r, 0 = -3*c + 7*c - 3*r - 102. Which is bigger: c or o?
o
Let d = -1.53 + 79.53. Let s = 5.2 + -81.2. Let a = d + s. Which is smaller: 24 or a?
a
Let f = -224391723/171895 - 2/34379. Let b be -1*(1304 + -2 + 2/(-2)). Let k = f - b. Is k at least as big as -5?
True
Let o = -6377 - -6509. Which is bigger: o or 138?
138
Suppose 5*i + 6*l - 29 = 0, 5*i - 3 = 5*l - 18. Which is greater: i or -16/105?
i
Let o = 9172006963/2392 - 3834451. Let u = -1/184 - o. Is 0 at most u?
False
Let v = 9191842/359 - 25604. Which is smaller: v or 0?
0
Let a be 4*51/48*52 + -3. Let c be a/28 + (-64)/8. Suppose -4*z - 4 = -0. Which is smaller: z or c?
z
Let s = 29 + -69.1. Is 0 less than or equal to s?
False
Suppose -2 - 5 = -m. Suppose 114 - 9 = m*t. Suppose 3*s = 4*s - 14. Is t less than s?
False
Let n = -2577 + 2577. Which is greater: 4/1907 or n?
4/1907
Let x(f) = -6*f - 37. Let z be x(-7). Suppose 20 = 4*v + z*a + 80, -3*a = 2*v + 30. Is v at most -17?
False
Let m be 29/((-174)/(-108)) + 0. Let i be (2 + -2)/(-1) - -1. Suppose 4*o + m = q, 2*o + i = q - 9. Is -7 greater than or equal to o?
False
Let u = -286.53 + 286.63. Which is greater: -1107/7 or u?
u
Let g be 2/(1*-1) - 0. Let x be ((-84)/1008)/((15/(-130))/(-3)*1). Which is bigger: x or g?
g
Let f be (46/(-184))/(10/(-9680)). Is 130 less than f?
True
Let y(z) = z**2 + 10*z. Let d be y(-10). Suppose w + 13 - 7 = d. Let u be 13/(-3)*w - -1. Which is smaller: 26 or u?
26
Let v(g) = 16*g**2 - 4*g + 2. Let k(c) = 17*c**2 - 4*c + 3. Let q(a) = 3*k(a) - 4*v(a). Let b be q(-1). Let l = 1 + -19. Is b at least as big as l?
True
Let m be (-467 + 29)/(((-12)/3)/(-12)). Are -1314 and m equal?
True
Suppose 0 = -3*z - 0*z - 6*z - 1242. Is z <= 3?
True
Suppose 3*k + 3 = -3*h, -6*k = -k + 2*h - 7. Suppose -k*p + 4*x = 284 + 14, 0 = 3*x + 6. Let g = p - -102. Which is greater: g or 2/47?
2/47
Let s = 12558 - 238591/19. Do 0.07 and s have different values?
True
Suppose f - 4*d = 14, 2*d + 4 = -4*f + 5*f. Let u be 20/(-28) - (1 + 5/(-7)). Let b be ((-189)/(-186) + u)/((-1)/f). Is b < 0?
False
Let d = -21 - -11. Let i = -18.81 - -17.81. Is i at most as big as d?
False
Let r(t) = t**2 + 86*t + 1585. Let d be r(-27). Is -182/23 != d?
True
Let f be (6/15)/(1*3/30). Let x be (5 - 4) + 24/4. Which is greater: x or f?
x
Let h be 1*113/(-4) + (-1)/(-4). Let p be (-4 + 2)*(h/8)/7. Let a be (-1188)/(-15) + (-1)/5. Is a smaller than p?
False
Let p = 4546 + -4545.99. Which is smaller: -192 or p?
-192
Let o = -1143 - -1378. Is o greater than or equal to 8?
True
Let d = -11655 - -6963. Is d smaller than -4692?
False
Suppose m + 5*h - 20 = 0, 5*m + 5*h = 3*m + 40. Suppose 5*b + y - 94 = 0, -y + 6 - m = -b. Which is smaller: 2 or b?
2
Let r = -430 - 261. Let h = r - -699. Is h at least as big as 13?
False
Let v = 9990692/3949725 + -302/12153. Let p = v + -3/650. Which is smaller: p or 7?
p
Let o be (-2 - 1375880/(-773892)) + 10 + 528/(-54). Are -1 and o unequal?
True
Let p = -4684 - -4671. Is p less than -101?
False
Suppose -20 = 2*f - y - 4*y, -5*y + 20 = f. Which is bigger: f or -2/7157?
f
Let z = -362 - -373. Let u = 655 - z. Is u > 644?
False
Let o be (4/(-16) + 0)*-8. Suppose 5*p - 91 = 4*c, -p - 11 = -o*p - c. Which is smaller: p or 180/13?
180/13
Let r(b) = 5*b**2. Suppose v + 4 = -v. Let q be r(v). Let w = q - 30. Which is greater: -6 or w?
-6
Let p = 8926 + -7945. Which is bigger: 982 or p?
982
Let j be (-501)/(-18) + (-26)/(-156). Is -9 < j?
True
Let w be -14*-2*(-2)/(-36