 -k. Is -219 < k?
False
Let q = -329 - -29937/91. Let y = q - -204/1001. Which is bigger: y or 2/7?
2/7
Let c(n) = n - 5. Let v be (27/12 + -2)*4. Let t be (0/2 + -11)*v. Let p be c(t). Which is smaller: -17 or p?
-17
Let z = 50/357 - 4/17. Which is smaller: z or 1/2?
z
Let d be 52/(-6)*(-9)/(-2). Let t be 247/d - ((-1)/1 - 1). Which is greater: t or -5?
t
Let a be (-2)/20 - (-1)/(-2). Let k = -4.91 + 5. Let o = k - -0.91. Is a <= o?
True
Let n = 12 - 14. Let k = 10 + -16. Let a be (k - -3)*12/18. Is n less than a?
False
Let o = -13 + -12. Suppose -329 = 12*z - 29. Is o less than or equal to z?
True
Let x = 118491/2968 + 75/371. Do x and 39 have the same value?
False
Let m(q) = 35*q - 189. Let k be m(12). Which is smaller: 232 or k?
k
Let j = 199.8 - 184. Let c = -16 + j. Let l(d) = -d - 4. Let g be l(-2). Which is bigger: g or c?
c
Let y be (264/(-84))/(-11) + (-310)/1281. Is -1 at most as big as y?
True
Suppose 5*k + 127 = 6*k. Let q = 633/5 - k. Which is smaller: q or -1/5?
q
Let y = 10 - 6. Suppose i - 3 = n, -i = -3*n + y*i - 15. Let r = 1/300 - 311/3300. Is n > r?
True
Let u be 1 + 0 - 3/3. Suppose u = 53*h - 51*h - 18. Let z(n) = n**2 + 10. Let s be z(0). Is h >= s?
False
Let x = 18 - 17.8. Let f = -9.73 + -0.27. Which is smaller: x or f?
f
Let v = -1.6 - -2. Let l = 7.5 - -2.5. Let c = -9.7 + l. Is v less than c?
False
Let x be 2/12 + (-1162)/(-12). Suppose 5*w = -13 - x. Let p = -20 - w. Which is greater: 1/2 or p?
p
Let m = -13 + 14. Suppose -4*t = m + 7. Which is smaller: -1 or t?
t
Suppose -r - 3 = 2*v - 0*r, 0 = -3*v + 3*r + 18. Let d be 3 - 2736/(-546) - 8. Which is bigger: v or d?
v
Let c = -122133 - -122131. Let r = 6 - 4. Let g = r - -1. Is c >= g?
False
Let f be -8 + 33 - 8 - 9. Which is greater: f or 95?
95
Let i(x) = -5*x**3 - 2*x**2 - 1. Let o be (12/8)/((-15)/20). Let a be i(o). Is 31 > a?
False
Let h = 1821/11653 + 90/271. Which is bigger: h or 0?
h
Let m = -2.9 + 3. Let f be (-6)/(24/(-13) + 7 + -5). Let w be 60/275 + -1 + f/(-33). Are m and w non-equal?
True
Let l = -1090 + 963. Which is greater: -126 or l?
-126
Suppose 6 = -2*n - 2*m, 1 + 3 = -4*m. Let q(f) = -4*f + 87. Let d be q(22). Is d equal to n?
False
Let k = 1.5 + -10.5. Let m = 30.1 - 21.2. Let r = k + m. Is 2/17 != r?
True
Let o be -8 + 0 + 49/(-7). Is -30 at most as big as o?
True
Suppose -5*q + 626 = -4*b, -2*q - 130 = -3*q - 4*b. Let u be 0 - 2 - q/6. Is u != -23?
False
Suppose -g - 14 = g. Suppose 2*f - 10 = -6. Suppose 0*p = -f*p - 14. Is p bigger than g?
False
Let o be (3/102)/((-1)/4). Let u = 27/85 + o. Let y = -2.8 + 3. Is y > u?
False
Let t = -212 + 209. Is -8 > t?
False
Let c(z) = 23*z - 3. Let o(l) = l**2 - 11*l + 25. Let k be o(8). Let d be c(k). Which is bigger: d or 21?
21
Let i = -722 + 669. Do -3 and i have the same value?
False
Let j be 1/(14*(-2)/4). Which is bigger: -35 or j?
j
Let c(n) = 71*n**2. Let q be c(-1). Suppose 1368*v + 770 = 1379*v. Is q equal to v?
False
Let n = -228 + 334. Which is greater: 0.1 or n?
n
Let z = 8 - 10. Let o(t) = -t**3 - 2*t**2 + t + 1. Let h be o(z). Which is smaller: h or -5/7?
h
Suppose u - 18 = -21. Let n = 15 + u. Let z = 27 - 15. Do n and z have different values?
False
Let d be 3335/276 + (-4)/(-6). Which is smaller: d or 13?
d
Let i be 20/(-15)*71/(-2). Let y = i + -46. Which is smaller: 1 or y?
1
Let j = -436 - -433. Let y(w) = -w**3 - 5*w**2 - 3*w + 1. Let g be y(-4). Is g > j?
False
Let n(a) = a**2 + 10*a + 5. Let o be n(-10). Suppose -k = -2*i - 0*i - 10, 25 = -o*i - k. Are -5 and i unequal?
False
Let j be (-16336)/120 + (-2 - -1) + -2. Let l = j - -139. Which is greater: l or 6?
6
Let d be (8/6)/((-34)/(-51)). Let f be 256/(-700) + d/7. Let m = f - -13/475. Which is bigger: m or 0?
0
Let t(a) = a**3 + 5*a**2 - 3*a - 3. Let v be t(-5). Suppose 7*p = v*p - 20. Which is greater: p or 6?
6
Let t = -2.74 - -2.5. Let r = -0.14 - t. Which is bigger: r or 3?
3
Let y = 79 - 110. Let d = y + 23. Is -7 bigger than d?
True
Suppose -10*d = -6*d - 20. Suppose d*c - 5*t - 5 = 0, 4*c = t - 3*t + 4. Is 1 at least as big as c?
True
Let d = 437 + -404. Is 26 equal to d?
False
Let k = -102 + 99. Which is greater: k or 0.2?
0.2
Let u = -207 + 217. Is 10 at least as big as u?
True
Let p be ((-9)/186)/(6/(-8)). Let b = -6 + 6.1. Is b bigger than p?
True
Suppose 516 = 7*q + 6151. Which is bigger: -803 or q?
-803
Let s = 291.2 - 294.4. Which is greater: s or -2.7?
-2.7
Let m be (-5)/(((-65)/(-2))/(-13)). Which is bigger: 10 or m?
10
Let h = -47 - -48. Let d = 9 - 12. Let x be d + ((-22)/5)/(-2). Which is smaller: x or h?
x
Let v(n) = 12*n + 22. Let w be v(3). Which is greater: 56 or w?
w
Let f be (-630)/4*(-230)/(-345). Is -103 at least f?
True
Let f = 807 - 1073. Is -266 bigger than f?
False
Let r(b) = 14*b - 31. Let w be r(-6). Let k = w + 110. Is k not equal to -1?
True
Let v = -25 + 14. Suppose m - 20 = 5*q + 48, 0 = -2*q + 3*m - 35. Is v >= q?
True
Suppose -2*j = -j + 7. Let p be 2/j - (-8)/(-70). Let a be 276/(-1395) - 38/(-285). Which is smaller: p or a?
p
Let m be 252/72*(-24)/22 - -4. Is -17 > m?
False
Let u = 110 + -107. Which is smaller: u or -13/6?
-13/6
Suppose 0*x + 10 = 5*x + 5*m, 2*m + 2 = 4*x. Is -28 less than or equal to x?
True
Let z(x) = x**3 - 3*x**2 + 2*x - 4. Let p be z(3). Suppose 0 = -3*n + 3*f + 3, -2*n + 2*f - 4*f + p = 0. Which is smaller: n or 3?
n
Let c be 0 + (0 - 3/(-5)). Suppose 4*l = -b + 1, -l - 4*b + 66 = 62. Does l = c?
False
Let u = 294.57 + -297. Let a = u + 2.5. Does 1 = a?
False
Suppose -5*r + 328 = -4*q, 10*r - 5*r = -5*q - 410. Let h = -167/2 - q. Which is bigger: -3 or h?
h
Let q(y) = 4*y**3 - 6*y**2 + 3*y - 4. Let s be q(4). Suppose -17*j - s = -20*j. Suppose 4*z = 2*c - j, z + 14 = -0*z + 3*c. Which is greater: -1 or z?
-1
Let l = -166 + 178. Is -2/15 at most as big as l?
True
Let a(z) = -z - 1. Let r be a(-11). Suppose 2*i - r + 32 = -5*u, 3*u + 12 = 0. Let m be ((-176)/89 - -2)*1. Is m smaller than i?
False
Let k = 561 - 596. Do k and -2/5 have the same value?
False
Let d = -973 + 14609/15. Let i = 7/45 - d. Let g = 8/45 + i. Is g >= 0.1?
False
Let s = -10003/510 - 9/170. Let j = s - -19. Let d = 3.7 + -1.7. Which is smaller: d or j?
j
Suppose -3 = -8*m + 5. Suppose -x + 0 = y + m, -2*x + 3*y = 27. Let n be (-13)/26 + (-5)/2. Which is bigger: n or x?
n
Suppose i = -6 - 1. Suppose -p - 3*o - 17 = -7*o, 15 = 3*o. Let t be (3/(-9))/((-1)/p). Which is bigger: t or i?
t
Let u(p) = p**2 + 2*p**2 - 2*p**2 - 6*p - 7. Let q be (-1)/6 - (-86)/12. Let d be u(q). Is -5 >= d?
False
Let h(d) = d**3 + 7*d**2 - 4*d - 2. Let v be h(-4). Let y = v + -431/7. Is 1 at most y?
False
Let p = -30.71418 - 0.05582. Let d = p + 31. Let b = d + -0.13. Is -4/9 at most as big as b?
True
Suppose -2*n = 113*q - 115*q - 8, q + 1 = 4*n. Let r(t) = 6*t. Let c be r(1). Is c equal to n?
False
Let g be 122/(-122) + (-3058)/(-3054). Which is greater: g or 0?
g
Let a = -1.3 - -0.2. Let n = 80 + -242/3. Which is greater: a or n?
n
Let w = 15 + -7. Suppose 33*i = 244 - 215 + 169. Which is greater: i or w?
w
Let p = -2 - -2. Let c be 2*10*(3 + p). Let d be -3 - (0 + (-184)/c). Which is greater: d or 0?
d
Let y = -6.03 + 0.03. Let n = 6.1 + y. Is 8 > n?
True
Suppose -2*s - 4 - 2 = 0. Let b be (53/51 - -2) + s. Suppose -v - 2*v = 0. Are b and v equal?
False
Let t = -7 - -7.1. Let i be ((-54)/24)/((-1)/4). Let x be 0 + -1 + i/12. Is t not equal to x?
True
Let d(g) = -g**3 - 14*g**2 + 34*g + 31. Let r be d(-16). Which is bigger: -3/44 or r?
-3/44
Let o be (0 + 0)*2/4. Suppose 0 = 4*t - 8 - 8. Let m be 225/665 + t/(-14). Which is smaller: m or o?
o
Let g be ((-12)/(-18))/((-14)/(-6)). Let v = 54 - 70. Let p = v - -16.1. Which is smaller: g or p?
p
Suppose 5*p - z = -48, -4*z - 4 = p - 7*z. Let j(h) be the first derivative of h**3/3 + 4*h**2 - 3*h + 14. Let r be j(p). Does r = 16?
False
Let n(a) = a**3 - 17*a**2 + 17*a - 14. Let t be n(18). Let z = 4294/7 - t. Is z greater than or equal to -2?
False
Suppose r + o = -4, 0 = 5*r - 7*o + 2*o - 30. Let d = 2340403 + -437653928/187. Let b = d - 138/17. Which is smaller: r or b?
b
Let g be ((-4)/(-10))/(1/(-10)). Let d be 48/(12/(-8)*-1). Suppose -2*s - d = -26. Which is smaller: s or g?
g
Suppose 4*h = -4*u + 424, 4*h = 5*h + 3. Is 106 at most as big as u?
True
Let j be 99/