02. Let d = p + -145. Is -79 < d?
True
Let s be 14 + -4 + 0/2. Suppose -t - 1 = -s. Let l be (6/t)/(8/(-66)). Which is smaller: -5 or l?
l
Let g = 4379 - 1782254/407. Do 1 and g have the same value?
False
Let r(y) = 11*y**2 + 4*y + 3. Let w be r(-1). Let d be (-25)/w*2/(-5). Is 0.52 less than d?
True
Suppose 24 = -2*c - 4*w - 40, -2*c - 32 = -4*w. Let t = 32 - 55. Let g = c - t. Are -2/9 and g equal?
False
Let f = -2841735/3851 - -239376224903/324477558. Let t = f + -1/2718. Which is smaller: -1 or t?
-1
Let k be ((480/(-9))/(-5) - 2) + -5. Which is smaller: -0.1 or k?
-0.1
Let n be -7 - -9 - (2/(-2) + 1). Suppose -n*t = 2*t - 4. Is 1/23 bigger than t?
False
Let w = 19 + -16. Let i(y) = -2*y + 4. Let l be i(w). Is 1/4 >= l?
True
Let p be (-78)/19 - 36/(-9). Which is smaller: p or -0.2?
-0.2
Let k = -233 + 260. Let x = 16 - -11. Is x at least k?
True
Let f be (-8 - -10) + (-46)/(-2). Let q = 25 - f. Let z = -4/61 - -158/549. Is z not equal to q?
True
Let l = 2/195 - -7/78. Suppose 0 = 5*f + c, -5*c - 16 = f + 8. Is f less than l?
False
Suppose 2*u - 13 + 5 = 0. Let w be u*3/48*4. Is -2/49 at least as big as w?
False
Let g = -8204 - -8114.07. Let p = 90 + g. Is p equal to -10?
False
Let c be 3 - (1 - (1 - 1))*3. Let r = 42/5 - 497/55. Which is smaller: r or c?
r
Let d(k) = k**3 + 5*k**2 - 13*k + 1. Let s be d(-6). Let r = -44 + s. Which is bigger: 1 or r?
1
Let w = -451/4 + 113. Which is greater: w or -864?
w
Let d = -8874 + 6433653/725. Is 1 at least d?
True
Suppose 0 = 3*t + 2*k + 2, 0*k = -4*t + 2*k - 26. Let f(o) = o**2 - 10*o + 14. Let b be f(8). Do b and t have different values?
True
Let a(o) = o**2 + 3*o + 2. Let q be a(-2). Suppose 4*m + 6 - 2 = q. Let g be (-3108)/1517 + 2/41. Is g greater than m?
False
Let v = -114679/1107135 - 1/8201. Let f = v + 134/135. Let k(m) = m**2 - 2*m - 35. Let z be k(-5). Is z greater than f?
False
Suppose -2*g - 7*g = -243. Suppose 0 = -0*a - a + g. Is a at least 27?
True
Suppose 18*d - 17*d + 2 = 0. Suppose 6 = -3*x + 3*z, 5*x - x + 3*z = 6. Which is bigger: d or x?
x
Let j = -2/321 + -289/5136. Suppose 16 = 3*m - 8*m - 4*n, -3*m + 20 = -5*n. Which is bigger: j or m?
m
Let a(h) = -h**3 + 3*h + 1. Let j be a(0). Is j at most as big as -1/416?
False
Let z = 2091/20 - -533/20. Let k = z - 132. Let f = -1/45 - 43/90. Is f >= k?
True
Let w = 59 + -56. Let l be 2/(1 - 1/3). Suppose -l*y + 11 = -u, -u - y - 9 = -w*y. Which is greater: u or 0?
0
Let g = -6.7 - -7. Let u be 0 + (3 - (-5)/(-3)). Which is greater: g or u?
u
Suppose -4*s + 0*s = 16. Let y = 37 + -40. Which is greater: y or s?
y
Let z be -3*(96/(-9))/(-2). Let j = 9 + z. Let v = 17 + -24. Does v = j?
True
Let q be (-1)/3 + (-52)/(-39). Which is smaller: 1/151 or q?
1/151
Let u = 90 - 89.95. Which is bigger: u or -2/41?
u
Let m = -2610 + 456748/175. Let s = m + 376/2275. Is s > -8?
True
Let t be (1/(3/30))/(-1). Let b be (-1)/t*-2*-1. Let k be 6 + (1 - 189/28). Is b at most as big as k?
True
Let v(m) = -m**3 + 4*m + 2. Let y be v(-3). Suppose -21*d + y*d - 288 = 0. Let l be 1/8*d/30. Is l less than or equal to 1?
True
Let z = 886 + -45188/51. Let m be 1*-1 + (-1478)/(-1326). Let r = z - m. Is r != 1?
True
Let a = -1586 + 1296. Are -289 and a equal?
False
Let x(j) = -j + 5. Let v be x(0). Let a(s) = -8*s - 21. Let n be a(v). Which is bigger: -62 or n?
n
Let q = 19 + 31. Let o = q - 50. Let p be (-1)/(-3) + 3/9. Is p less than or equal to o?
False
Let v be (1*(-3 + 1))/1. Which is smaller: v or 379?
v
Let q be 27/2*(28/6 - 4). Suppose q*n - 4 = 11*n. Which is smaller: n or -2/3?
n
Suppose 0*w + 17 = w. Let f = w - 7. Let v be f/12*(-6)/(-100). Which is bigger: 1 or v?
1
Let z = -1940.94 - -1941. Are 46 and z nonequal?
True
Let h be -1*14 + 5*(-9)/15. Which is greater: 0 or h?
0
Let g = 0.3 + -1.3. Let q = 0 + g. Let f = -1.784 + 1.774. Is q smaller than f?
True
Suppose -2*y = 2*y + 80. Let w be -2 + 3 + -2 + -17. Is w at most as big as y?
False
Let x = 25137134399453/6620 - 3797150220. Let f = -3/1324 - x. Which is greater: f or 10?
10
Let i be 0 + 7 + 2/2. Suppose 4*s - i = -4*a, a - 2*a = -4. Let t be (1 + -2)/(s/4). Which is smaller: t or 4?
t
Let w = -859036401/150290 - -11202/3955. Let p = w - -39993/7. Let c = -1/38 - p. Which is bigger: 1 or c?
1
Let v be ((-16)/(-2))/(9/(-18)). Which is greater: 0.03 or v?
0.03
Suppose 0 = -21*t - 769 - 1331. Is -101 != t?
True
Let j(g) = 4*g**2 + 9*g + 5. Let b(f) = 13*f**2 + 27*f + 14. Let u(a) = -a**2 - 6*a + 14. Let d be u(-8). Let l(h) = d*b(h) + 7*j(h). Let o be l(-5). Is 13 > o?
True
Suppose 30 = 3*h - 3*k, -3*h = -0*h - 4*k - 32. Suppose -2*v = 2*v - 32. Is h at most as big as v?
True
Let x = -45617/6 + 7582. Which is smaller: x or -20?
x
Let a be (-1)/(-12) - 7/21. Let h = 0.3 - -4.7. Is h not equal to a?
True
Let x(a) = -85*a + 952. Let y be x(9). Does y = 188?
False
Let u(x) = -x**2 + 2*x - 4. Let j = -13 - -13. Let c be u(j). Which is smaller: -6 or c?
-6
Let m = 24.9 - -8.1. Which is smaller: m or 0.08?
0.08
Let n be 3/2*(-110)/33 - -6. Which is greater: n or 4/5?
n
Let y = -0.74 + -0.06. Let w = 2.2 + -2. Let h = y - w. Is -1 less than h?
False
Let o(d) = -32*d - 512. Let u be o(-16). Which is smaller: u or 0.98?
u
Let x be 3 + (-62)/34 + 2. Let z = -3/957218 + -1531547321/471908474. Let k = x + z. Which is smaller: k or 1?
k
Let o(u) = u - 46. Let y be o(32). Let t = -0.29 - -0.19. Is t not equal to y?
True
Let h = 53 - 56.7. Let z = h + 4.4. Which is smaller: z or 2/5?
2/5
Let n be 1/3 - (-18)/(-27). Suppose 6*o - 12 = 3*o. Suppose -o*h + 2 + 2 = 0. Which is greater: h or n?
h
Suppose 5*t + 7 = -33. Let j be (t/6)/((-20)/(-30)). Let o be (-4)/(-28)*-16 - j. Which is smaller: -0.2 or o?
o
Let o(q) = 2*q**3 + 33*q**2 + 8*q - 117. Let p be o(-16). Let k = -27 - -46. Suppose -g + k = -4*j, g - 3*j - 50 = -3*g. Is g at least p?
True
Let o be 3 - ((2 - 2) + -3). Let i = o - 1. Suppose -2*m - 5*g - 22 = -0*m, g - 28 = i*m. Which is greater: -5 or m?
-5
Let l be (-4)/1*(-3)/4. Let r be (-62)/24 + l + 0. Which is smaller: r or 1?
r
Let l be ((-3)/(-636))/(221/(-272)). Which is smaller: 0 or l?
l
Let q(l) = -l**2 + 8*l - 9. Let y be q(7). Let f be 1*(2/1 + y). Which is smaller: f or 7?
f
Suppose -1258 = 6*z - 4828. Let m be 17/(z/150) - 4. Which is smaller: m or 2?
m
Let g = 5 - 4. Let i = -1 - g. Suppose 4*m = 5*l + 10, -5*l + 8 = -9*l + 4*m. Does l = i?
True
Suppose -2 + 7 = 5*o, 5*d + 975 = 5*o. Let y be d/14 - (-1)/(-7). Is -15 equal to y?
False
Let a be (-25)/(-2)*(-240)/(-75). Suppose -3*w - 2*w + a = 0. Let f be (28/12)/(2/6). Which is smaller: w or f?
f
Let v = 1.955 + 0.185. Which is bigger: -1/4 or v?
v
Let c = -224 + 162. Let x = -61.92 - c. Which is greater: -3/2 or x?
x
Let n(j) = 14*j**3 + 4*j**2 + 4*j + 2. Let q be n(-1). Let k be (2 + 8/q)*(-6)/(-8). Let p be ((-8)/(-38))/(3 + -1). Is p at least k?
False
Let f = 0 - 2. Let n = 76 + -63. Suppose 5*c + 2 + n = 0. Which is smaller: f or c?
c
Let w be (-1)/(7/42) + 508. Is 503 bigger than w?
True
Let s be 2 + (0 - (-3 - -3)). Suppose -x + 85 = 3*k - s*x, 126 = 4*k + 5*x. Suppose -10 = -0*b - 2*b + 3*j, -3*b + k = -j. Which is greater: 10 or b?
b
Suppose j - 10 - 21 = -3*n, 5*j - 111 = -4*n. Suppose -2*w + 3*r - j = 0, -3*w + 3*r - 19 = 11. Let s = -13 - w. Which is greater: -1/6 or s?
-1/6
Let w = -12.13 + -4.87. Which is smaller: w or 5?
w
Let s(m) = m**3 - 3*m**2 - 2*m - 7. Let y be s(4). Let n be (-1 - -1 - y)*12. Let w = -16 - n. Are w and -4 equal?
True
Suppose -h + 4*a = 164, 3*a = -4*h - 0*a - 637. Are -161 and h unequal?
True
Let o = 270 - 268. Let t be (2 - 11) + 7 + -3. Is o at most t?
False
Let z = 803 + -803. Are z and -2/795 non-equal?
True
Let j = -467/33 - -152/11. Suppose -11 - 68 = o. Is j less than or equal to o?
False
Let o(m) = -2*m + 19. Let p be o(9). Suppose j - 3 = -p. Let q = 352 + -2107/6. Do j and q have the same value?
False
Let c(o) = 3*o + 15. Let h be c(-9). Let p be ((-80)/h)/(6/9). Is -2 smaller than p?
True
Let g be (2/4)/(19/38). Is g < -2/343?
False
Let c(y) = 3*y - 16. Let u be c(7). Suppose -b - 3 = -u. Let g be (-3)/(6/(-10)) - b. Does g = 2?
False
Let v(h) = -h**3 + 23*h**2 + 122*h - 37. Let s be v(27). Which is smaller: s or 343?
s
Suppose -400 = 17*p - 1471. Are 68 and p nonequal?
True
Let i(d) = d -