 - 3*q = -15. Let f be 6/70*6/c. Is t at most f?
True
Suppose 0 = -0*s - 3*s + 255. Let m be (5/s)/((-2)/(-6)). Is m at most -1?
False
Let l(s) = 4*s**2 - 9*s + 2. Let x be l(4). Suppose 0 = -z + 2*y - x, 4*z + 53 = y - 67. Is z less than -30?
False
Let j be ((-117)/20 - (-9)/15) + 3. Is j greater than -2?
False
Let h = 205 - 223. Do 1 and h have the same value?
False
Let p(h) = -5*h - 328. Let y be p(27). Is y greater than -462?
False
Let n = 518 + -517. Is -26/55 equal to n?
False
Let h be (-340)/(-51) - 1/(3/2). Let i = h + 8. Is i at most as big as 14?
True
Suppose -3*d = 5*a - 13, 2 + 28 = -5*d + 2*a. Let v be (2/(4/2))/(-68 - 2). Let u = -703/210 - v. Is u at most d?
False
Let h = 0.006 + -0.062. Let i = -0.044 + h. Which is bigger: -1.2 or i?
i
Suppose 0 = 2*z - 3*z - 3. Suppose -31*g - 10 = 2*d - 35*g, -d + 4*g - 7 = 0. Do d and z have the same value?
True
Let t(z) = 4*z - 111. Let y be t(29). Suppose -4*l = 3*j - 108, -l + 3*j + 27 = -j. Let q be (-6)/l + 14/(-18). Do y and q have the same value?
False
Let j = 328 + -329. Is j smaller than -37/17?
False
Let b = 13.4 + -14. Let a = -8.4 + b. Let l = -10 - a. Is -4 bigger than l?
False
Let w = -0.2043 + 0.1796. Is w less than -1?
False
Let q = 0.1 + -28.1. Let k = q + 27.8. Let a = k + 1.2. Which is smaller: a or 0.1?
0.1
Let p be 146/(-80) - (-2)/10. Let s = 1221 - 9753/8. Let l = s + p. Which is smaller: -5 or l?
-5
Let b be (-6)/(-78)*13*45*3. Which is greater: 671/5 or b?
b
Let f = -0.083 + 0.033. Let s = 352/2865 + 2/191. Is s not equal to f?
True
Let u(x) = -2*x - 17. Let w be u(-14). Is 10 at most as big as w?
True
Let y = -110 + 104. Let j be -4 - ((-3)/(-11))/(y/116). Is j less than 1?
False
Let d be (-3)/(-1770)*-379 - 3/(-5). Which is smaller: 1 or d?
d
Let f = -40 + 42. Let l be (-2)/81*24/8*f. Does -1 = l?
False
Let z = 13/18 - 419/630. Let h(s) = -s**2 + 8*s - 17. Let n be h(4). Is z not equal to n?
True
Suppose 0 = -2*f + 5*f + 4*z - 48, -3*f + 2*z = -30. Which is bigger: 3 or f?
f
Let o = -1373 - -126317/92. Which is smaller: o or 1?
o
Let w(q) = 88*q - 35. Let t be w(1). Is 54 at least t?
True
Let y = 1543/19 - 81. Which is smaller: y or -1?
-1
Let u = 184237.047 + -184149. Let y = 88 - u. Which is smaller: -1/2 or y?
-1/2
Let r = -976 - -975. Is -6/53 less than or equal to r?
False
Let d = 8 - 5. Let a be 0/(1 - d) - -4. Let q be 4/(-3)*(-6)/4. Is q at least as big as a?
False
Suppose -4*m + 22*m = 18. Which is bigger: m or 12/31?
m
Let p = -976 + 1016. Is 45 < p?
False
Suppose -6 = -t - 4*k + 23, 3*t + 4*k = 47. Suppose 4*d = t - 1. Which is smaller: d or 16/17?
16/17
Let l be (-2*(-10)/(-60))/((-2)/(-84)). Is -149/10 < l?
True
Let v be (-1)/3 + 20/(-12). Let g be 5/((-2390)/952) - -2. Let u = -962/717 + g. Which is bigger: u or v?
u
Let l = -71 - -70.9263. Is 1 greater than l?
True
Let k(l) = -l**3 + 13*l**2 - 18*l - 45. Let h be k(11). Which is bigger: 2/1729 or h?
2/1729
Let u = 94.9 + -115.874. Let z = -0.026 + u. Is z at most 1?
True
Let c = -11 - -13. Suppose 10 = c*h - 22. Let m = h + -15. Does m = 2/15?
False
Let i = -196 + 250. Is 54 < i?
False
Suppose 17*w = 331 - 93. Let d = 1 + -0.9. Which is greater: d or w?
w
Suppose 186 = z - 4*u, -4*z - 4*u + 664 = -0*u. Suppose -l = l + z. Let v = 427/5 + l. Which is greater: -1 or v?
v
Let l = -0.184 + 0.284. Is 21 at least l?
True
Let s = 60 - 124. Let b = 129/2 + s. Do b and -68 have the same value?
False
Let f(t) = t**3 + t**2 - 2*t. Let b be f(1). Let w be 1 - (3060/21 - b). Let u = 145 + w. Is -1/21 > u?
False
Let j be 1 - ((-1)/(-1) - -1). Suppose 0 = -5*m + 20, 9*a - 36 = 7*a + m. Let t be (-36)/315*a/(-24). Which is bigger: t or j?
t
Let p(x) = x**2 - 54. Let k(i) = -i - 9. Let h be k(-9). Let t be p(h). Is -53 greater than or equal to t?
True
Let r(a) = 8*a**3 + 2*a**2 + 2*a + 3. Let m be r(-2). Which is smaller: m or 4?
m
Let a be -1 - (-2997)/429 - (-60)/(-10). Is a bigger than -1?
True
Suppose 0*s - 2*s = -312. Let r be s/(-90) - (-2)/1. Let m = r - 23/30. Is m at most -1?
False
Let s = 14 - 9. Let c be 2/(3/(45/(-6))). Let i = 10 + c. Is s > i?
False
Let w be -9 + (-72)/(-6) - (-1474)/(-492). Which is greater: w or -1?
w
Let t(w) = -548*w - 8. Let z be t(-7). Let o = z + -11710/3. Let b = o - -74. Is -2/5 < b?
False
Let g be (-4)/(-22) + 6960/319. Is 146/7 > g?
False
Let g(h) = h**3 + 8*h**2 - 12*h - 11. Let m be g(-9). Suppose -4*t = -0*t - m. Let s be t/(4/(-1))*1. Which is greater: -2 or s?
s
Let m be (0 - 2 - 1)*3. Let t = -1554 - -1555. Which is smaller: m or t?
m
Let s = 4 + 4. Let r be (-2)/s*(3 + -7). Let w(k) = k**2 + 5*k - 1. Let n be w(-6). Which is smaller: n or r?
r
Let u be (-58)/(-55) + (24/(-15))/(-4). Let s = u + -43/22. Let y(o) = 2*o + 2. Let q be y(-4). Which is greater: q or s?
s
Let r be 12/42 - 972/3353. Let b be 0 + (-33123)/17244 - (-1)/(-3). Let p = r - b. Is 2 greater than p?
False
Let n(v) = 4*v + 43. Let m be n(-11). Let u be ((-6)/(-415))/((-9)/30). Let b = u + 210/913. Which is smaller: b or m?
m
Let v = -37/3 - -95/6. Suppose 3 = -4*o - 5*l + 9, 2*l = 2*o - 12. Which is smaller: o or v?
v
Let t = -1.086 - 0.914. Which is smaller: t or -26?
-26
Let j = -12 - -9. Let c = j + 9. Let y be 4/c*(-72)/(-176). Which is bigger: y or 0?
y
Let b = 2986 + -1342. Let w = -21382/13 + b. Which is smaller: -2 or w?
-2
Let w = 0.571 + -0.571. Which is smaller: -286 or w?
-286
Let a = -3 - -6. Let g = 7142/7 + -1028. Let q = g + 52/7. Is a bigger than q?
True
Suppose -4 = -4*m, -p + 4*p + 4*m = 10. Let b(f) = 5*f + p*f + 2*f - 4 - f**2 - 6*f. Let k be b(3). Is -4 != k?
False
Suppose -n - 7 = 2*k, 5*k + 18 = 2*n + 5. Suppose -3*a + 5*x = 36 - 6, -a - 2*x = -1. Let w = a + 3. Which is bigger: w or n?
n
Suppose 1 = -5*x - w, -3*x - w + 5 = w. Let b be 736/124 + -3 + -3. Which is smaller: b or x?
x
Let t(m) = -3*m - 23. Let d be t(-7). Let q = 6 + d. Suppose q*g + 86 = 3*o, -g + 2*g + 25 = -o. Is -23 != g?
False
Let a = 1.03 + 1.97. Which is smaller: 6 or a?
a
Suppose -5*d = 14*r - 13*r, d = 3*r. Is d greater than or equal to 2/4915?
False
Let p(d) = d + 6. Let s be p(-3). Suppose -4*l = 3*u + u + 40, -s*l = -u + 22. Which is smaller: l or -5?
l
Suppose 9*h - 2*h = 35. Suppose h*c + r + 3 = 0, 2*c + 0*r + r = 0. Is c at least -2/41?
False
Let w = 26.944 - 27. Let c = -26.056 - w. Which is greater: 0 or c?
0
Let t(d) = 2*d + 16. Let q be t(8). Let o = -30 + q. Suppose o*v + 4 - 6 = 0. Do v and -1 have the same value?
False
Let t = 0.3 + -0.18. Let o = 5.88 + t. Let r be 4/(-1) + (13 - 8). Is r > o?
False
Let z be (-2 + -1)*(-3)/3. Suppose 0*w + 4*s - 12 = -w, 5*s = -4*w + 48. Suppose 14 = -z*u + 2, -2*p - u + w = 0. Which is bigger: 7 or p?
p
Let i = -161 + 161. Is i not equal to 334?
True
Suppose -v = 27 - 9. Let t be 5/((-5)/6)*(-8)/(-3). Is t not equal to v?
True
Let t(r) = -16*r + 120. Let s be t(8). Which is smaller: -17/2 or s?
-17/2
Suppose 0 = -2*f + 3*g + 15, -5*g + 0*g = 2*f + 9. Let c = -96 - -160. Let l be 26/16 + 24/c. Which is greater: f or l?
f
Let y = -206 - -2264/11. Suppose -r + 0*r + 3*m - 11 = 0, 4*r + 4*m - 20 = 0. Is y bigger than r?
False
Let u = -265 - -265.1. Which is smaller: 0 or u?
0
Let r = -4 - -4. Suppose -5*q - 5*c + 20 = 0, -3*q + 0*c = -4*c + 2. Suppose r = 7*s - q*s + 20. Is s bigger than -5?
True
Suppose -1 = 2*d - 7. Let p(m) = -m**3 + 3*m**2 - 4. Let i be p(d). Let l be (-1 + (-10)/i)/4. Which is bigger: l or 1?
1
Let g = -5 - -3. Let k = 532 - 374. Let q = -161 + k. Is q not equal to g?
True
Let s = 59187 - 413208/7. Let c be (-159*1 + 2)/(-1). Let n = c - s. Which is bigger: n or 2/5?
2/5
Let r = 214 + -4067/19. Let u = -39/145 - -15271/57855. Let j = u - r. Do 0 and j have different values?
True
Let c be -5 + 8/88*103. Which is greater: c or 3?
c
Let n(k) = -k - 29. Let d be n(-21). Let w(m) = m**2 - 7*m. Let h be w(6). Is d equal to h?
False
Let m = 25 - 21. Suppose m*g = -4*d - 12, 0*d - d + 4*g - 18 = 0. Let l be -3 + 3/3 - 3. Is d greater than or equal to l?
False
Let z = 5 - 8. Let h(q) = -q**2 - 12*q - 9. Let o be h(-10). Suppose -o = r - 10. Is r != z?
True
Let q be ((-4)/(-40) - (-10)/25)/68. Which is smaller: -1 or q?
-1
Let y = 502 - 284. Do 217 and y have the same value?
False
Let n = -3.8 + 4.4. Is -90 at most n?
True
Suppose 7*n = -9*n +