 Are k and m equal?
False
Let c be 1141/(-406) - 2/4. Which is greater: -3 or c?
-3
Let b = -89.078 - -0.078. Let n = -45 - b. Let s = n - 44.09. Which is greater: 1/2 or s?
1/2
Suppose -1154*n = -1141*n - 40508. Is 3115 not equal to n?
True
Suppose -17*r + 52*r - 25*r = 180. Suppose -2 = -4*z + 6. Which is smaller: r or z?
z
Suppose -5*n - 9*t + 14*t + 75 = 0, -n + 21 = -3*t. Suppose 26 = -0*o + 2*o. Suppose -n + o = -x. Is -8/9 > x?
True
Let h be (-3 - (-454)/170)/(4504/(-4500) + 1). Which is smaller: 370 or h?
370
Suppose -2*f + 2*m - 64 = 0, -f - 37*m = -36*m + 36. Let b be 2/(-17) + (2432/f)/4. Suppose 0*g = 2*g + 38. Which is smaller: b or g?
g
Let b be -5*(2715/(-25))/3. Let v = 71 - b. Let m = v - -80. Which is bigger: -31 or m?
m
Let x be 1/(-1) + 264/18 + -13. Which is bigger: x or 7.72?
7.72
Let s(h) = h + 13. Let b be s(-8). Let d be (19 - 23)/(-1 + 3/b). Suppose 11*y - d*y = 43. Are 43 and y nonequal?
False
Let n = 0.008 + 0.992. Let i = 4.1 - 17. Let p = i - 67.1. Which is bigger: n or p?
n
Let r be 0 - 4/(-38) - (-251328)/(-28842). Is -8 less than or equal to r?
False
Let c = 8 - 6. Suppose 3*i + 15 + 8 = -5*q, -4*q - 20 = 4*i. Let k be i/(4/(-12) - 4/(-120)). Which is smaller: c or k?
c
Let x be (3 - 1 - 2)/1. Let s be (24/14)/((-2)/(-14)*-1). Let o be ((-24)/30)/1*10/s. Do o and x have different values?
True
Suppose 0 = -4*s - 3*g + 15, 4*s + 4*g = 8*s - 8. Suppose -s*r + r = 3*r. Which is smaller: 5/52 or r?
r
Suppose 5*m = -4*k + m + 268, 0 = -5*k - m + 327. Suppose -3*y = -8*y + 5*l + k, -71 = -5*y + 2*l. Is 18 smaller than y?
False
Suppose -37*o + 49*o - 24 = 0. Suppose 0 = o*i - 4*a - 30, -4*i + 22*a + 32 = 21*a. Which is smaller: i or 36?
i
Suppose 7*f - 27 = 694. Is f less than or equal to 102?
False
Let a = -9 - -11. Suppose 4*x + 10 = 5*j, -a*x - 3*j + 0 = -6. Suppose 0 = -3*i - y + 2, -i + 5*i + 3*y + 4 = x. Which is smaller: 13/5 or i?
i
Suppose -15*b - 42 = 4*g - 20*b, 4*g + 2*b = -28. Is 19.5 greater than g?
True
Suppose 58*l - 156233 + 444203 = 0. Which is bigger: l or -4967?
l
Let a = -0.038 - 180.962. Let j = 180.9 + a. Which is greater: 2 or j?
2
Let l be 4/(-5 + 3) + 0. Let d be 0/(2/((-4)/l)). Let x be -1*(15/(-25) - (-9)/12)*-2. Is x less than or equal to d?
False
Let s = 12368 + -12369. Is 6038 < s?
False
Suppose -l = -2*l - 2*m, 3*m - 14 = 2*l. Let h = 1.89 + 10.41. Let w = -13.3 + h. Which is bigger: w or l?
w
Suppose 0 = 20*j - 86 + 506. Let p be ((j/(-45))/7)/(3/9). Let z(k) = k**2 + 5*k + 1. Let v be z(-5). Is v not equal to p?
True
Suppose 55*b - 20*b = 70. Let t = 174/7 - 170/7. Which is smaller: b or t?
t
Suppose -5*f + 2*f = -201. Let k(m) = 11*m - 317. Suppose 19*o - 22*o = -4*n - 113, 3*n - 134 = -4*o. Let h be k(o). Is f != h?
True
Let z = 3.087 - 3. Let u = -5.887 + z. Let k = u - -4.8. Which is greater: k or -0.1?
-0.1
Let z = 233.15 + 1.85. Which is smaller: -4 or z?
-4
Suppose 3*v - 4*q = 59, -39 = -2*v - 0*q + 3*q. Let y = -149/7 + v. Let h = -286705/49 - -5851. Is h not equal to y?
True
Let p be (-77485)/8025*6/1. Let v = 50/107 - p. Is 57 less than v?
True
Let u = 132 + -130. Suppose -23*n = 4*t - 27*n - 176, -u*t = 4*n - 64. Is 364/9 > t?
True
Suppose 105*m + 91*m + 82*m = 49206. Does -17 = m?
False
Let j = -307.8 + 338. Let f = j - 36.2. Do f and -18 have different values?
True
Let o = -2035122523/215 + 9465665. Let i = o - -106/5. Is i greater than 0?
True
Let t be 122/6 - (6 - 98/21). Suppose -23*u = -t*u - 60. Suppose q - 6*q - u = 0, l = 2*q + 83. Is 78 < l?
False
Suppose -27540 = -80*l - 28*l. Is 264 equal to l?
False
Suppose 0*d + 5*d - r - 22 = 0, -2*r = -6. Suppose -4*n - d*u + 37 = 0, 1 = u - 4. Let h be -2 - (1 + -5) - n. Which is bigger: 1/11 or h?
1/11
Let s = 13 - 73. Let t be (-1)/38*4/s*-6. Let v(u) = u**2 + u + 1. Let x be v(-1). Is t at least as big as x?
False
Suppose 2*j + 752 = -8*n + 4*n, -3 = n. Is -368 at least j?
True
Suppose 81*z + 1229 + 553 = 0. Which is greater: 62 or z?
62
Let w = -26143 - -26144.827. Is w >= -0.07?
True
Let l = 5477109/2 - 2420076. Let n = l + -5090555/16. Let d = n - 319. Is d at most as big as -2?
False
Let w(x) = x**3 + 3*x**2 - 5*x + 51. Let q be w(15). Suppose 3*l = -30*l + q. Are l and 122 equal?
True
Suppose 156 = 3*g + 2*o, 0*g - 4*o + 156 = 3*g. Suppose -19 - 140 = -3*d + 4*i, 5*d - 265 = -i. Which is smaller: d or g?
g
Let j be (16/112 - 145/35)/(-2). Is j bigger than -6401?
True
Let s = 295 + -295.051. Let k = s - 0.149. Is 6 smaller than k?
False
Let w = 4302 + -4299. Which is smaller: w or -6/107?
-6/107
Let g be (-12)/1*(-7)/21. Suppose 0*t - g*c - 440 = 4*t, c + 1 = 0. Let q = -70 - t. Is 40 != q?
True
Let s(i) = i**2 - 21*i + 8. Let t be s(21). Let d(g) = g**3 - 8*g**2 - g + 9. Let o be d(t). Let a be 37*((o - 6) + 3). Is a > -74?
False
Let z = 30 + -36. Let q be 3/z*114/(-406). Let j = -2/29 + q. Which is smaller: j or -1?
-1
Let u = -457631408/4159 - -110034. Which is smaller: u or 1?
u
Let c = -822373 + 17263061/21. Let o = -5/839 - 806264/2517. Let u = o - c. Which is smaller: u or 2?
2
Let g = -28929 - -15529. Are -13399 and g nonequal?
True
Let l = 877/119 - 52/7. Are l and 1.5 equal?
False
Let i = -0.4838 + 0.0838. Is i < 67/5?
True
Suppose -550*j + 537*j + 1690 = 0. Suppose 3*d + j = 85. Are -19 and d equal?
False
Let x = -0.113 + 0.213. Is x at most as big as -0.07366?
False
Let a = 24596 - 25263. Is a at most as big as -666?
True
Let u = -19.669 - 1.331. Let r = -22 - -4. Let z = r - u. Is 3 less than z?
False
Let c be 514/5 - 151/151. Which is smaller: 101 or c?
101
Suppose 0 = -19*n + 7*n + 1248. Let u be 221/n - 2/16. Suppose 4*h = -u*b + 2*h - 10, 4*b - 2*h - 4 = 0. Do -26/11 and b have different values?
True
Suppose 3*u + 21 = d, 4*d - 2*u = -0*u + 54. Suppose 0 = d*x + 12 - 36. Suppose 0 = x*q + 3*q - 3*h - 239, q + h = 43. Is q bigger than 46?
False
Let s = 3133/4 - 3131/4. Let f = -264.88 - -272. Let n = f + -0.12. Are n and s nonequal?
True
Suppose -5 + 17 = 4*t. Suppose -t*p = -8*p. Let h be -4 + p + -1 + 5. Which is bigger: -3/22 or h?
h
Let f = 2 - 3.3. Let n = f - 9.7. Let g be -4*(-3)/(-8) + 15/12. Is g <= n?
False
Let i be (2326/(-18))/((3 - 4) + 6). Let p = -127/5 - i. Let l = 4 + -3. Which is smaller: p or l?
p
Suppose 4*b - 4 = -2*x + b, 3*x - b - 6 = 0. Suppose -4*a + h + h = -x, a + 1 = -h. Which is greater: -1/23 or a?
a
Suppose -40*u = -11*u + 17*u + 46. Is u less than or equal to -2/22683?
True
Let x(y) = -1 - 1436*y + 4 + 1426*y + y**3 - 5*y**2. Let m be x(6). Is m less than or equal to -0.8?
True
Suppose -2*v - 3*m = -5*v - 15, 2*m + 14 = -v. Let g(i) = i**3 + 6*i**2 - 3*i + 16. Let d be g(v). Is -89 < d?
True
Suppose -3321 - 6 = 4*o - y, 2*o + 1691 = -5*y. Let x = -27/1115 + -2830904/3345. Let j = x - o. Which is bigger: -12 or j?
-12
Let n = 379 + -351. Suppose 3696 = -4*g + n*g. Is g at least 157?
False
Let w(a) = a**3 + 16*a**2 - 2*a - 33. Let d be w(-16). Let c be d/8*-4 - (-113)/(-6). Which is greater: -18 or c?
-18
Suppose -88 = -6*o + 17*o. Let j be (-130)/o*33/30. Which is bigger: 19 or j?
19
Let d = -14444 + 14448. Let p(h) = h**2 - 3*h - 5. Let v be p(5). Suppose 3*j = -12, -v*k - 11 = 8*j - d*j. Is 1/187 <= k?
True
Suppose -14*b + 49 = 21. Which is bigger: b or 16/11?
b
Let j = 82/111 - 81214/109335. Which is smaller: 1 or j?
j
Let y be 7*(45/10*-2 + 4). Let k be (20/148)/(y/10 - -3). Do 1 and k have different values?
True
Let c(f) = -17*f**3 + 9*f**2 - 13*f + 36. Let r be c(7). Which is bigger: 0.1 or r?
0.1
Let r(j) = 792*j - 15 - 777*j - j**2 + 1 - 3 - 4. Let m be r(13). Is m at least 5?
True
Let f = -23 - -22.979. Let k = 18.021 + f. Let n = k + -17.9. Which is smaller: -16 or n?
-16
Suppose -6*h - 2 + 2 = 0. Let q be h + -6 + 5 + -4 + 1. Are q and 3.7 unequal?
True
Let c be (-15)/16*-3 - 3. Let a be (-1 - (0 + -3)) + 13. Let n(j) = -2*j + 30. Let y be n(a). Is c equal to y?
False
Let u = 17 - 6. Let m be (u - 10) + (6/(-3) - 165). Is m at least -164?
False
Let x(g) = g**2 - 15*g + 15. Let y be x(14). Suppose -2*i + 2*m + 8 = 0, 0*i + 8 = 2*i - 5*m. Which is smaller: i or y?
y
Let c(t) = t**2 + 22*t + 19. Let o be c(-12). Let r = 33 + o. Let x = 18 + r. Which is greater: x or -51?
x
Let m = -6 + 4. Suppose 16*x - 82 = -130. Let h be m + (3 - (3 + x)). Does 1/29 = h?
Fa