eater: n or -5?
-5
Let z = -22769357/13341830 - -9/124690. Let x = z + -10/107. Suppose 27 = -t - 5*m, 9*t - 11*t - 3*m - 19 = 0. Is t > x?
False
Let a be 6*((-45)/(-6) - 2). Let r = a - 21. Let w(t) = -22*t - 165. Let o be w(-8). Which is smaller: r or o?
o
Let u = -211 + 273. Suppose 50 - u = -12*k. Do -2/573 and k have the same value?
False
Let v be (-8)/24 + (-4)/12. Let g = -3.4 - -22.4. Is g > v?
True
Let v = 484.0273 + -484. Let z = -0.3273 + v. Which is smaller: z or 1/8?
z
Let q = 593.9 - 593.942. Is q < 18?
True
Suppose 3*w + 4*x + 29 = -x, -5*x = 5*w + 45. Let n be (-6)/(-20) + (-2)/(2 - w). Suppose 2*v - 1 = 3*o, o + 4 + 1 = 3*v. Is n less than o?
True
Let n = -70.801 + -6.819. Let i = n + -1.38. Let o = i + 79.2. Do 38 and o have different values?
True
Let u = 2899 + -338. Are u and 2561 nonequal?
False
Let x be (6 + 3/1 + -6)*(-8897)/(-21). Which is bigger: x or 1270?
x
Let s(y) = y**2 + 5*y + 4. Let o be s(-4). Let r be -1 - -2 - (-9135)/19575. Which is bigger: r or o?
r
Suppose 0*j - 3*j + 6 = 0. Let w(k) = -5 + 13 - 4 - 1 - j*k. Let v be w(9). Do -1/2 and v have different values?
True
Let s = -19.4353 + 0.4353. Which is bigger: s or -1?
-1
Let u = 408.61 + -1.61. Let v = u - 404. Is v greater than 3?
False
Suppose 4*u - 212 = -j, 5*u = 19*j - 14*j - 1110. Suppose 5*i - 15 = 5, 4*d + 4*i - j = 0. Is d at least as big as 47?
True
Let p be 7 + -2*-8*3/(-8). Which is bigger: p or -1649?
p
Suppose 5*z - 90 + 20 = 0. Let b = z - 7. Let j = 3888 - 3880. Which is smaller: b or j?
b
Let s be 56/5 + 360/(-300). Is 137/14 less than s?
True
Let k = -8.49 - 0.51. Let j = -55 + k. Is j at least 1?
False
Let n = -111 + 110.9. Let z = -3445 + 3427. Is z at least n?
False
Let l = 1125115/62 + -18147. Which is greater: l or -0.001?
l
Let h be (45/(-6))/(3/(2 - 56)). Suppose -h = 9*a + 90. Is -25 greater than a?
False
Let p = 1691 + -1690.65. Which is smaller: -4 or p?
-4
Let n(t) be the third derivative of -t**6/120 - t**5/60 + t**4/8 + t**3/2 + t**2. Let l be n(-2). Let j = 2603.49 + -2600.19. Is l at most as big as j?
True
Suppose 4*d - 1 = 7. Let n be d/(-7) + (-2544)/504. Is n equal to 3/7?
False
Let f be (0*5/25)/3. Suppose -38*a + 8*a + 3450 = f. Which is greater: a or 116?
116
Let n = 13613 - 13057. Is -6 > n?
False
Let k(s) = s**3 - 7*s**2 + 3*s - 6. Let f be k(7). Suppose -5*l + l = -4, -5*y + 10 = -5*l. Suppose -y*c + 54 = f. Is 15 smaller than c?
False
Let w = 119 - 120. Is -2637 greater than w?
False
Let c = -84503 + 928875/11. Is c not equal to -59?
True
Let i(a) = -a**3 + 36*a**2 + 156*a + 5. Let d be i(-4). Which is bigger: d or 30?
30
Let r be (290/(-60) - -5)/(4/24). Is r at least as big as 1/464?
True
Let t be ((-242)/(-4))/(6 + 39/(-6)). Let v = t + 308. Is v <= 187?
True
Let b = -4348.26 - -4348. Which is greater: 2/5 or b?
2/5
Let c = -2774 - -8099. Let z = c + -314185/59. Which is bigger: 1 or z?
1
Let n = 12442703 + -286232732/23. Let p = -2198 - n. Which is smaller: p or 1?
p
Let u = 0.3225 + -780.3225. Which is bigger: u or -1?
-1
Let f = 55 - 40. Suppose 3*k + 33 = 5*c, 4*k - f = 1. Suppose c - 49 = -5*l. Is l at least as big as 7?
True
Let v be ((-142)/497)/((-4)/1008). Is v greater than or equal to 74?
False
Let v(j) = -j**3 + 6*j**2 - 2*j - 11. Let b be v(5). Suppose -4*i + 2*i = -8, -2*i = b*y - 12. Suppose -2*o - y = -o. Which is smaller: o or 2/49?
o
Let a be 6903/(-36) - (-10)/(-8). Let v = -192 - a. Which is smaller: -167 or v?
-167
Let x = 111 + -109. Is -17 not equal to x?
True
Let w = 248 + -130. Let h = w + -126. Does 2/3 = h?
False
Let w = 164.29 + 126.71. Which is greater: w or 3/7?
w
Let k = -3103 - -3093. Which is smaller: k or 97?
k
Let l be (-1)/3 - 235/15. Let g = 94850 - 1233254/13. Is l > g?
False
Let k be (7/6377)/((-141)/36 - -4). Let z = k - -18471/50105. Is z greater than or equal to 0?
True
Let s = -0.0203 - 133.9797. Let h = -183 - s. Which is bigger: h or -2?
-2
Let s = -3344 + 3334. Let c = 8 - 3. Let t = c + -5.3. Is t not equal to s?
True
Let z = 22736.9 + -22737. Which is smaller: z or 4674?
z
Let c be (58/558801)/(105/(-90) - 2/(-4)). Is c at least as big as 0?
False
Let g be 1 + (-60)/5 - 7. Let k(y) = -5*y + 1. Let l(v) = 2*v - 1. Let n(m) = 3*k(m) + 7*l(m). Let f be n(g). Which is greater: f or 13?
f
Suppose -9 = -64*l + 63*l. Let q = l - -87. Let p = 50 - q. Is p < -44?
True
Let i = 41/16 + -27/16. Let v(c) = c + 1. Let x(g) = -g. Let h(r) = 2*v(r) + 7*x(r). Let u be h(0). Is i bigger than u?
False
Let k = 31513 + -850867/27. Let v(p) = -2*p**2 - p + 1. Let b be v(1). Which is greater: k or b?
k
Let u(f) = -f**2 + 4*f + 6. Let l be u(5). Suppose -2*x - 80 = -92. Suppose 0 = x*z + 5 + l. Which is smaller: z or 2/9?
z
Let m(l) = -l**3 - 5*l**2 + 4*l - 6. Let f be m(-6). Suppose 3*h - f = -9. Let n = 42 + -545/13. Does h = n?
False
Let h = 1/972 + -251753/4860. Which is bigger: 0.5 or h?
0.5
Let s be (4 - (-32)/(-12)) + (-1267)/21. Suppose 3*g = 2*g - 46. Let m = s - g. Is -14 equal to m?
False
Suppose -17*r + 11008 = 15*r. Let a(f) = 11*f**2 - 8*f - 4. Let z be a(6). Is r bigger than z?
False
Let g be (-672)/98*(-112)/64. Let k(w) = -w**2 + 8*w - 5. Let o be k(5). Is g bigger than o?
True
Let o(r) = 16 - r**2 + 14*r - 15 - 11. Let q(g) = g - 12. Let k be q(25). Let v be o(k). Are v and 3 unequal?
False
Let g(h) be the second derivative of h**4/12 + 11*h**3/6 + 29*h**2/2 - 15*h. Let y be g(-7). Let l be 14/6 + y/(-4 - -3). Which is greater: l or 0.8?
l
Let i = 32862 - 32862.1. Which is greater: i or -5721?
i
Let w(k) = -13*k + 467. Let q be w(37). Let x be 8/q + (-218376)/(-381276). Which is greater: x or 1?
1
Let m = 0.2 + -0.2. Let f be (3 - 434) + (1 - 0). Let l = -375 - f. Is l != m?
True
Suppose -8*p + 2400 = -0*p. Suppose -189*q + 54832 = -5*q. Which is greater: p or q?
p
Let g be 75/9 - (-3)/(-9). Let y(a) = 66*a**2 - 13*a + 24. Let q be y(2). Let o be (-4)/16 - q/g. Does o = -34?
False
Suppose -c = -38 - 23. Let h(f) = -3*f**2 + 27*f - 114. Let b be h(6). Let s = c + b. Is s less than or equal to 1/8?
False
Let p be 1 + -3 - 28/22. Suppose 4*k = 5*i + 12, i + 13*k = 15*k. Which is greater: i or p?
p
Let g(p) = -p**3 + 4*p**2 + 4*p - 13. Let o = -48 - -54. Let m be g(o). Let y = -59 - m. Which is smaller: y or -2?
-2
Let x = 1324 + -1324. Suppose 4*t - p + 128 = -5*p, x = 5*t - 2*p + 167. Suppose 0 = -3*s - 0*u + u - 100, -4*s = 4*u + 144. Which is smaller: s or t?
s
Let v = 2044 - 75626/37. Suppose -8 + 29 = 4*y + 5*d, 2*d = 4*y + 14. Which is smaller: v or y?
y
Let c = -0.527 + -1674.473. Does c = 1?
False
Let b be ((-6)/5)/(2/(-10)). Let l(s) = -s**3 - 15*s**2 + 50*s - 30. Let n be l(-18). Suppose -b*g - n = -8*g. Which is greater: g or 0?
g
Let w = -691 + 591. Let q be (7*(-1)/4)/(25/w). Is 1 bigger than q?
False
Let r(n) = -n**3 - 11*n**2 - 8*n + 35. Let z be r(8). Let i = z + 573. Do -671 and i have the same value?
False
Let q be ((-74728)/(-250))/(42/10). Let u = q - 498/7. Suppose -3*p = -3*l + 6, -5*l = 4*p - 19 + 18. Is l less than u?
False
Let y be (7/(-4))/(10/80). Let v be y/(-3) + ((-48)/(-3))/(-4). Which is smaller: 19 or v?
v
Let r be (-9 - (-672)/44) + -9. Let j = 30945/308 + -4547/44. Let w = j - r. Is 0 >= w?
True
Let d = 383.8 - 383.8. Which is greater: d or 65?
65
Suppose -1183*j = -1176*j - 3136. Which is greater: -8 or j?
j
Let c(q) = q**2 + 147*q + 6762. Let t be c(-67). Is t at most 1409?
True
Suppose -2*t - 3*t - 19500 = 0. Suppose 195 = -5*n - 2*g, 0*n - 3*g + 39 = -n. Let o be 535/t + (-6)/n. Which is bigger: -1 or o?
o
Let t = -11180/3 + 3828. Which is smaller: t or -0.05?
-0.05
Let f be (1/(-6))/(2/(-8)). Let t = 5.66 + -345.66. Let n = 339.956 + t. Is n at most as big as f?
True
Let z = -8023 - -8020.6. Which is smaller: 34/21 or z?
z
Suppose -4*i - 32 = -4*v, 4*v - 3*i = 2*i + 37. Suppose -8 = -a + 5*m, 5*m - m - 5 = -v*a. Let f be (5 + -6)/(11/(-42)). Which is smaller: f or a?
a
Let p(m) = m**2 - 9*m - 17. Let x be p(-7). Let k be -5 + (x + -5 - 0). Which is greater: k or -2?
k
Let v = -541003/125538 - 1/20923. Let a = v - 4/21. Which is smaller: a or -2/47?
a
Let w = -1000 - -1726. Let c = w - 751. Is c >= -0.01?
False
Let s be ((-13)/21 + 4/14)/((-19)/76). Which is smaller: -208 or s?
-208
Let s be (0 - -8)/((-2)/10). Let k be 6/s*(-15)/72