*f = -15, -l - 2*l + 4*f = -12. Is l not equal to -0.1?
True
Let k = -77 + 9. Suppose 3*q = -5*b + 69 - 405, -15 = -5*q. Is b smaller than k?
True
Let h be (6/(-8))/(132/64). Suppose 1 = -3*d + 4. Is h < d?
True
Let m = 1369/13 + -539399/5122. Is m != 0?
True
Let i be (-127 + 111)*2/16. Which is smaller: 425 or i?
i
Let o = -2196 + 2395. Is -13/4 less than or equal to o?
True
Let g be (-10)/4 + (-1407)/(-14) - 4. Suppose -14*h = g + 158. Is h greater than -19?
True
Let h = 2.9096 + 3.0904. Is 543 smaller than h?
False
Let d = 6442/31 - 208. Let c(h) = h**3 - h**2 + 2*h - 7. Let p be c(3). Suppose 5*z + 22 = p. Which is bigger: z or d?
d
Let u(z) = -204*z**2 - 20*z + 100*z**2 + 103*z**2 + 36. Let h be u(-21). Suppose -m + 3*m - h = -5*y, m + 3 = y. Is -1/2 > m?
False
Let a = 500 - 726.9. Let x = a + 227. Which is smaller: -550 or x?
-550
Suppose -p - 88 = 2*l, -3*p - 3 = 3. Let o = 2284 + -2282.919. Let u = o - 0.081. Is l less than or equal to u?
True
Let f = 1/84431 - -53444812/928741. Which is greater: 58 or f?
58
Let o = -13924 - -13927. Suppose 3*p - 48 = -p. Is p at most as big as o?
False
Let c(p) = p**3 - 8*p**2 - 3*p - 55. Let g be 5 + 140/(-56)*(-6)/5. Let n be c(g). Which is smaller: -80 or n?
-80
Suppose 30 = 11*x + 8. Let v = 879 - 869. Is x smaller than v?
True
Let o(u) = 175 - 37*u - 12 + 30*u + 17. Let k be o(25). Is k equal to 2?
False
Let l = 12134 - 9936. Are 2199 and l equal?
False
Let m be (-18)/21*28/(-3). Let o be (0 - m/(-10)) + (-606)/720. Which is smaller: -9 or o?
-9
Let d(b) = -10 - 3*b - 30 - 4 + 4*b. Let y be d(-16). Is -58 <= y?
False
Let d be (-60)/(-300)*(0 - 5). Which is bigger: d or -10/2469?
-10/2469
Let z be (-4)/(-5) - 5522/4840. Let v = -483/1804 - z. Are v and 0 nonequal?
True
Let z = 0.4906 + -0.3906. Which is bigger: z or -4694?
z
Let m = -2204/9191 - -22/101. Let s(j) = j**2 + 4*j + 5. Let y be s(-2). Suppose d + y = i, 3*d + i + 0 = -3. Is d at most m?
True
Let u(a) = -6*a - 24. Let t be u(-4). Suppose t = -4*o - v - 96 - 128, 5*o - 2*v + 280 = 0. Is -52 bigger than o?
True
Let p = -7698 + 11617. Is p bigger than 3919?
False
Let f = 177 - 172. Suppose -3*b + 185 = -2*x, 4*x + f*b - 2*b + 379 = 0. Is x greater than -94?
False
Let o(d) = 4*d - 5*d - 3 + 9*d. Let z be o(2). Let f be 6/39 - (-335)/(-65) - (26 + -43). Which is smaller: f or z?
f
Let c(u) = -16*u**2 + 58*u - 56. Let y be c(1). Which is smaller: -41 or y?
-41
Let h = 150 - 143. Let u = h + 73. Let k be 1/(((-55)/u)/(-11)). Is k != -3?
True
Let m = -37.88 - 3.12. Let x(k) = k**2 - 9*k + 1. Let w be x(0). Is w smaller than m?
False
Let s = 15107.053 + -14755.6. Let t = 0.547 + s. Is 2/7 < t?
True
Suppose 2*b - 6 = 0, 5*v - 11*b + 190 = -6*b. Let c be 6/(12/v)*10/(-25). Let i = -4 + 10. Is i equal to c?
False
Suppose -1519099 = 5*x - 1518724. Suppose 0 = 2*c - 4, -7*u + 2*u + 3*c - 366 = 0. Is u less than or equal to x?
False
Suppose -32*x = -4*x - 140. Suppose -4*q = -g + 111, -2*q = x*g + 47 + 36. Which is smaller: q or -30?
-30
Let z(t) = -t**2 + t - 1. Let s be -4*28/8 + 1. Let u(b) = b**3 + 13*b**2 + 1. Let m be u(s). Let f be z(m). Are 1/4 and f equal?
False
Let s = -3050 - -3049.5. Is -1821 not equal to s?
True
Let n be 5180/(-5328) - 4/144. Let r = -986540/227 - -4346. Let o = 808/40179 - r. Is n smaller than o?
True
Let a = 0.48 - 36.48. Let s = a + 35.9. Let p = -3347/10 - -335. Is p smaller than s?
False
Let x(k) = 3*k**2 + 20*k + 72. Let f = 31 + -36. Let a be x(f). Are a and 48 non-equal?
True
Let c(v) = -7*v + 51. Let y be c(7). Suppose y*b = 7*b - 0*b. Is 3/7 at least as big as b?
True
Let a(t) = -1498*t**2 - 14*t - 29. Let l be a(-2). Let g = -36047/6 - l. Does -14 = g?
False
Let s = -1361.3 + 1363.8. Are s and 321 nonequal?
True
Let q = 13277/3 - 4428. Let t = -77/4 - -461/24. Which is smaller: q or t?
q
Let m = -78 - -56. Let n = 5750 + -5768. Are m and n equal?
False
Let k be 6/((-3 + 0)*(-24)/1260). Which is greater: 109 or k?
109
Let m = -2165 - -2164.93. Which is smaller: m or 22/7?
m
Let m = 134696/13 - 10362. Which is smaller: m or -6.6?
-6.6
Suppose -u = -4*u + 39. Suppose -5*d = 3*p - 157, 5*d - 168 = -5*p - u. Let v = d - 31. Which is smaller: -4/5 or v?
-4/5
Suppose 8*a + 25 = 3*a + 5*q, -5*a + 2*q - 16 = 0. Let y(h) = -1. Let c(b) = -3*b + 29. Let u(l) = a*y(l) + c(l). Let f be u(9). Is 8/3 less than f?
True
Let q(m) = -m - 1. Let r be q(3). Let l = -205 + 74. Let z = -409/3 - l. Which is smaller: r or z?
z
Let s = 123 - 120.73. Let v = 16.27 - s. Which is smaller: -4 or v?
-4
Suppose -196 = -5*y + 314. Suppose 5593 = 141*m - 8648. Which is bigger: y or m?
y
Let p be 2*(-2)/(-14)*203. Let q = 52 - p. Let i be (q/(-20))/(684/95). Which is smaller: i or 1?
i
Let n(x) = 4*x**3 - 93*x**2 - 73*x + 24. Let r be n(24). Is 19/484 <= r?
False
Let a = 16.956 - -0.044. Let l = 19 - a. Let r = -8 - -4. Are l and r nonequal?
True
Suppose -l + 4 = 4*r, l - 10 = 2*r - 3*r. Let h be 23/5 + (-20)/(-50). Which is smaller: h or l?
h
Let b(g) = 4*g**2 + 25*g + 335. Let l be b(26). Which is greater: 3687 or l?
l
Let s be (35/7)/(-147*(-6)/(-1314)). Which is greater: -8 or s?
s
Let g(m) be the second derivative of -m**3/3 + 21*m**2/2 + 2*m. Suppose -5*f = -4*y - 29, 5*f - 19 = 2*y + 18. Let t be g(f). Is t > 3?
False
Let a = -3193/12 - -2822603/10608. Which is smaller: 1 or a?
a
Let v = 0.2249 + -237.1249. Let y = -237 - v. Do y and -0.06 have the same value?
False
Let k = 137985 - 45811113/332. Let z = 5/166 + k. Which is bigger: 10 or z?
10
Let l(w) = 79*w**2 + 7900*w - 1. Let b be l(-100). Suppose r = 2*r - 4. Which is smaller: r or b?
b
Suppose -3*x = -2*i + 13, -4*x - 264*i + 16 = -260*i. Is -3/1141 smaller than x?
False
Let b = 4041 - 2969. Which is smaller: b or 0?
0
Let q be (-1 - 14/8)/((-4)/16). Let k(d) = -d**3 + 9*d**2 + 20*d + 20. Let o be k(q). Is o smaller than -2?
False
Suppose 0*q - 3*q - 15 = 0. Let n = -30251/8 + 393247/104. Which is smaller: q or n?
q
Let o be (163298/3)/(7/(35/20)). Let z = o - 13669. Which is smaller: -61 or z?
-61
Let s = -3 + 16. Let n be s + (4 + -10 - -4). Suppose -n*y + 57 = 2. Is y greater than -0.1?
True
Suppose 0 = 5*d - 10, 447 = -j - 2*d + 96. Let w = 355 + j. Which is bigger: 0.051 or w?
0.051
Let n = -554 - -382. Which is bigger: n or -163?
-163
Let u be ((-7426)/(-632))/(3/(-12)). Which is greater: u or -191/4?
u
Suppose -4*n = -2*m + 33 + 35, 5*n = 15. Suppose -m*f + 34*f + 12 = 0. Which is smaller: f or 2/5?
2/5
Let a = -501133/8 + 68297. Let r = -5648 + a. Which is smaller: 7 or r?
7
Let k(d) = 42*d - 6. Let u be k(6). Let o be 6/4*u/9. Is 41 less than o?
False
Let h be (-4)/(-2) + (-16)/11. Let t = 358 + -350. Suppose -10*y + t = -2. Do h and y have the same value?
False
Let q be ((-7)/2)/(1/4). Let c = 46625 - 46634. Which is smaller: c or q?
q
Suppose -174 = -239*m + 65. Which is smaller: m or 2/16583?
2/16583
Let i = -1398 + 1398. Suppose x - 4*y = 15, -21 = -4*x - 0*y + 3*y. Suppose 3*t + i*h = -4*h + 6, -5*t - x*h = -10. Is t < 20?
True
Suppose -o - 256 = j - 29, 4*j = o + 272. Which is smaller: -225 or o?
o
Let z be 8/(-2) + 22596/1740 + -9. Suppose 16 - 6 = -10*o. Which is smaller: o or z?
o
Let k = 21954173/101 - 217371. Which is bigger: -4 or k?
k
Let u be (-2 - 28/(-12))/(21/89838). Do 1428 and u have the same value?
False
Let z be 2/6 - ((-70)/(-15))/(-7). Let k be (8/(z + 3))/((-2)/12). Let o = -30 + 29. Which is smaller: o or k?
k
Let h = -61149097/135954 + 1/15106. Is -449 greater than h?
True
Suppose 70*n - 33*n - 19551 - 12713 = 0. Is n <= 872?
True
Let q = 33 + -23. Suppose 4*j + q = 30. Let a be (-21)/j - (-3 + 0). Which is smaller: a or -1?
a
Let j(t) = -2*t**2 + 101*t - 561. Let f be j(34). Does 557 = f?
False
Let k(h) = -h**2 + 9*h - 13. Let o be k(6). Let t = 69 - 126. Let c = -56 - t. Is c > o?
False
Let l = -0.5 + 0.6. Let f = -150 - -102. Which is smaller: f or l?
f
Suppose 0 = n + 21 + 40. Let b = 67 + n. Suppose -b*d - 149 = -29. Is -22 > d?
False
Let w = -15891 - -13384. Which is bigger: w or -2505?
-2505
Let q be (-1 - (-56)/10)/(58/(-1334)). Let a = q - -10121/95. Is a not equal to 0?
True
Let w(m) = -m**3 + 20*m**2 + 24*m + 88. Let a(z) = z**3 - 21*z**2 - 24*z - 87. Let b(c) = 6*a(c) + 5*w(c). Let y be b(27). Which is greater: y or 6/73?
6/73
Let 