-230 - x. Let k = 66 + n. Which is bigger: k or 0.3?
0.3
Let z be (-36)/(-21)*14/(-10). Let b be (-10 - (-29 + 18))*-3. Are b and z equal?
False
Let p(a) = -8*a + 56 - 134 + 46. Let z be p(-9). Is z at least 40?
True
Let z = 18969 + -18988. Which is smaller: -575/29 or z?
-575/29
Let n(z) = -126*z + 6612. Let t be n(93). Which is greater: -5105 or t?
-5105
Suppose 2*c = -t + 5, 4*c + 30 + 5 = 3*t. Let b be t/(-15) + (-6)/(-10). Let a = -0.8 + 0.8. Is a at most as big as b?
True
Let a = 1383374/79 - 17512. Are -1 and a nonequal?
True
Suppose 0 = -3*r + 2*f + 35, 4*r - 4*f - 50 = 2. Suppose -10*m - r = -19. Is -1/8 at most m?
True
Let q = -1.7 + 1.601. Let r = q - -53.099. Let o = 48 - r. Which is bigger: 1/2 or o?
1/2
Let t be (-3 - -17)*20/5. Which is greater: t or 100?
100
Suppose 2*n = -5*z - 69, 4*z + 35 = -4*n - 25. Let j(b) = 4*b + 56. Let c be j(z). Suppose -k = 4*t, -3*t + t = -c*k. Which is smaller: t or -1/37?
-1/37
Let v = -101 - -100.7. Suppose -2*s + 5*d + 11 = 0, 5*d + 39 = -14*s + 12*s. Which is bigger: v or s?
v
Let c = 166.234 + -166. Let x = -0.05 + c. Let r = -0.106 - x. Which is greater: r or -1?
r
Suppose 5*h + 49 = 19. Let j be -1*((0 - h) + -2). Let q = j + 2. Which is smaller: -1 or q?
q
Let i(z) = z**3 - 14*z**2 + 11*z + 56. Let r be i(13). Let f(c) = -c**3 + 5*c**2 + 4*c - 1. Let x be f(4). Which is smaller: x or r?
r
Let t = -64852/3 + 449335/21. Let i = 131 - 350. Let h = t - i. Is 0 less than h?
False
Let r(y) = y + 4. Let q be r(-10). Let x be q/7*14/(-4). Do 2 and x have the same value?
False
Let v = 4350 + -13052/3. Which is smaller: 5179 or v?
v
Let n be 1365/702*(-4)/(-749)*-3. Is 1 equal to n?
False
Suppose 3*y - 2*u + 4*u - 5 = 0, -u + 4 = 3*y. Let k = 166 + -171. Let s be 4/(-30)*k/120*-20. Is y <= s?
False
Suppose 4*j = -0*j - d - 1968, j - 19*d = -492. Which is greater: j or 5?
5
Let x be ((-36)/21)/(654966/567). Is 1 greater than x?
True
Let n = 10 + -11. Let f be (135/(-54))/((-1)/2). Suppose -4*b - 60 = 4*v, f*b + 44 + 14 = -4*v. Which is greater: n or v?
n
Let t = 2128/2475 - -22895189/17325. Let j = -1322 + t. Let w = 1/35 + j. Do -4 and w have different values?
True
Let p(j) = 528*j - 5809. Let g be p(11). Let t be 2782/(-13860) + (-1)/(-5). Which is smaller: t or g?
g
Let g = -0.09 + 0.048. Let q = 1035 - 1043.958. Let s = q + g. Do 2 and s have different values?
True
Let y(t) = 212*t**2 + t - 3. Let c be y(1). Suppose 4*k - 9*k = -c. Is k smaller than 43?
True
Suppose -96*g + 90*g - 18 = 0. Let a be ((-24)/(-45) + -2)/(g/70). Which is smaller: a or 34?
34
Let y be 20/8 - (-433)/(-2). Let x = 213 + y. Let c = 2 - 2.1. Is c > x?
True
Let k = -340.2 + -77.8. Let p = k + 417. Which is smaller: 14/11 or p?
p
Let f = -6949/4408 + -25/232. Let d = -19552 - -19550. Is d at most f?
True
Let d = -3 - -2.8. Let z = 5.05 - 3.58. Let h = z + -1.5. Which is smaller: d or h?
d
Let f(m) = -3 + 2 + 268*m**3 + 2*m - 199*m**3. Let w be f(1). Let g = 516/7 - w. Which is bigger: 4 or g?
4
Let t = 371 + -365. Suppose 4*s = -3*o - o + 16, s - o = t. Which is bigger: s or 4?
s
Suppose -11*j - 2114 - 1851 - 6496 = 0. Is -952 >= j?
False
Let u = 1/29454 - -29343547/14727. Is 1992 > u?
False
Let u = -8493 + 8466. Is u >= -72?
True
Let q be -5*1 + 253/23. Suppose 3*c - q = 4*d, -d = 5*c - 8 - 2. Suppose -c*p = o + 41, 19 = o - 5*p + 46. Does -38 = o?
False
Let r be 81/108*(28/(-12) - -2). Is r at least as big as 129?
False
Suppose 0 = -12*v - 2370 - 1566. Is -329 > v?
False
Let n be 3/12 - -3*(-303)/(-12). Suppose -4*r - 80 = -4*h - r, -2*r - n = -4*h. Is 1 > h?
False
Suppose 40 = 201*a - 209*a. Let k be (5976/2985 + -2)*a. Is k > 0?
False
Let p = -194191/8 - -24506. Let s = p + -232. Which is greater: 0 or s?
s
Let z = -120/391 + -248707/1173. Is -213 equal to z?
False
Let q = 267/52 - 119/208. Let r = q - 3691/816. Is r < 0?
False
Let r = 54 - 61. Let v be (-2 - 121/(-77)) + (-675)/r. Is 97 <= v?
False
Let k(d) = d**3 + 13*d**2 - 18. Suppose 2*g - 3*g + 3*r - 22 = 0, -5*g = -5*r + 80. Let b be k(g). Let y(q) = -39*q + 138. Let p be y(4). Is p greater than b?
False
Let b = -68 + 140. Suppose -5*y - b - 8 = 0. Let l = 13595 + -13610. Which is smaller: y or l?
y
Let n = 4555 + -5559. Which is smaller: n or -1003?
n
Suppose -77*t = -118 + 2505. Is t not equal to -43?
True
Let l be (-4)/14 - (-976)/(-14). Let j be 2/9 + l/180. Let v = -7261 + 7261. Does v = j?
False
Let s = -43 - -43. Suppose 4*j + 54 = 58. Let z be (1995/(-20))/(-19) - (4 - j). Is z greater than or equal to s?
True
Suppose -125*v - 2209314 = -86*v + 138*v. Is v at most as big as -12484?
False
Let c be ((-504)/60 - (-14)/10)*2. Which is smaller: 504 or c?
c
Let z(r) = -9*r. Let g be z(1). Let u(t) = -8*t - 82. Let x be u(g). Is x smaller than -5?
True
Let i = -10713 + 7372. Which is smaller: -3342 or i?
-3342
Let u = -0.23897 - 2.76103. Is u not equal to -1956?
True
Let g(i) = -10*i + 164. Let p be g(16). Suppose 60 = 2*q - m - 333, p*q - 791 = m. Which is smaller: q or 200?
q
Let n be (-718)/32 - (-637)/49. Which is smaller: -8 or n?
n
Let t = -150.39 - 3.61. Let r = t - -154.081. Let v = 0.219 + r. Which is bigger: v or 0?
v
Let z = -0.4 + -0.6. Let t = z - -2. Let k = 2.882 + -0.882. Is t greater than k?
False
Let a(n) = n**2 + 17*n + 28. Let l be a(-21). Suppose d = 3*r + l, 4*d - 6*r + 10*r = 528. Is d <= 126?
False
Let j = -1928 + 1921. Is j at most 246?
True
Suppose -8247 = 3*n + 4*z, -75*n = -78*n - z - 8238. Is n at least as big as -2743?
False
Let v be (-7)/(-14) - (-267)/(-6). Let c = 9 + v. Let l be ((-10)/c)/((-3)/(-12)). Which is smaller: l or 2?
l
Let t = -173/5 - -35. Let j = 5.34 - -19.61. Let k = j - -2.05. Which is greater: t or k?
k
Let v = 35.5 - -127.5. Let s = v - 163. Are -1.44 and s non-equal?
True
Let x be -5 - (-13 + (-221655)/(-27706)). Is 1 not equal to x?
True
Let r be 60/(-200)*475/13680. Suppose t + 5 = 6*t. Is r bigger than t?
False
Suppose 0 = 5*w + 5*c - 35, 4*w + 26 = 5*c. Which is smaller: 27/481 or w?
27/481
Let t = -57 - -61. Suppose 0 = 8*p - 36 - 52. Suppose -9*i = -p*i + 6. Is t smaller than i?
False
Let f(n) = -n + 1. Let v be f(-5). Suppose 0 = -5*z + 2*d + 4, -v*z + 5*d = -z - 10. Is z at most as big as 3/71?
True
Suppose 5*w = -4*c + 17, 5*c = -0*c - 2*w + 17. Suppose -3*o + 6 = -c*p - 24, 30 = -2*p - 3*o. Are -13 and p equal?
False
Let r = -446.85 - 120.15. Is 2 not equal to r?
True
Let a = -167.6 + 168.6. Is a > -287?
True
Let u be ((-4)/88)/((-12753)/4874). Let k be (-135)/(-1890) - (-3611)/(-50358). Let y = k + u. Which is smaller: y or 1?
y
Let z(r) = 10*r**2 - 4*r - 5. Let j be z(-6). Let h be (-11 - -10)*(-14 + -365). Does h = j?
True
Let p be (-8)/(-10)*(-150)/240*0. Which is smaller: p or -7/3466?
-7/3466
Let v(k) = -2*k - 12. Let r be v(-2). Let a be (-17)/136 - 601/r. Which is greater: a or 76?
76
Suppose -2*m = -5*a + 86, 49*m + a = 44*m - 188. Are m and -9/2 unequal?
True
Let v be (-2 + 724/14)*(-14)/(-1). Let l = -2691/4 + v. Suppose 3*p + p = 5*b - 115, -3*b = -2*p - 69. Which is smaller: l or b?
b
Let b = 152 - 215. Let l = 1645/9 + -183. Which is smaller: l or b?
b
Let n = -70 - -66. Let j = n + 24. Is j bigger than -0.3?
True
Let f(l) = l**3 - 127*l**2 + 127*l - 435. Let n be f(126). Is n at most as big as -313?
False
Let y = 1457 - 1456. Is -104 less than y?
True
Suppose 46966 = 18*f + 2056. Is 2494 at most f?
True
Suppose 2*r = -5*y + 22, -265*r - 9 = -262*r - 3*y. Which is smaller: -50/117 or r?
-50/117
Let k be (-20)/(-1170)*603*(14 + -1). Which is smaller: k or 121?
121
Let l be (2/(-3))/(18/(-27)). Let k be (0 - -3*l)/((-2)/6). Let u be (8 - (0 - -1))*-1. Is k equal to u?
False
Let s = 2158 - 2164. Let d be ((-93)/30)/((-2)/(-5)) + 2. Is d >= s?
True
Let c(u) = u**2 + 8*u - 88. Let s be c(-14). Let t(y) = y**2 + 2*y - 8. Let z be t(s). Which is bigger: -1 or z?
z
Let y(c) = c**3 - 46*c**2 + 89*c - 42. Let z be y(44). Suppose 4*u = -5*a + z*a, 3*a = u. Is 2/893 at most a?
False
Let q be 1*(-6 + 150/25). Let c = 34 - 131/4. Is c less than q?
False
Let w = -16941 + 15854. Is w equal to -1090?
False
Suppose -529 = 3*b - 5*v, 160*b - 156*b - v = -694. Is b bigger than -205?
True
Let z be ((-40)/90)/((10/9)/(-5)). Let d be z/14*(35/(-5) + 9). Which is smaller: -2 or d?
-2
Let n(z) = 25*z**3 + z