02. Does -25 = n?
False
Let a = 0.04 - 1.04. Let n = -18366/17 + 1082. Let j = 627/391 - n. Is a at least as big as j?
False
Let a be (5/(-1))/(-1) - 1. Suppose 0 = -a*v - 22 + 70. Which is smaller: 13 or v?
v
Let t = 498.1 + -498. Which is smaller: -57 or t?
-57
Let w(j) = -j + 12. Let f be w(9). Suppose -f*b + 9 = -6. Suppose r - 57 = -3*g + 3*r, b*r - 36 = -g. Is g greater than 21?
False
Let x = 14 - 38. Let k = -21 - x. Which is smaller: -2/3 or k?
-2/3
Let g = -171.8 - -189. Let j = g - 23. Let h = 6 + j. Which is bigger: -6 or h?
h
Let h = 242 + -238. Is 4 greater than h?
False
Suppose 4*b + 8 = -4*v, 6*v = -2*b + 5*v - 1. Which is greater: 7/3 or b?
7/3
Let j be -32 + 24 + 152/18. Let f(d) = -d**3 + 6*d**2 - d + 6. Let p be f(6). Which is smaller: p or j?
p
Let k = -69 + 72. Suppose 2*o - k*o - 3 = 0, 2*t + o = -43. Is t < -0.1?
True
Let h = 56 - 47. Suppose 3 = 3*q + q + y, -5*q + 4*y = -h. Is q < 1/116?
False
Let r be (-210)/40 + 3*1. Let m be ((2 - -1)/(-6))/((-6)/(-24)). Which is greater: m or r?
m
Let b be 1 + (-18)/(-6)*(19 - 2). Let t = -46 + b. Is 6 > t?
False
Let z be 9/4*(-28)/(-7). Suppose z = 11*j - 8*j. Suppose -3 - 18 = j*l. Which is bigger: l or -8?
l
Let n(r) = r**3 + 3*r**2 - r + 1. Let t be n(-3). Let u be t/(-14) + (-25)/(-63). Let o(f) = -f**2 + 4*f - 4. Let q be o(3). Which is bigger: u or q?
u
Let d(u) = -u**2 - 8*u - 2. Let t be d(-8). Let s be (-1)/(1/t) - 3. Let v be (-2 - -3)/(-2 - s). Is v != 1/12?
True
Let f be (-272)/60 - 1/(-5). Suppose -3*l = 5*c + 2 + 3, -7 = -c + l. Suppose 10 = -5*y, c*y = 2*d + 6 - 2. Does f = d?
False
Let i = 16 - 16.2. Let u = -0.032 + -0.108. Let x = 0.26 - u. Which is smaller: x or i?
i
Suppose 10*v + 81 = 9*v. Let i be (-2)/7 + v/(-63). Let j be i - (-2)/(-3)*3. Which is bigger: j or 2/31?
2/31
Suppose -2*h - o = 21, -12 = -2*h + h + 4*o. Let v = h - -6. Is 2 smaller than v?
False
Suppose -144 = -6*k - 6*k. Let b be (-1 + -3)*-2*3/k. Let q be ((-1)/(-2))/(1/6). Which is bigger: b or q?
q
Let r = 580960505/5479746 + 1/322338. Let f = r - 106. Which is smaller: f or 0?
0
Let l be (-447)/21*(-2)/28. Let w = l + -1/49. Let u = 3.27 - 3.67. Is w < u?
False
Let c be 2/((8/(-10))/(-2)). Let t(j) = -j**2 - 4*j - c*j**2 + 8 - 2 - j**3. Let z be t(-5). Is 1 at most as big as z?
True
Suppose t + 5 = 5*l + 94, 2*l - 3*t = -33. Let o(b) = b**2 - b - 21. Let f be o(0). Let x be (l/8)/(f/(-56)). Which is smaller: 1/3 or x?
x
Let o = 1302 - 1204. Is o < 197/2?
True
Let v(u) = -u**3 + 20*u**2 - 11*u - 2. Let l be v(18). Is l less than 448?
False
Let d = 140 - 292. Is d bigger than -151?
False
Let z be (-55)/35 - (-60)/105. Let n = 2139 + -301597/141. Which is smaller: z or n?
z
Let n = 24.15 + -24. Let d = n - 0.19. Is d at most as big as 2/3?
True
Let j = -486.8 + 487. Is -89 at least as big as j?
False
Let z = 378.9984 + -379. Do 0.1 and z have different values?
True
Let q be 4/8 + (-2494)/988 + 2. Is -1 smaller than q?
True
Let u = -371/24 - -127/8. Which is smaller: u or -0.4?
-0.4
Let q(s) = -16 - 65*s - s**3 - 19*s**2 + 49*s + 3*s**2 + 6. Let z be q(-15). Is z at least as big as 2?
True
Let v = -27 + 27. Which is greater: v or -27?
v
Let t(p) = 6*p + 48. Let f be t(-7). Is f greater than 11/2?
True
Let o be 38/8 - 12/(-48). Suppose -o*u - 132 = -9*u. Which is greater: u or 34?
34
Let b be ((-15)/18)/(20/30). Which is smaller: 16/9 or b?
b
Suppose 2*x + 4*g = 82, -4*x - 5*g + 242 = 69. Let k = x - 47. Is k <= 1/48?
True
Let u be 24/1*(26 + -28). Let g = 47 + u. Which is greater: g or 2/5?
2/5
Suppose y - o = 597, 2*y - 3*o = 472 + 719. Let s = y + -3016/5. Which is bigger: s or -3?
-3
Let p be -2 + -2 + 5 + (-6966)/6106. Is 0 less than p?
False
Let b(p) = -p**2 - 14*p + 14. Let y be b(-15). Let a be (-20)/(-35) - (4 + (-8024)/2324). Which is smaller: y or a?
y
Suppose -113*u + 7722 = -126*u. Which is greater: u or -595?
u
Let o be 7404/15 - 2/(-5). Let l = -17785/36 + o. Let u be 1/(-2)*(1 + -3). Is u less than or equal to l?
False
Let r be (0*5/(-15))/(-1). Suppose -3*x = 5*g + 12, r*x = x - g - 4. Is 25 <= x?
False
Let q = -17/2 + 47/6. Let s = -59 + 59. Does q = s?
False
Let z(r) = -r**2 + 15*r + 34. Let l be z(17). Let a be 1*(-2 - l - -3). Let d be ((-5)/(-3))/(4/3). Which is greater: d or a?
d
Suppose -40 = 3*b + 476. Let i be b/(-17) - 60/510. Does 11 = i?
False
Suppose -5*w + 25 = 5*b, w = -0*b - 2*b + 6. Suppose 8 = 3*x - 4. Let a be ((-1)/28)/((-2)/x). Which is greater: a or b?
b
Let w = -9 - -7. Let g be w/8 + ((-130)/8)/(-1). Is g < 1?
False
Let i(h) = 4*h**2 - h - 8. Let l(r) = -11*r**2 + 2*r + 24. Let u(f) = -8*i(f) - 3*l(f). Let w be u(-8). Let g be 10/w + (-3)/(-4). Is -1/11 at most as big as g?
True
Suppose -4*r + 4*q = 5*q - 5, 3*r - q = -5. Is 2/895 != r?
True
Let y be (3/(1728/4))/(189/28). Are y and 0 equal?
False
Let o(l) = l**3 - 25*l**2 + 36*l + 70. Let b be o(23). Which is bigger: -482/3 or b?
b
Let s = -590/7 - -84. Suppose 2*b + 87 = 2*f - 5*f, -3*f + 2*b = 87. Let v = -30 - f. Which is bigger: s or v?
s
Let p(u) = -u**3 - 13*u**2 - 21*u + 12. Let v = -51 + 40. Let k be p(v). Is 8 >= k?
True
Let j(d) = -d**2 + 7*d - 2. Let t be j(6). Suppose 0 = n - t*q + 17, 0 = n - 0*n - 2*q + 9. Suppose -5*m - 10 = 5*y, -m - 4*y - 5 = -0*m. Is m smaller than n?
False
Let k = 124 - 85. Let h be ((-3 - -1)/2)/(421 - 420). Do k and h have different values?
True
Let u be (-14)/(-4) + 2/4. Suppose -9 + 1 = -2*j. Are j and u nonequal?
False
Suppose 2*z - 5*t + 82 = 0, 6*t - 10*t - 146 = 3*z. Is -44 < z?
False
Let z(f) = -f**2 + 122*f + 3673. Let r be z(-25). Let i = 109 + -551/5. Is r greater than i?
False
Let a be 3/((-14)/(-35) - (-358)/140). Let g = a + -8/23. Which is smaller: g or -0.2?
-0.2
Let d = -14/23 + 8228/13593. Which is smaller: d or 0?
d
Let g = -29 - -62. Let k = 34 - g. Which is smaller: -64 or k?
-64
Let p(r) = 2*r + 45. Let s(q) = -3*q - 46. Let d(g) = -5*p(g) - 4*s(g). Let m be d(21). Which is bigger: 0 or m?
m
Let b = -313 - -313.03. Is -15 less than b?
True
Suppose -5*q + 176 = -49. Suppose q = -6*t + 9. Let h be (2 - (-16)/t) + 1. Is 0 != h?
True
Let f be (-33)/45 + (-1)/(-3). Let h be ((-12)/21 - (-332)/728)/3. Do f and h have different values?
True
Let q = -7.5 + 17.1. Let n = -0.4 - q. Let j = -10 - n. Is j at most as big as -0.06?
False
Let x = 1.5 + 26.5. Let y = -37 + x. Is y greater than or equal to 0?
False
Let p = -12 - -20. Suppose -2*x + 5*s - 11 = 0, -p*x - 4*s + 22 = -3*x. Suppose -4*g - 3 - 5 = -x*i, -2*i + 3 = g. Is 1/19 equal to g?
False
Let r be (3/111)/(63/(-14) + 5). Which is greater: r or 0?
r
Let f = -205 - -189. Which is greater: f or -1?
-1
Suppose 3 = -3*x + 15. Let h be (-25)/77 + (-4)/(-28). Is h less than or equal to x?
True
Let q(n) = 40*n - 361. Let u be q(9). Let y = 15/613 - -2703/39845. Which is smaller: u or y?
u
Let u(k) = -k**2 + 18*k - 21. Let q be u(15). Let m be 3*4/q*0. Let g be (m + 3/15)*2. Which is greater: g or 9?
9
Let i = -41 + 42. Do i and 1/18 have different values?
True
Let s = 25 + -17. Let l = -9 + s. Let h = l + -2. Which is smaller: -1/2 or h?
h
Let t = -221 + 220. Do 142 and t have the same value?
False
Let l = -2.4 + 1.9. Let d = l + 0.47. Which is smaller: -4 or d?
-4
Let j = -21 + 28. Suppose j*h = 9*h - 16. Suppose 2*z - h = -4*s + 10, -4*z = -s - 18. Which is smaller: 0.3 or z?
0.3
Let k = 68 + -92. Let r = k - -33. Is r at least 5?
True
Suppose -5*l = -11*l + 132. Let n(i) = 8*i - 4. Let r be n(3). Let s be r + (-2 - -4 - -1). Which is smaller: l or s?
l
Let i be (-2)/(-2 - 16/(-10)) + -3. Let h(k) = k**3 + 5*k**2 - k - 3. Let r be h(-5). Let w = -1 + r. Is i greater than or equal to w?
True
Let w be 1*15/(75/(-1190)). Which is bigger: -237 or w?
-237
Let p = -36 + 30. Let l(y) = 2*y**2 - 6*y**3 + 1 - 2*y**2 - y. Let k be l(1). Do p and k have the same value?
True
Let v = 7 + -5. Let f = -4 + 8. Let n = f - 0. Is v less than n?
True
Let w = 4.4 - -0.6. Suppose -3*o - 1 = -6*o - 5*g, -2*o - 5*g = 1. Let j be ((-10)/20 + o/(-4))/(-3). Is w less than or equal to j?
False
Let o = -18 - -56. Let w = 38.21 - o. Is w greater than 0?
True
Suppose 3*v = 2*j - 189, -4*j = -2*v - 7*j - 139. Which is smaller: v or -68?
-68
Let u(w) = -w**3 + w**2. Let v(b) be the first derivative of 5*b**4/4 - b**3 - b**2 - 2*b 