(-10)/(-4)). Let z = -39 - -42. Is p <= z?
True
Let o = -13635/4 + 3528. Let a = 120 - o. Is 2 <= a?
False
Let l be (-2 + 1)*(4 - 4). Let s = -20 + 19. Let i = l + s. Is 0.4 at most i?
False
Let f = 3/464 - -10193/2320. Let d = f - 61/15. Is 1/7 smaller than d?
True
Let a(s) = -s**2 + 4*s + 6. Let w be a(6). Let r be (-1 - w/8)/(-1). Let o be (78/(-39))/(-1 + -1). Which is greater: r or o?
o
Let v = 88 - 102. Are v and -13 non-equal?
True
Let n be (-6)/(-15)*(-15)/(-6). Let j be 34/(-3 + (n - -4)). Which is smaller: j or 18?
j
Let p(v) = v**3 - 2*v + 1. Suppose 2*h = b + 2, -4*b - 4 = -4*h + b. Let c be p(h). Does c = 1/7?
False
Let p = 131 - 130. Is 49 at most p?
False
Suppose -3 = 2*u + 41. Let s = 16 + u. Is s less than or equal to -5?
True
Let f = -1 - -1. Let o be (-2)/(-4)*(-3 + 5). Let m = 0 + o. Which is smaller: m or f?
f
Suppose 3*a = x + 10, -a = 2*x + 2 - 3. Does 2/35 = x?
False
Suppose 5*s + 18 = 58. Suppose -4*l + 3 + 25 = 0. Let y = s - l. Does y = 1?
True
Let l = -3 - -2. Suppose 0 = 2*d - 0*d - 6. Let r = d + -5. Do l and r have different values?
True
Let o be 1*-1 - 1 - 0. Let p(l) = l**2 - 2*l - 7. Let h be p(5). Let g be 2 - o/(-6)*h. Is g at least as big as -0.1?
False
Let p(z) = 3*z - 6. Let i be p(15). Suppose -m - 42 = 3*m - 3*b, 5*m + 3*b = -i. Let v(c) = c**3 - 5*c**2 + 2*c + 4. Let o be v(3). Is o equal to m?
False
Let a be 3/6*(-4)/15. Suppose -b + 4*j = 2*j + 9, -3*b = j - 1. Which is bigger: b or a?
a
Suppose -3*s - 11 = -j, 3*s = -4*j - 9 - 7. Is j != 1/35?
True
Let h = -55/3 - -608/33. Which is greater: 1 or h?
1
Suppose -4*b + 3*n + 16 = 0, 20 + 0 = 5*b - 4*n. Let z(w) = 2*w**2 - 7*w + 5. Let i be z(b). Is i <= 8?
False
Let q(d) = 10*d**2 - 2*d - 5. Let g be q(4). Let s = -1913/13 + g. Which is greater: 1 or s?
1
Let d = -15 + 16. Is -6 greater than or equal to d?
False
Let s = -124 + 224. Let f be -1 + 4 + s/(-35). Which is smaller: f or 1?
f
Let n = -343 + -155. Let g = n - -5482/11. Is -1 less than g?
True
Suppose -4*f = -5*i + 3 + 4, -2*i = -4*f + 2. Suppose 3*t + 5 = f*a, 0*t = -3*a + 3*t. Which is bigger: -3 or a?
-3
Suppose -10 = -2*s + 18. Are 3 and s equal?
False
Let t = 0.3 - 0.5. Let j = t - -0.5. Let p = 171 - 173. Which is smaller: p or j?
p
Let f(z) = -z - 2. Let j be f(-6). Let k = -1 + j. Suppose 7*u = k*u - 16. Are u and -4 non-equal?
False
Suppose -16 = -5*a + a. Let o = 1.07 - 0.07. Which is smaller: o or a?
o
Let k be (-3)/1 + (-48)/(-2). Let z = -21 + k. Let g be 1/(-4) - (-2)/8. Is g less than z?
False
Let a be (2/5)/(30/4175). Let q = a - 55. Do q and 2 have the same value?
False
Let t = 63 + -74. Is t at most 6?
True
Let o be (1 + (-15)/(-10))/4. Which is greater: o or -1?
o
Let g = 241/728 - -4/91. Let z(n) = n**2 - 8*n + 7. Let k be z(7). Do k and g have the same value?
False
Let u be 11/(-374)*(-8)/3. Are u and -1 nonequal?
True
Let a = 7/76 + -139/1406. Is a < 1?
True
Let d = -41/13 + 3. Let h = 0 - 0. Which is bigger: h or d?
h
Let q = -4.4 + 4.3. Which is smaller: q or -8?
-8
Let n = 2 + 9. Let m = n - 5. Let p = -1 + m. Which is bigger: 4 or p?
p
Let r = 5 + -4.87. Which is smaller: r or 0?
0
Let i = 11 - 11.1. Let b = 2.9 - i. Do -1 and b have different values?
True
Let r = -31 - -21. Let o be 1/(-10)*r/4. Which is greater: -1/4 or o?
o
Let l = -10734/29 + 552691/1537. Let g = l - -54841/265. Let r = -197 + g. Which is bigger: r or -1?
r
Let f = 3500/477 - 2/477. Is f <= -0.1?
False
Let v = 0.04 - -2.96. Suppose 5*q = -4*n - 16, -3*n - q = -0*q + 1. Are v and n nonequal?
True
Let q = 3.2 - 2.2. Which is smaller: q or 1.4?
q
Let t = 0.175 + -0.275. Are -40 and t nonequal?
True
Let h be (1/(-2))/(176/(-96)). Is 1 <= h?
False
Let u = -37 - -38. Do u and -5 have the same value?
False
Let s = -55 + 64. Do s and -0.1 have different values?
True
Let v(x) = -x**2 - 9*x + 9. Let j(l) = -2*l**2 - 22*l + 22. Let r(b) = 5*j(b) - 12*v(b). Let w be r(2). Suppose -2*q = q - w. Is q smaller than -1?
False
Suppose -20 = -10*k + 5*k. Let i(h) = -h**2 + 4*h. Let d be i(k). Suppose 7*x - 4*x - 9 = -3*l, -2*l + 4*x - 12 = 0. Is l >= d?
True
Let y be (2/(-10))/(10 + -15). Is y not equal to 0?
True
Suppose r + p + 6 = -2, -5*p - 4 = -r. Let n be -1*3/r*0. Let x be n/(1 - (2 - 2)). Is x smaller than 1/4?
True
Suppose -3*d + 8*d = -4*w, -2*d = -4*w. Suppose 0 = 3*j + 15, -3*j - 12 = -d*u - u. Let q be (1 - 1)/(u - -1). Which is smaller: q or 1?
q
Let i = -1053/7 + 151. Let o = -7.9 + 8. Is o at most i?
True
Let v be ((-4)/(-402))/((-6)/9)*2. Does v = 0?
False
Let p = 3089/6 + -521. Let w = -109/18 - p. Suppose -3*t + 8 = -4*u, -2*u - 4 = 4*t - 0*t. Is t bigger than w?
False
Suppose -5*w + 0*w - 10 = 0. Let a = 2 + w. Is a <= -4/5?
False
Let v be 18/(-4)*154/(-12). Let l = 58 - v. Do l and -0.1 have different values?
True
Let q = -2 - -3. Is -1/42 >= q?
False
Let m = 189 - 175. Which is smaller: 11 or m?
11
Let f(j) = -2*j**3 - 17*j**2 + j + 12. Let p be f(-8). Is p at most -58?
True
Let k = -144.04 + 141. Let b = k + 0.04. Let h = b + 4. Is h bigger than 0?
True
Let x(t) = t**3 + 14*t**2 - 14*t + 19. Let g be x(-15). Suppose 5*f - 10 = 5*a, a - 2*f + 12 = 3*a. Suppose -a = 2*c - 8. Which is bigger: g or c?
g
Let h(t) = -t**3 - 6*t**2 + 6*t - 6. Let b be h(-7). Let j be ((-4)/15)/((-6)/(-5)). Which is greater: b or j?
b
Let p = -2 - 0. Are 14 and p nonequal?
True
Suppose 4*l - l = -2*h - 17, -3*l + h = 5. Let v be 3*(l - -2) + 2. Which is greater: 1/6 or v?
1/6
Let f be (-149)/(-8)*-2 + -1. Let c = f - -38. Let x be 0 - -2 - 4 - -1. Is x <= c?
True
Let v be 1 - (-4)/((-3)/(-3)). Suppose -4*s = -v*s - 21. Let k be 15/s + (-2)/7. Which is greater: k or -1/3?
-1/3
Let k = -0.12 - 12.88. Let r = k - -6. Let q = -7 - r. Is q less than or equal to 2?
True
Let k = 0.05 + -0.15. Let l = 16 - 15.2. Which is bigger: k or l?
l
Let t = 10.7 + -10.6. Let b(w) = 3*w + 1. Let m be b(1). Is m bigger than t?
True
Let c = -5 + 3. Let w = 1.8 + c. Let a = w + 0.2. Which is greater: 0.1 or a?
0.1
Let p = -950 - -48452/51. Is p at most 0?
False
Let d = -3.6 + -0.7. Let r = 5 + d. Which is bigger: -0.1 or r?
r
Let x be (-4)/(-16) - 34/8. Let k = x - -4. Is k >= -3/4?
True
Suppose 0 = 2*w + 7 + 9. Let l be w/12*3*-3. Let z be 2/l - 2/(-3). Is z at least as big as 1?
True
Let q = 1318136/18641 - -7/2663. Suppose 5*v = -2*i - 142, 0 = -5*i + 2*v + 49 - 404. Let a = i + q. Is a greater than or equal to -1?
True
Let f = -16320722912818346/25749 + 633839097053. Let i = -30/2861 + f. Let c = i + 109. Are -2/3 and c non-equal?
True
Let r = 0 + -1. Let y = 6 + -2. Suppose 15 = -3*o, 3*z - y*o - 13 = -2*o. Is r at most as big as z?
True
Let l = -269340/7 + 38404. Let k = -73 - l. Which is smaller: 0 or k?
0
Let p be ((-3)/2)/((-3)/6). Suppose 4*k - 4 = p*k. Is k equal to 3?
False
Let c = 39/5 + -37/5. Let s = -111 - -553/5. Which is greater: s or c?
c
Let n(j) = -j + 4. Let v be n(-6). Suppose 13 = 4*t + 3*m, -3*t + 2*m - 3*m = -16. Suppose t*a - 27 = 4*a. Which is smaller: a or v?
a
Suppose 0 = -l - l + 16. Is 9 greater than or equal to l?
True
Let u be (144/20)/6 - 1. Are u and 0 equal?
False
Suppose 4*v - 3*v = x - 9, -x = -3. Let p(l) = -l - 6. Let u be p(v). Let z be 4/(-14) + (-3)/63. Which is greater: u or z?
u
Suppose x = -1 - 1. Let p be (2/14)/(x/(-6)). Is p <= 0?
False
Let i = -14 - -16. Let w be (i/(-57))/((-1)/(-3)). Which is smaller: w or 1?
w
Let u = 79/15 + -23/5. Is 3 greater than u?
True
Let d = 4 - 5. Let z be (1*d)/((-4)/24). Let k be (-3 + z)/((-4)/2). Is k greater than or equal to -2?
True
Let a = 4 - 2. Let m = a + -1.6. Which is bigger: m or -1?
m
Let v(z) = -z**2 + 12*z - 16. Let n be v(11). Which is bigger: -2 or n?
-2
Let i = -162/17 + 214/51. Which is greater: i or -6?
i
Suppose 3*x + 4*g + 24 = 0, 4*x - 4*g = -42 + 10. Let v = 24.2 - 24. Do x and v have different values?
True
Let r = -253/2 - -129. Let w be 2/(-14) + (-4)/14*-11. Is w >= r?
True
Suppose 0 = 2*t - 8 + 26. Let v(a) = -a**3 - 9*a**2 + 2. Let z be v(t). Let h be (0 - 0) + -1 + 5. Which is bigger: h or z?
h
Suppose -6*u + 4*x = -4*u + 12, -5*x = -u - 15. Which is smaller: u or 3/16?
u
Let v = -1037426/56735 - 2/8105. Is -18 greater than or equal to v?
True
Let j = 7/12 + -73/84. Which is greater: j or -0.13?
-0.13
Let f(o) = 25*o**2 - 3*o - 