 = -651 + 768. Suppose 0 = 97*z - o*z - 460. Let d be (-2)/8 - (-174)/(-8). Do z and d have the same value?
False
Let u(j) = j**3 - 4*j**2 + 2. Let x be (2/6)/(39/468). Let r be u(x). Are r and 36/13 equal?
False
Suppose 2*r + 85*d - 86*d = -1, 2*d + 4 = -2*r. Which is smaller: r or 4/1441?
r
Let v = -58 - -66. Suppose -v*s + 5*s + 16 = -q, q - s = -8. Is q > -5?
True
Let c be ((-370600)/(-105))/(-34) - 2/28*-2. Is -104 < c?
True
Let q = 24 - 35. Let d be (-6)/(-2)*(498/9 - -1). Suppose -d*j = -170*j - 11. Is j bigger than q?
False
Let s = 77 - 78. Let j(k) = -77*k + 1. Let n be j(s). Let f = -79 + n. Which is greater: 1/46 or f?
1/46
Let q = -33965.12 - -33965. Suppose 5*g - 7 = 2*j + 4*g, 4*g - 8 = 4*j. Let r be (-3)/j - (-44)/(-60). Which is greater: q or r?
q
Suppose -3*v - v = -2*l + 64, l - 30 = 3*v. Suppose 10*z = -l - 24. Let a be ((-14)/7)/(4/z*3). Are a and -9 unequal?
True
Let s = -220 - -192. Let g be 8/s + 1704/6062. Which is smaller: -1 or g?
-1
Suppose -17*x - 12606 = 10548. Does -1363 = x?
False
Let y(s) = 30*s**2 - 62*s - 495. Let p be y(-10). Is 3124 less than p?
True
Let w be 3584/12 - 231/(-99). Which is greater: w or 302?
302
Let w be (-672)/49*(-165)/45. Is 50 greater than w?
False
Suppose 4*o - 42466 = 2*l + 45038, 5*o - 3*l - 109376 = 0. Is 21880 at most as big as o?
True
Let q = -4.9903 + 3.5503. Is q bigger than 31?
False
Let a be (-7)/(-1) - -15*8/24. Suppose 28 = -a*f + 88. Let p be (2 + 7/(-4))*4. Is p less than or equal to f?
True
Let d = -210 + 205. Let j(o) = -2*o**2 - 15*o - 17. Let q be j(d). Is 59/8 != q?
True
Suppose -224 = -4*b - 5*x, 4*x - 56 = -b - 0*x. Let z = 163 - b. Is z smaller than 215/2?
True
Let f be (-1)/(-6) - (-2)/(84/(-2443)). Let v = f + 173. Is v equal to 115?
True
Let v = 10 - 11. Let k = 41 + -27. Let c = -18 + k. Which is bigger: v or c?
v
Let n = 2 - 0. Let u(s) = 41*s - 452. Let m be u(11). Which is bigger: n or m?
n
Let l = 43706/11 - 3971. Let j(y) = 3*y**3 - y**2. Let s be j(1). Is s equal to l?
False
Let b = -1 + 1. Let u = -436/66997 + -1/35469. Which is smaller: b or u?
u
Let l = -7 - -64. Let i = -52522 + 52581. Is i equal to l?
False
Let p = 12811 + -1383565/108. Is p at least as big as -1?
True
Suppose -63*p = 35*p + 196. Does p = -23/22?
False
Let n be 3 + ((-1)/3)/((-2)/12). Suppose -20 = -0*l - n*l. Suppose 17 = -m + 4*j, -4*m - j - l = -21. Is m equal to -6?
False
Suppose -65*g - 25*g - 74 = -16*g. Is g bigger than -2/833?
False
Suppose -775 = -y + 1175. Suppose -y = -27*u + 28*u. Let m be (-2)/(-15) + 485/u. Is m less than 0?
True
Let x = -873567/10 + 87351. Let r = -8 + 2. Is r < x?
True
Let k = 2335.01 - 2335. Which is smaller: -4/5 or k?
-4/5
Let z be (0 - 4)*17948/(-63)*(-9)/24. Are z and -426 non-equal?
True
Suppose -5*p = -3*a + 14, 2*a + p - 5 = -0*a. Suppose -y = c - 3*c + a, 12 = 5*c + 2*y. Let b be (-6)/10 - c/5. Which is greater: -18/13 or b?
b
Let q be ((-2 + 1)/(-3))/(2/270). Suppose -4*z - z = q. Let c = 0 + -9. Is c equal to z?
True
Suppose o + 322 - 386 = 4*k, -2*k = 5*o - 12. Which is smaller: -1010/79 or k?
k
Let k be 4/(-9) - (-682)/(-45). Let x = -7244/465 - k. Which is bigger: x or 1?
1
Let p = -1038 - -756. Are -561/2 and p non-equal?
True
Let l be 0 - 1/(-1)*3. Let h(c) = -7*c - 5. Let b be h(-2). Suppose 0 = 3*m - b, -l*p + m - 3 = -0*m. Which is smaller: p or -23?
-23
Let f = 665 + -3362. Which is greater: -2696 or f?
-2696
Let z(q) = -41*q - 161. Let a be z(-4). Let n be 10/(-191)*((-51)/(-15) - a). Which is smaller: n or -1?
-1
Suppose 941 = 25*k - 1784. Suppose 3*a - 222 = -2*t, 5*a - 2*a = 3*t - 318. Which is greater: k or t?
k
Suppose 3*u = 19 - 619. Suppose 0 = -4*h - 7*d - 832, 0 = -3*h + 2*d + 37 - 632. Which is greater: h or u?
u
Let t be ((-10)/(-20))/((-1)/(-58)). Let l = t + -27. Suppose 3*x - 10 = -2*r, x + 4 = l*r + r. Is x greater than or equal to 12/5?
False
Let a = 539.74 + -460.74. Which is bigger: a or -78?
a
Let r be 2 + 2 + -9 - 951/9. Do r and -111 have different values?
True
Suppose -17*s - 5088 = -17005. Which is bigger: s or 7724/11?
7724/11
Let r be (-4 + 21/6)*(-9 + -379). Let v = -118 + r. Do v and 76 have different values?
False
Let w = -16 + -40. Let d = w + 53. Let h be ((-6)/4)/3*10/40. Is d at most as big as h?
True
Let g be -3 + 10 - (-2)/(0 - 2). Let d(a) = g - a + 27 - 4 - 3*a. Let p be d(7). Is p less than or equal to 2/183?
False
Let o = -623 + 233. Let t = o - -392. Which is smaller: t or 2/9?
2/9
Let u(p) = -p**3 + p + 4. Let m be u(3). Let l be (-12)/m - 62/120. Let t = -217 + 218. Which is greater: t or l?
t
Let s be 5/1*-12*2/(-20). Suppose 2*l - s*l - 4 = d, 12 = -3*d. Let p be 92/(-495) + (-14)/(-63). Does l = p?
False
Suppose 2*l - 666 = 7*x - 10*x, -x + 2 = 0. Let t be (33/l)/((-1)/36). Is 5 > t?
True
Let m = -849 + 867. Let q = -12 - -29. Let u = q - m. Are u and -1 unequal?
False
Let y = -76 - -96. Suppose 0 = -2*i - 3*v + 5, i = -3*i + 4*v + y. Suppose -4*l = -2*h, -l = -i*l + 3*h. Do l and -9/14 have the same value?
False
Let q = -4912/36795 + -8/669. Let v = 119/440 + q. Which is greater: v or -1/5?
v
Let r(f) = -f**3 + 4*f**2 + 4*f + 2. Let q be r(4). Let y(z) be the third derivative of z**4/24 - 5*z**3/6 - 151*z**2. Let h be y(21). Is q equal to h?
False
Let p be 8/(-88) + (-24)/(-22). Let x be 9*3/999*(p + 0). Is 0 less than or equal to x?
True
Let j = 5781 - 5781.327. Which is bigger: j or 2?
2
Let u be (6/(-5 - -23))/(20/(-120)). Which is smaller: u or -34/47?
u
Suppose 61*c = 56*c + p - 1161, 669 = -3*c - 4*p. Is -223 less than or equal to c?
False
Let w be (-4455)/(-290) + -3 - ((-45)/10)/(-9). Do 12 and w have the same value?
False
Let n(c) be the third derivative of c**5/6 - 5*c**4/6 + 7*c**3/6 - 308*c**2. Let g be n(-4). Is g at least 246?
True
Let p(o) = o**3 - 4*o + 3. Let a be p(2). Suppose -3*g = -l - 3, 2*g + g - 6 = 0. Suppose l*j = -w - 8, -w + 28 = 4*w - 2*j. Is a less than w?
True
Suppose 14*j + 9*j = 6 + 86. Let s(p) be the second derivative of -p**5/20 + p**4/6 - 4*p**3/3 + p**2 - p. Let f be s(j). Is f < -1?
True
Let b(n) = 2*n + 1. Let z be b(-1). Let p be 15/(405/(-66)) + -9 + 7 + 2. Are p and z nonequal?
True
Let m = -0.323 - 45.877. Let t = m - -45.2. Do t and 229/3 have different values?
True
Let t be 2/9 - 100/(-36). Suppose -t*o = y + 2*y - 723, -1 = o. Is y smaller than 242?
False
Let c(v) = -v - 7. Let q be c(-3). Suppose 135 - 114 = -7*z. Which is smaller: z or q?
q
Suppose -3*z + 2*c + 13 = 0, -5*c = -c - 4. Suppose -z*m = f + 3*f - 295, -4*f + 5*m + 345 = 0. Suppose 3*o = -4*s + 75, o + 7 = 4*s - f. Is 20 equal to s?
False
Suppose -3*u - 642 - 480 = 0. Let y be 5*10/225 - u/(-1656). Which is greater: y or 0?
0
Suppose 0 = -3*k + 2*r + 626, 2*r - 2 = 4*r. Let o = 185 - k. Which is greater: -170/7 or o?
o
Suppose 9632 = -25*c + 33*c. Let j be 15/(2550/c) + -7. Is j < -1?
False
Let h = -430619471/951435 - 2/190287. Let r = 450 + h. Suppose 25*d + 12 = 22*d. Which is bigger: d or r?
r
Suppose -20*k = 4*q - 16*k, q + 2*k = 2. Suppose -o = 2*f - 2, f + 0*o + 4 = 2*o. Are q and f nonequal?
True
Suppose 2*z - 945 = 7*z. Let j be 3/6 - z/6. Let u = 2155 + -2124. Which is smaller: j or u?
u
Let x be (1 - 1)/(-2 + 1) + (61 - 57). Which is smaller: x or -1.938?
-1.938
Let j = -167 - -59. Let y = 107 + j. Which is greater: y or -1.2?
y
Let x be (4 + 8 - 14)/(4*1/(-2)). Which is greater: x or 78/97?
x
Let v = 189 + -190. Suppose 0*u - 202 = -3*u + 2*i, -3*i - 204 = -3*u. Let o = -592/9 + u. Which is smaller: v or o?
v
Suppose -v + 4 = -3*v + 4*k, 0 = 3*v + 4*k + 6. Let j be (3/18)/((-2)/v). Let n = -3028 + 3028.4. Which is greater: j or n?
n
Let f = 12 + -18. Suppose 23 - 87 = -2*n. Suppose -4*d = -2*b + n, -2*b - 2 = -6. Which is smaller: d or f?
d
Let n = 0.134 - 0.187. Let h = 0.153 + n. Is -116 at most h?
True
Let t be ((-36)/(-63))/((-4)/266). Let a be 3 - 3341/1235 - 4/t. Which is bigger: a or 15/7?
15/7
Let j = 23 + -24. Let y be 2 + (j - 25/20). Let m = -40 + 39.8. Which is smaller: m or y?
y
Let n(x) = -x**2 + 16*x. Suppose -56 = -v - 40. Let s be n(v). Let y(h) = -h**3 + 56. Let q be y(s). Is 55 greater than q?
False
Let c = -62 - -62. Let i(l) = -2*l**3 + 71*l**2 + 117*l - 215. Let f be i(37). Which is bigger: c or f?
f
Suppose 5*w - l + 898 = 0, -3*l = 2*w + 3*