et h be j(2). Let u be i(h). Let y = 7296/17 + -429. Is y at most as big as u?
False
Let i = -14 - -14. Let v = -14 - i. Let l = v - -17. Do 2/7 and l have different values?
True
Let x be 6 - -4 - (-2044)/(-154). Which is smaller: x or 2/3?
x
Suppose -332*h = -32 + 1028. Let o be -15*(-3)/9*1. Suppose -3*n = o*u + 25, 2*u + 20 = -2*u - 3*n. Which is bigger: u or h?
h
Let j(i) = i**3 - 10*i**2 + 8*i + 11. Let m be j(9). Let s be (m - -2) + (-90)/(-10). Is 16 equal to s?
False
Let m = 115 - 106. Suppose -m*l + 21 = -2*l. Let g be 0*-2*(-1)/4. Which is smaller: g or l?
g
Let g = 484120 - 23723008/49. Which is greater: -23 or g?
-23
Let b = -30 - -33. Let k be (2/(-4))/(b/(-30)). Suppose k*g = 8*g + 3. Is -9/4 greater than g?
False
Let s = 18909 + -18908. Which is bigger: s or 3/3205?
s
Let o = -1830641/10 - -8564259/50. Let x = o - -11777. Which is greater: x or -1?
-1
Let g = -646 - -653. Let s be g/28 + 5/(-100). Do s and -0.033 have different values?
True
Let t be (5 + -5)*(-2)/(-6). Let u be (-354)/144 + (3/12 - 14/(-8)). Do u and t have the same value?
False
Let z be (-2)/(3/5 + 294/(-390)). Let d be (-4)/24*-3 - (z + -13). Which is smaller: -2/59 or d?
-2/59
Let x(o) = -o**2 - 75*o + 481. Let k be x(-81). Which is smaller: -13/45 or k?
k
Suppose -4*x + 2*g - 24 = 0, 5*x = 2*g - 6 - 21. Let c = -30491/8 + 3805. Which is smaller: c or x?
c
Suppose 4*q - 6 = -3*x, 0 = 4*x + 5*q - 4 - 4. Suppose -x*s - 4*u = 42, 2*u - 12 + 6 = 0. Let m = 11 - 12. Which is greater: s or m?
m
Suppose 103*b + 22814 = 92*b. Which is bigger: b or -2075?
b
Let w be (-195638)/207 - (-9)/81. Is w > -944?
False
Suppose 3*g = -5*c - 3355, -20*g = -16*g + 5*c + 4465. Is -1110 greater than g?
False
Let a(r) = 3*r - 9. Let v be a(6). Let f = 12 - v. Suppose 3*q - 2*t = -4*t - 7, -1 = f*q - t. Which is bigger: 2/19 or q?
2/19
Let c be (-14)/(-10)*(-46)/(-161). Suppose 0 = -5*o - 4*z - 10, 0 = -3*z. Let u be o/(-1 - 0)*(-1)/(-2). Which is smaller: c or u?
c
Let k = -23 + 33. Let j be 14/k - (0 - -2). Let a = -0.05982 - -2.55982. Are j and a equal?
False
Suppose -963 = -19*j + 10*j. Let y = -210 + j. Is y greater than or equal to -105?
True
Suppose -j + l = -27, -2*l = -2*j + j + 23. Let q be -170 - 2/((-4)/10). Let y = -135 - q. Is y <= j?
True
Let y = 4843.0723 - 4843. Which is smaller: y or 0.08?
y
Let m = 165427144/3521 - 46983. Is -1 greater than or equal to m?
False
Let s = 3772 + -3764. Which is bigger: s or 165/19?
165/19
Let t = 60 + -197. Let a = -3 - t. Is a equal to -0.1?
False
Let j be (-33)/(-44)*216/(-162). Which is bigger: 2/94605 or j?
2/94605
Suppose 5*h - 8*h + 3*u = -1251, -5*h + 2101 = -7*u. Is 404 equal to h?
False
Suppose 0 = -3*m - i - 667, 3*m - 2*i - i + 675 = 0. Let x = m - -230. Is 5 < x?
True
Let b = 2.394 + 2.308. Let q = b + -0.702. Do q and -83 have the same value?
False
Let z = -279 - -496. Let u = z + -216.9. Is u at least -201?
True
Let r be 4 + (-1 - -1)/1. Suppose 7*a - 8*a = -2*k - 23, 0 = 3*a + r*k - 109. Which is smaller: a or 2?
2
Let p be ((-176)/55)/((-4)/30). Suppose 392 = -p*t + 32*t. Is t at most 44?
False
Let m = 170.6 - 185. Let h = m - -10.4. Is 2/15 >= h?
True
Let g(u) = -5*u**2 + 3. Let y be g(-4). Let w(z) = z + 43. Let l be w(37). Let h = y + l. Is 4 >= h?
True
Let a be 7/70 + (3 - (-711)/(-210)). Is -7 >= a?
False
Let l be (-20)/240*-3*27938. Are 6985 and l unequal?
True
Let a(k) = k**3 + 23*k**2 + 35*k + 125. Suppose -18*q - 33*q - 1071 = 0. Let i be a(q). Does i = 272?
True
Suppose -2*p + 3*h = 1434, 0 = -58*p + 61*p + 4*h + 2151. Let y = 745 + p. Do 28 and y have different values?
False
Let c be (-133 - -73)*(-2)/6. Is c less than 4?
False
Let d be 5/(-5) - (-3 - 0). Let y be 5/(-10) - (-7)/d. Let t(u) = -u**3 + 2*u**2 + 3*u - 2. Let n be t(y). Which is greater: n or -3/4?
-3/4
Let v(c) = 87*c - 728. Let s be v(-5). Which is smaller: -4 or s?
s
Suppose -3*i = 5 - 2, -4*u = -3*i + 2521. Let l = -211 - u. Which is bigger: 421 or l?
421
Let w be (-14 + (-5 - -7))/(-1). Let q be ((-21)/w - 0) + 4. Is q at most 0.1?
False
Let j = 311613/200767 + -312/203. Which is greater: j or 1?
1
Let m = -18267517/1151 + 15871. Which is smaller: -1 or m?
-1
Let s = 10 + 5. Suppose 0 = s*b - 6*b - 432. Let a = 2 - b. Which is smaller: -45 or a?
a
Suppose -2*f + 61 - 66 = -o, o = -5*f - 2. Is f <= 881?
True
Let v be 1366/454 + (-6)/2. Let i(b) = 32*b - 3873. Let m be i(121). Is v greater than or equal to m?
True
Let c = 945 - 441. Let a be 1/5*c/224. Which is smaller: a or 1/4?
1/4
Let d be (0 + 2/(-3))/(50/(-75)). Let w(f) = -f + 1. Let j(g) = -g**3 - 30*g**2 + 27*g + 37. Let c(t) = d*j(t) - 5*w(t). Let x be c(-31). Is x != -5/23?
True
Let g = 5.3878 + -0.3878. Which is smaller: 490 or g?
g
Suppose v = -2*v + 24. Suppose v = 4*x - 0. Suppose 1 = c + 5*h, -6*c = -3*c - x*h - 20. Are c and 6 non-equal?
False
Let a(m) = 567*m - 304. Let l be a(17). Suppose 26*i = 6733 + l. Are 618 and i equal?
True
Let y be (6/40)/(1/(3 - -1)). Is y less than 0.52?
False
Let o = 1914 + -100. Which is bigger: 1815 or o?
1815
Let g(q) = -q**3 - 89*q**2 - 13*q - 1409. Let t be g(-89). Which is greater: -8 or t?
-8
Let b = -0.8 - -26.8. Let a be 68/119 - 725/7. Let v be (1 - (-6)/(-40)) + a/412. Which is smaller: b or v?
v
Let q = 10000 - 7937. Which is bigger: -0.1 or q?
q
Let d = 81.36 + -80.36. Let x = 1110 - 291. Is d less than x?
True
Let z be (-82)/(-2) + -5 + (5 - 2). Let c = z - 27. Suppose -4*p + c - 116 = -2*b, 5*b = -5*p + 215. Does 46 = b?
True
Let s = -35667 - -35314. Is -4 bigger than s?
True
Let x be 35/(-21) + 6/9. Let b be 308/(-32) + 13 + -5. Is b smaller than x?
True
Suppose -240 = -23*m + 18*m. Let v = -43 + m. Suppose -2*h + 0*h = v*x + 37, 2*h = -3*x - 43. Are h and -25 equal?
False
Let d(o) = 1250*o + 458. Let r be d(-4). Is r less than or equal to -4542?
True
Let o be (-28)/(-1)*2/(-4). Let m be (-4*(-3)/(-36))/((-2)/(-36)). Let j be (m + 0)/12*30. Which is greater: j or o?
o
Suppose 0 = -5*i - 5*c - 705, 0*i - i = 2*c + 136. Is i greater than -149?
True
Suppose -4*o = 20*o - 24. Let p be 72/1452*o/(6/(-4)). Which is greater: 1 or p?
1
Let l(u) = -4*u**3 - u**2 - u - 1. Let f(p) = -p**2 + p + 5. Let h be f(3). Let x be l(h). Suppose y - 4*y + x = 0. Which is smaller: 1/20 or y?
1/20
Let h = -11024 + 11025. Which is greater: 2796 or h?
2796
Let r = -252 + 244. Let v be 216/5 - r/10. Which is smaller: v or 222/5?
v
Let g be (-30 - -29)*(-1 + -2 + 970 + 0). Is -967 less than g?
False
Let t = -397 + 390.35. Let k = -6.4 - t. Is k < -2/9?
False
Let h(m) = -1. Let y(f) = 5*f - 25. Let t(r) = 4*h(r) + y(r). Let v be t(0). Let g be (13 - -2)*(-8)/4. Is v greater than g?
True
Let u be (2/3)/((-1)/3). Let t be u/(-14) - (-2)/(-14). Suppose -2*x - x + 3*k = 9, k - 5 = 3*x. Does x = t?
False
Let s = 12780 + -12882. Is s bigger than 81?
False
Let u = 776 + -782. Let z be u + -2*((-21)/2 - -2). Do z and 15 have the same value?
False
Let g = -0.038153 + 2.038153. Let d(p) be the third derivative of p**4/24 + 4*p**3/3 + p**2. Let f be d(-4). Which is bigger: g or f?
f
Suppose 5 - 3 = -z. Let o(p) = 2*p**2 - 7*p - 1. Let f be o(3). Let m be f/((-5)/((-15)/14)). Which is bigger: z or m?
m
Let v(q) = 28*q**3 + 448*q**2 - q - 8. Let r be v(-16). Is r smaller than 8?
False
Let h = -160.132 + 160. Let p = 13.132 + h. Which is bigger: 7 or p?
p
Let l = -168.077 + 168. Let n = 0.154287 + -0.054287. Which is smaller: n or l?
l
Let d be (328 - 436)*(-30)/(-40). Let j(o) = -81*o**3 - o. Let a be j(1). Is d bigger than a?
True
Suppose -208 = 7*f + f. Let c be (-7)/7*6 - f. Is c at most as big as 14?
False
Let z be 3*1 - 649/177. Let b = -49 + 49.1. Is z at least b?
False
Suppose -9*d = -3*k - 8*d + 107, -5*k + 5*d = -165. Suppose 0 = -2*i - 3*j + 10, -36*i = -k*i - 2*j + 7. Let z = -12927/32 - -404. Are z and i unequal?
True
Let a(h) = -h**3 + 67*h + 41. Let r be a(0). Which is smaller: 0.073 or r?
0.073
Let g be (2 - 39/18) + (-635)/(-30). Let l be (-1)/(-2) - g/42. Let k be (l + 0)/(1 + 1 + -3). Which is smaller: -1/41 or k?
-1/41
Let g = 0.04693 - 0.24693. Which is smaller: g or -780?
-780
Let p = 51.06 + -51.2. Let c = 0.14 + p. Is c > -0.0012?
True
Let v = 11185/319368 - 10/1901. Let l = 7/47 + -241/987. Let g = l - v. Which is bigger: g or -1?
g
Suppose 5*x