-6*j - 50 = 25*j + 105. Is -166 at least j?
False
Suppose 0 = -3*m + 2*g + 1, m - 7 = -g - 0*g. Let v be -1 + ((-1048)/16)/((-2)/(-4)). Let s = 138 + v. Which is smaller: s or m?
m
Let z be (-2 + 2533/2)*(-84)/(-18). Let w = 2944597/499 - z. Does 1 = w?
False
Let y(o) = -12*o**2 + 9*o - 9. Let i be y(1). Let a be (-3*22)/(126/i - -12). Suppose f = -4*f - 220. Is a at most as big as f?
True
Suppose -2*z + 5 = 2*k + 3, 3*k = -z + 3. Let p = -11678433 + 385420400/33. Let v = 973 - p. Is k at least v?
True
Suppose -354*x + 360*x = 1698. Let t = x + -284. Which is greater: 2/29 or t?
2/29
Let t(a) = -2*a**2 - 16*a + 10. Let v(b) = b - 5. Let z be v(-2). Let f be t(z). Suppose f = -3*l + 9*l. Are l and -3 unequal?
True
Suppose 8*a - 47 = -15. Suppose 0 = -3*z + a*k + 3, -4*z + 3*k = 2*k - 4. Which is greater: -3/41 or z?
z
Suppose 24 = 5*m + 4*s, 37*m + 12*s = 39*m - 64. Is m smaller than 191?
True
Let g be ((789/4)/(-3))/(171/1064). Which is smaller: -408 or g?
g
Let q = -375953/4677497 - -106/1333. Do q and 1 have the same value?
False
Let f = 2271 - 2375.9. Is f greater than -1/3?
False
Suppose -5*q - 4*h - 154 = 0, -2*h = 34 - 32. Let b = -23 - -24. Let x = -3 + b. Do x and q have the same value?
False
Let g(z) = -14*z**2 + 11*z + 10. Let j be g(-1). Let m be 120/16*10/j. Let x = 5 + -5.3. Is x smaller than m?
False
Let a be (2/(-4))/(2/(-44)). Let f = a - 48. Suppose 0 = 2*u + 2*h + 82, -3*h + 21 = 4*u - 5*u. Is f equal to u?
False
Suppose 4*g = -5*u + 515, -3*g + 312 = -3*u + 6*u. Suppose -3*h + 6 = w, 5*w - 3*h = u - 15. Let i be ((16/60)/1)/(w/200). Is i less than 3?
False
Let r(w) = 82*w - 984. Let x be r(3). Do x and -736 have different values?
True
Suppose 0*b + 28 = -4*b - 4*m, 0 = -m + 4. Let g = 439 - 436. Suppose -5*w = 4*x + 11 + 56, -g*w = x + 36. Is w less than or equal to b?
True
Suppose 6*c - 3*c - 6 = 0. Suppose -3*y - 87*r + 91*r + 33 = 0, 4*r + 30 = 2*y. Let q be y/(-210) + -2 + c + 0. Is -1 at most as big as q?
True
Suppose 0 = -18*u + 71*u + 106. Let b be (44/(-6))/(2/(-6)). Let z be b/(-21) - (-2)/6. Is u smaller than z?
True
Let j = -0.017 - 0.026. Let c = j + 3.043. Let n = c - 2.8. Which is greater: 17 or n?
17
Suppose k + 0*k = -18. Let d be 23 + (-77)/7 - -54. Let p = d + k. Is p at least -2/3?
True
Let q = -1341 - -1340.83. Let r = 417.17 - 420. Let u = r + q. Is u != 3/8?
True
Let z be ((-3)/68)/((-20)/(-36)*28/(-160)). Which is bigger: z or -1?
z
Suppose 259*b + 8696 + 15331 + 12751 = 0. Which is smaller: b or -8/5?
b
Suppose 0 = 2*f - 4*f. Let a be 7 - (-945)/(-132) - (-2)/(-8). Is a greater than or equal to f?
False
Suppose 2*q + 0*q - 6 = 0. Suppose 297 = -4*d - 3*s, -d - 8*s - 53 = -q*s. Let k = -547/7 - d. Is 0 greater than k?
True
Suppose 3 = i - s, -4*s = i - 1964 + 1986. Is 8/631 greater than i?
True
Let n(d) = -d**2 - 2*d + 17. Let p be n(-5). Suppose 2 = -p*i + 8. Is 4 less than i?
False
Let a(o) = o**2 - 1. Let i(u) = -5*u**2 - u + 22. Let k(d) = -6*a(d) - i(d). Let v be k(0). Does v = -25?
False
Let j = 0.247 - 0.247. Let m = 6.6 - 172.6. Do m and j have the same value?
False
Let h = -0.17 - 0.03. Let m = 67 - 68.808. Let s = -0.192 + m. Which is greater: s or h?
h
Let l be 8*(123/3854)/(3/18). Which is greater: 2 or l?
2
Suppose -13*i + 16 = -17*i, q - 5*i - 449 = 0. Let l = 458 - q. Is l less than or equal to 143/5?
False
Let g be (2/3)/((-4)/321). Suppose 10*d + q = -565, -2*d + 3*q = q + 80. Which is bigger: d or g?
g
Let d = -15834 + 15757. Does -80 = d?
False
Suppose -8*r + 20 = -3*r. Let g(b) = 2*b**3 - 9*b**2 + b - 15. Let j be g(r). Is j less than -27?
False
Let r = 5832 - 5831. Which is greater: r or -157?
r
Let j be -50 + 57 + 42/14. Suppose 2 = 2*t - 2. Suppose 0 = -t*g + g + 9. Which is greater: g or j?
j
Let n = 165 + -163.67. Let l = -5.5357 - -4.5357. Are l and n equal?
False
Let a = 12467 - 12443. Suppose 5*w + 10 = 3*t, -2*w - 4 = 6*t - 2*t. Which is bigger: t or a?
a
Let i = -14601 - -8962. Is i not equal to -5638?
True
Let k = 991/240 + 13/48. Let o be 2/((-14)/665) + 6. Let l = o - -92. Do l and k have the same value?
False
Suppose -21*z = -95*z - 136517 - 480199. Is z equal to -1/2?
False
Let y = -1.40461 - -0.00461. Is y < 0.086?
True
Let l = -49 + 48. Suppose 15*h = 5*s + 20*h - 750, s - 158 = -5*h. Do l and s have the same value?
False
Let f(w) = 11 + 7 + 4*w - 3 - w. Let u be f(-6). Let l be 928/(-188) - (u - 2). Do 0 and l have the same value?
False
Let y(k) = -k**3 - 4*k**2 - 10*k. Let i be y(0). Is i < 1/2746?
True
Let n be (-3)/6*0/(-2). Let g = 10/19 - -65/57. Let d = g + -28/15. Which is greater: d or n?
n
Let w(b) = 11*b + 10. Let d(z) = -5*z - 5. Let r(a) = 9*d(a) + 4*w(a). Let h be r(-4). Let y(j) = -3*j. Let n be y(h). Which is smaller: 4 or n?
n
Let q be 2/((-123)/129 + 1). Let l = q + -41. Suppose -3*b + 202 = 5*y, 0 = b + l - 6. Is y less than or equal to 39?
True
Suppose -6*s = 4*a + 404, 0*s + 271 = -4*s - a. Which is greater: -60 or s?
-60
Suppose 6 = 35*g - 224 + 90. Which is smaller: g or 322/103?
322/103
Suppose 6*v = v + 5*g + 55, 0 = 3*g - 15. Suppose -2*n + 44 = 4*l + v, n - 4*l - 14 = 0. Let z be (-2 + (-16)/(-1))*(-14)/n. Is -27/2 greater than z?
True
Let d = 36 + -23. Suppose -2*c = j + d, 2*c = 4*j - 0*c + 42. Suppose 92 = -14*w - 6. Does w = j?
False
Let z = 20014 + -20006. Is z smaller than 390?
True
Let v = 1496440/141 - 10613. Let l = 64/1551 + v. Let n(u) = -u + 2. Let a be n(2). Which is greater: a or l?
l
Let q = 2/2153 - 27993/4306. Let n = 17915/2982 + 44/213. Let f = n + q. Is -4/9 less than or equal to f?
True
Let c(d) = -52*d - 832. Let y be c(-16). Let p = 28/3 - 5743/615. Is y at most p?
False
Suppose -66*p - 322 = 338. Which is smaller: -440/41 or p?
-440/41
Suppose -41*q - 2*q + 1125095 = 0. Let i = q - 235805/9. Which is smaller: i or -37?
-37
Suppose 2*o = -4*w + 2, -7*w = -6*w + 3*o - 13. Let k be ((-114)/(-12))/((w/(-164))/1). Which is greater: k or 778?
k
Suppose -12 = 4*i, -4*o = o + 3*i - 11. Suppose -w + o*l - 81 = 15, 318 = -3*w + 2*l. Let t = w - -108. Do t and -1/9 have the same value?
False
Let k be (-574)/4*(-285 + 287). Which is smaller: k or -2578/9?
k
Let s be -7 + (-1495)/(-175) + -5*6/(-50). Which is smaller: s or -25?
-25
Let f be ((-1824)/(-6))/(3/3). Suppose 0 = 3*m - 2*q - 924, m - 212 - 116 = 4*q. Do f and m have different values?
False
Let p be (-7)/(-1 - 6)*14. Let u be -1*(-1)/(0 + 2/16). Is u < p?
True
Let v = 0.0331 - -0.3299. Let a = -0.337 - v. Is -10 bigger than a?
False
Let n = 18/829 + -107/43108. Which is greater: 1 or n?
1
Let s be (-10)/(-55) + 1549/11. Let x = s - 219. Is x < -157/2?
False
Let m be 14/105 - (11712/(-11250))/(-8). Let k(g) = g**2 - 3*g - 11. Let y be k(5). Which is bigger: m or y?
m
Let h = 3660 - 3659. Which is smaller: h or 16.33?
h
Let g = 1 + -1. Let y = 1/320311 - -647348514/5445287. Let n = y - 119. Is n >= g?
False
Suppose -12 - 32 = -2*f. Let x = 21 - f. Let w be (2/x + 30/(-5))*1. Which is bigger: w or -9?
w
Let u = 7.5 + -7.4. Is u less than 7287?
True
Let i = 2166 + -2315. Which is smaller: 6/7 or i?
i
Suppose 0 = -43*s + 28*s + 15. Let x be ((-8)/(-10))/((-8)/(-20)). Is s less than or equal to x?
True
Let l = -255 - -267. Suppose 22 = 2*a - l. Let x = 9718/597 - -11/199. Which is bigger: a or x?
a
Let m = 2157.02 + -2157. Which is greater: 195/7 or m?
195/7
Let w be (-36 - -31) + (-1)/(1/(-4)). Let a be -64 - -61 - 95/w. Which is smaller: 90 or a?
90
Let n = 801 - 802.5. Are n and -0.054 nonequal?
True
Suppose -29*x - 102037 = 582*x. Which is bigger: -5 or x?
-5
Let o(m) = 3*m**3 + 15*m**2 - 5*m - 24. Let y be o(-5). Is y at most -54/223?
False
Let y be (288/(-27))/(5/(-60)). Is 134 greater than or equal to y?
True
Suppose 5*v + h - 162 = 0, 2*v - 34 = v - h. Let s = -1050 - -1409. Let q = s + -329. Is q <= v?
True
Let p = 810 + -659. Let n be 19 + p + 7/(-1). Is 165 greater than n?
True
Let m = -14782 - -14770. Which is smaller: -383 or m?
-383
Let r(t) = t**2 - 4*t - 22. Suppose 2*k + 2*b = 18, -3*k + 14 = b - 7. Let d be r(k). Which is smaller: -11 or d?
-11
Let b = -5756/9 + 2054/9. Let f = b - -3728/9. Let o(q) = -q**2 - 3*q + 1. Let k be o(-2). Are k and f non-equal?
True
Let j = 110 - 110. Suppose j + 12 = 3*i. Suppose 3 - 7 = i*p, 4*o - p + 55 = 0. Is -13 bigge