al to -78?
False
Suppose 5 = -2*w + 11. Suppose 2*k - w*k + 5*n + 25 = 0, 5*k + 2*n - 71 = 0. Suppose 18 = -15*h + 228. Is h bigger than k?
False
Let w be (3/(-50571))/((-392)/(-42) - 9). Is w >= 1?
False
Let k be 0 + 2 + ((-59454180)/(-1655))/4. Let p = k - 8983. Which is bigger: 0 or p?
0
Let d(b) = b**3 + 7*b**2 + 7*b + 8. Let q be d(-6). Let z be 2/4*(q - -12). Let u be (-2867)/(-427) - 1/(-1) - 12/42. Which is smaller: u or z?
z
Let t be ((-11646)/20 + 1/(-5))*5952/620. Is t at most as big as -1?
True
Let z = 5.9795 - 5.7795. Let f = -0.001 - 10.899. Which is smaller: z or f?
f
Let g = 1024 - 1090.9. Let t = g - -6.9. Is 0.2 >= t?
True
Let a = -7040 + 7040. Is 3/1982 less than or equal to a?
False
Let p = -29632 + 29633. Which is greater: 32 or p?
32
Suppose -h = -5*z - 8, 0 = 51*h - 56*h + 4*z - 23. Let f be h/(-4) - (9 + (-330)/40). Which is greater: f or -7?
f
Suppose 5*x - 21*x = -32. Suppose -19 + x = -17*l. Is l bigger than 2/435?
True
Suppose 34*h = -183*h + 424235. Is h not equal to 1952?
True
Suppose -4*u + 823 + 581 = 3*n, 4*n - 1859 = -u. Suppose 4*y + 0*k = -2*k - n, 337 = -3*y + 4*k. Let m = y - -200. Is m greater than or equal to 85?
True
Let v be 4*(15 - 3) - (0 - 2). Suppose 5*p + 6*q - 44 = 4*q, 5*p - v = -5*q. Suppose 4*s = p, 0*s = -2*u - 2*s - 82. Is -42 != u?
True
Let t = 32.8 + -43. Let f = -0.349 + 0.449. Is t > f?
False
Suppose -46 + 299 = -2*u - 3*i, i = -5. Which is bigger: 2 or u?
2
Let i(d) = 2*d**3 + 42*d**2 + 41*d + 16. Let h be i(-20). Which is smaller: 1176 or h?
h
Let u = 104947 + -104946.3. Let w = 2.92 - -0.08. Is u not equal to w?
True
Let u be (2/3)/(134/6). Let o(s) = s**2 - 45*s + 358. Let c be o(35). Suppose 0 = -c*k - 18 + 10. Is u > k?
True
Let f = -15 - -15. Let n = 1789200/577 + -399505369/57700. Let x = n - -3823. Which is smaller: x or f?
f
Suppose 14 = o + 15. Let g be -1 - -770 - 1/1. Let n = g + -64511/84. Is o < n?
True
Let b = -2048.268 + 2048. Is b greater than or equal to -1/8?
False
Let b be (2 - 30)*61716/(-3626) - 4/7. Which is greater: 471 or b?
b
Suppose -494 = -6*x - 7*x. Suppose 30*s - x*s = -104. Is s > 13?
False
Let f = -28/173 - 16452/9515. Which is greater: f or 1?
1
Suppose 55 = -21*r + 18*r + 2*y, 2*y - 76 = 4*r. Suppose 3*x + 57 = -3*s, -x - 5*s - 35 = -0*s. Which is smaller: r or x?
r
Suppose -2150 + 656 = 18*p. Suppose 3*h - 252 = 3*d, -4*h + 334 = -4*d - 2*h. Are p and d nonequal?
False
Let p be (4124*3/12)/(-3 - 0). Which is smaller: p or -343?
p
Suppose 3*z + 3*b + 1 + 2 = 0, -6 = 2*z + b. Let v be (-1526)/(-63) - 6/27. Suppose 21*x + v = -39. Is z less than x?
True
Let r(n) = -1309*n - 2586. Let y be r(-2). Let l = 161151/8 - 20112. Are y and l equal?
False
Suppose -5*q + 4*s - 24 = 0, -5*s = -2*q + 6 - 2. Let y be (q + 1)*(-28)/686. Which is bigger: 191 or y?
191
Let z(a) = -a**3 + 4*a**2 - 4*a + 1. Let v be z(3). Let f be (10/6 + v)/(-4 - -5). Is -0.157 bigger than f?
True
Let b be 24/180 - 694/30. Let n be 3 + (-1 + b)/6. Which is bigger: n or 79?
79
Suppose 704 = -8*b + 3*z, b + 28 = -4*z - 25. Are -83 and b non-equal?
True
Let w = -6392 - -6392.1. Let l = 4.34 + 0.16. Let u = 0.5 - l. Is w at most as big as u?
False
Let x(m) = -2*m - 59. Let b be x(-32). Suppose -b*d - 16 - 24 = 0. Let o = 0 - 11. Which is smaller: d or o?
o
Suppose -6*v = -2*v + 236. Let n be 69/161 + (-1 - (-690)/7). Let w = v + n. Which is greater: 38 or w?
w
Let r(j) = 6*j - 7. Let i be r(1). Let z be i/(-4) + 1/12*561. Which is bigger: z or 49?
49
Let x = -6.3 + -1.7. Let p = -1648.65 + 1647.25. Which is bigger: x or p?
p
Let u be (50/15465)/(2346/(-5823)). Let q = -3/1031 - u. Which is smaller: 0 or q?
0
Let j be 0/(25/(25/(-2))). Which is smaller: j or -1/1126?
-1/1126
Suppose -34*x = -1839 + 5681. Is -795/7 bigger than x?
False
Let j = 1.99528 + 0.00472. Let a be 11 + -14 - 110/(-38). Which is bigger: j or a?
j
Suppose 0 = 4*c + 2*n + 84, 0 = -3*c + 3*n - 47 - 7. Let s be (-27)/(-3) + 1 + -4. Suppose 5*z = -2*x + s, -3*z + 2*z - 3*x = -9. Which is smaller: c or z?
c
Let b be (2/10)/(25/4000). Which is bigger: 70 or b?
70
Suppose -w = s - 12 + 16, 3*s + 12 = -5*w. Is w equal to -1/214?
False
Let z = -14212 + 14346. Is z <= 144?
True
Let p = 146 - 148. Let f be 6*p*13/((-195)/20). Which is greater: 17 or f?
17
Suppose 15*n + 792 = 21*n. Suppose -4*s + 31*k - 27*k = -n, -3*k = 9. Which is greater: s or 143/5?
s
Let m = -20 + 32. Suppose i = -i - m. Let x be ((-2)/i)/(1/(-3)). Which is greater: 4/7 or x?
4/7
Let v be (-85)/(-2635) + (-1)/31. Which is greater: 35/304 or v?
35/304
Let z(j) = 4*j**2 + 165*j - 14. Let o be z(-23). Is o greater than -1689?
False
Suppose -249*f + 248*f + 299 = 2*n, 5*n = 5*f + 800. Which is smaller: n or 151?
151
Let o(f) = -4*f + 23. Let t(v) = -20*v + 114. Let x(k) = -11*o(k) + 2*t(k). Let s be x(19). Suppose 9*c = -3 - s. Do c and -3 have the same value?
False
Let z = 328 - 371.6. Let f = -77 + 33. Let g = f - z. Is 2/5 < g?
False
Suppose 58 + 14 = -9*k. Let c = k + 18. Suppose -n + 8 = -4*l, -5*l + 0*l = c. Is n <= -1/10?
False
Let i be (7 + -2 + 1)*-1. Let r(x) = -2*x + 10. Let g be r(3). Suppose 8 = -3*s - g. Which is bigger: s or i?
s
Let l = 1/1278 - 311837/6390. Let q = 7554/155 + l. Let i(m) = m**3 - 19*m**2. Let f be i(19). Do q and f have the same value?
False
Let f be -4*1 - (-6 - 0/(-6)). Suppose n = f*w - 29, -n - 8*w - 19 = -5*w. Is n less than or equal to -24?
True
Suppose -3*i - 279 + 699 = 0. Suppose -2*t = 4*q + i, 0 = -t + 2*q + 56 - 142. Let f be 2/(-10) - t/690. Is f greater than -1?
True
Let w(l) = -l**3 - 6*l**2 + 519*l + 20. Let g be w(18). Is 1588 bigger than g?
True
Let l = -3293/132 - -213/11. Is 4/5 less than l?
False
Let c = 0.2 - 0.1. Let o = -446 + 449. Suppose 2*s + o = -4*b + 99, -2*s = -5*b - 96. Is s >= c?
True
Let s = -375 - -390.9. Let i = s - 9.9. Which is greater: 1 or i?
i
Suppose 0 = -5*a + 40, 10*l - 25*a + 26*a - 16518 = 0. Which is bigger: 1654 or l?
1654
Let y be (2/10)/((-43120)/(-27600) + 10/(-6)). Let a = -5 + 2. Is a > y?
False
Let o be -10441 + (5 + -4)/(((-40)/28)/10). Is o <= -10447?
True
Let n be 91/4 - (-963)/(-1284). Which is smaller: -8/17 or n?
-8/17
Suppose 0 = 5*l - 9330*o + 9329*o - 692, 4*l - 4*o - 528 = 0. Is l not equal to 147?
True
Suppose i - 183 = 3*f, 3*f - 3*i + 183 = -6*i. Let j be (-6)/(-15) + (-2)/(-230)*f. Let y = -19/207 + j. Is -11 less than or equal to y?
True
Let m = 3794 - 3794. Let z = 48.9 + -46. Let w = z + -2.922. Which is smaller: w or m?
w
Suppose 4*g = -2*z + 26, 0 = 2*z - 2*g + 2 - 4. Suppose 3*a + 10 = 8*a, z*a = -3*j + 25. Let s be (2/(-6))/((-273)/3744). Which is smaller: j or s?
s
Let a be (80184/(-112) - 2/28)*-4. Is 2866 != a?
True
Let t = -24888 + 24888.289. Is t less than -0.01?
False
Let i = -21 - 66. Let j be (-9)/(-12)*-4 - 85. Is i at least j?
True
Let y(u) = -u**2 + 17*u - 72. Let a be y(8). Which is greater: a or -2/13?
a
Let a(u) = u - 3. Let d be a(15). Let m = -0.4 + -0.6. Let z = m - -2. Which is smaller: d or z?
z
Let i = -149934 + 598836399/3994. Let h = i - -95805/67898. Which is bigger: h or 1?
h
Let u = -1.93 + 0.63. Let f = -2.2 + 1. Let i = 1.1 + f. Which is smaller: i or u?
u
Let k(u) = 3*u**2 + 3*u - 551. Let f be k(-13). Is -82 <= f?
False
Suppose 3*g - 2*k = -26423, 7272 = -g - 5*k - 1564. Which is smaller: g or -8809?
g
Let c = 127 + -127. Suppose c = -t - 3*t + 100. Suppose -7*h - t = -8*h - 2*f, -3*h = -f - 82. Which is smaller: h or 29?
h
Let c be 3396/11424 - (-5 + 144/28). Are c and 1 non-equal?
True
Let k be (-1)/4 + (-175185)/(-900). Is 193 < k?
True
Let z be 137/(-9) - 6/(-27). Let m = 86 + -85. Let j(h) = -17*h**3 - h**2 + 3*h - 1. Let b be j(m). Which is smaller: z or b?
b
Let j(i) = -9*i**3 - 6*i**2 - 85*i + 160. Let n be j(12). Is n greater than -17276?
False
Let w = 962/3 + -318. Let q be (-17848)/70 + (-24)/(-42). Let u = q + 254. Which is smaller: u or w?
u
Let f(t) = 14*t**3 + 8*t**2 - 35*t + 98. Let p be f(6). Which is smaller: 3202 or p?
p
Suppose -r - 4*j = -420, 0 = 2*r - 4*j - 321 - 579. Which is bigger: 3962/9 or r?
3962/9
Let d(p) = 13 - 38 - 20 - 4 - 8*p. Let g be d(-8). Suppose -18*j - 39 = -g*j. Are 4 and j non-equal?
True
Let i(x) = -22*x - 880. Let w be i(10). Which is greater: -1097 or w?
-1097
Let m be -2 + 1 - (-5