(-117)/55 + l. Which is bigger: j or 0?
j
Suppose 2*w - w = 4*a - 1, -a + 3 = -3*w. Suppose 3*o = 3*j - 21, 5*j + 5 = -3*o - a. Let l = o - -10. Is 5 at least as big as l?
True
Let q(m) = m**3 + 4*m**2 + 5*m + 2. Let s be q(-2). Let j be ((-28)/(-12) + -2)/((-2)/18). Is s at least as big as j?
True
Let q = 306 + -303. Which is smaller: q or -2?
-2
Let j(t) = t**2 - 13*t - 6. Let k be j(13). Let c be 3/k + (-20)/(-8). Suppose 0 = -2*u - 0 - c. Is u at least 2/29?
False
Suppose 69 = -2*d + y, -5*d + 4*y = 61 + 107. Is -36 at least as big as d?
True
Suppose -3*a + 8 + 25 = 0. Suppose 4*s + 25 = -a. Let z be s/24*(-10)/3. Which is smaller: 1 or z?
1
Let t = -2637 - -2637.1. Which is bigger: -9 or t?
t
Let f(i) = -i**2 + 10*i - 5. Let m be f(10). Let n = 9 + m. Suppose -n*r + 1 = -3. Which is greater: r or 0?
r
Let s(j) = -j**2 - 3*j - 2. Let q be s(-5). Let n = -16 + 94. Let h be q/n + 114/(-273). Which is smaller: h or -1?
-1
Let j = -77533/9022 + -15/694. Which is smaller: -10 or j?
-10
Suppose 11 = -4*w + 3*a + 48, 3*w = 2*a + 27. Let y = w - -9. Suppose y = -x + 3*x. Is 9 >= x?
True
Let f = -419 + 629. Are f and -2/3 equal?
False
Let l(m) = m**3 - 11*m**2 - 13*m + 12. Suppose -7 = -2*j + 17. Let b be l(j). Suppose b = -2*d - 1 - 1. Is d at least 2/7?
False
Let p be (-5 - -6) + (-475)/(-1). Suppose -5*b + p = j, b - 3*j + 2*j - 100 = 0. Let f be b/(-28) + (-3)/(-7). Are f and -0.2 equal?
False
Let s be 5/4*24/3. Suppose 3*m = 4 - s. Let v = 142/3 - 48. Is m equal to v?
False
Let n = 93958/81 + -1160. Let m = -97/648 - n. Is -1 < m?
True
Let i = -1.03 - 85.97. Let d = i - -87.1. Let q be 26/7 - 4/(-14). Is q at most as big as d?
False
Let v = -13 - -26. Let p be 3 + (4/8)/(2/36). Is p >= v?
False
Let z = 4 - 5. Let p = -29 + 30.2. Let f = p + z. Which is bigger: f or 0?
f
Suppose 3 + 1 = v. Let l = v - 4. Let m = l + 0. Is 2/17 greater than m?
True
Let g(z) = 17. Let a(x) = x - 1. Let p(f) = -3*a(f) - g(f). Suppose 0 = 3*i - 2*j + 24, 3*i + 5*j = 5*i + 27. Let s be p(i). Which is bigger: s or 5?
5
Let u be (-1476)/(-36)*(-1)/7. Which is smaller: u or -6?
-6
Let b be (0 - 56/(-6))*(-2727)/606. Is b at most as big as -43?
False
Let m(w) = 2*w**2 - 113*w - 162. Let y be m(58). Let f = 7 + -2. Let a be (-2)/f + (-260)/(-25). Is y < a?
False
Suppose -4*y + 7*t - 331 = 2*t, y = 5*t - 79. Let o be (-2331)/y - 6/8. Is o < 28?
True
Let m be (-52)/3 + (-2)/3. Let q = -268 - -265. Let h be (-3)/m*q*-30. Is 15 <= h?
True
Let k = 126.2 + -129. Let t = 3.3 + k. Are t and 1/3 equal?
False
Suppose -3*n + 61 = 2*a + 276, 2*a = 2*n + 160. Is -516/7 less than or equal to n?
False
Suppose -3*h = -h - 22. Let k = 358 - 630. Let j be (-4)/(-14) + k/(-28). Is j equal to h?
False
Let m = -2962 + 2961. Is 154/3 >= m?
True
Let f = -21 - -21. Let o = 0.02 - -0.05. Let s = 0.03 + o. Which is smaller: f or s?
f
Let n(s) = -s**2 - 3*s + 1. Let c be n(-6). Let h be 2/5 + 156/(-1040). Are c and h nonequal?
True
Suppose -3 = -q - 44. Let z(j) = -79*j + 987. Let o be z(13). Which is greater: o or q?
o
Let x = -731445 - -131660857/180. Let b = -17/4 + x. Let n = b + 32/45. Is n at least as big as 2?
False
Let c(f) = -f**3 + 9*f**2 - 23*f + 11. Let x be c(8). Let b = x + 43. Which is bigger: b or -67?
b
Let p = -80.286 + 0.286. Which is bigger: p or 0?
0
Let n be 102*2/(-950) + 50/(-475). Which is greater: 0 or n?
0
Let u be (984/(-54))/(13/(-26)). Which is smaller: u or 36?
36
Suppose -5*h = 736 - 156. Is -116 > h?
False
Let u = 47246/365 - 647/5. Is -1 less than or equal to u?
True
Let w be -1 + 1 + -24*(-7)/(-147). Is w greater than -2?
True
Let b = 14/95 + -4412/285. Which is bigger: b or -15?
-15
Let l be 54/36*((-4)/(-66))/1. Which is smaller: l or -16?
-16
Let a(n) = -n + 14. Let p be a(-11). Let w = p + -28. Let t be (-2)/w - (-29)/(-48). Is -1 less than or equal to t?
True
Let d be 5/15*3/1. Let y be (-5 + 7)/((-2)/141). Let v = y - -1834/13. Which is bigger: d or v?
d
Let t = 1506 + -1575. Suppose 0*c - c - 70 = -b, -128 = 2*c + 4*b. Which is greater: c or t?
c
Let m(i) = 2*i + 18. Let f be m(-9). Is -18/59 >= f?
False
Let y = -271 + 352. Which is smaller: y or 0?
0
Suppose 39*m = 37*m - 2. Suppose -3*w + 7*w + 3*n = 54, 4*n + 28 = 3*w. Let x be w/75*5/2. Which is greater: m or x?
x
Let k = -158 - -161. Is k > 4?
False
Let k = -803.9 + 808. Are -1/2 and k equal?
False
Let n = 0.2 - 0.1. Suppose 3*c - 106 = 2*r, 2*c - 5*c = 0. Let d = 56 + r. Is d at most as big as n?
False
Let k = 2143 - 2142. Which is greater: k or -0.0346?
k
Suppose 2*l - 3*v + 34 + 75 = 0, 0 = 2*l + v + 97. Let z = 43 + l. Which is smaller: -12 or z?
-12
Let m = 13 - -37. Suppose m = v + 4*v. Let y(k) = k**3 - 9*k**2 - 9*k + 2. Let j be y(v). Which is bigger: 10 or j?
j
Suppose 4*g + 815 = -5*b, 5*b - 4*b - 4*g + 139 = 0. Is b at most -161?
False
Let p(y) = y**3 - 13*y**2 + 12*y + 6. Let k be p(12). Which is bigger: k or 18?
18
Let k(s) = -s + 15. Let f be k(8). Suppose f*z = z. Is 8 greater than or equal to z?
True
Suppose -4*m = -3*v - 23, 2*v = -5*m + 11 + 12. Let f = 28949/56 + -517. Which is smaller: f or v?
v
Suppose -27 + 3 = -3*t. Let h = -7 + 10. Suppose h*l - 10 = t*l. Is -8/3 > l?
False
Let u = 2 + -2.3. Let z = -969 - -24229/25. Let c = z - -59/100. Is c at least u?
True
Suppose 0 = 62*v - 57*v + 295. Suppose 4*k + 116 = 2*k. Is k bigger than v?
True
Let h = 170 - 167. Which is smaller: h or 22?
h
Suppose -553*m + 567*m = 0. Suppose 4*j + 209 = 3*y, -2*y = 3*y - 2*j - 325. Let a = 816/13 - y. Which is smaller: m or a?
a
Let o be ((-6)/3*20/8)/(-1). Is o at most 62?
True
Let y be (-4)/(16/12) - -23. Let d be (-2)/(-10) + (-4)/y. Suppose d = -p + 2*p + 6. Is p smaller than -4?
True
Let i be -4 + (1/10)/(13/78). Which is greater: i or -2?
-2
Let k be (-3 - ((-309)/45 - -4))*6. Suppose 2*i - 1 = -5*n + 5*i, 5*n - i = 7. Which is smaller: k or n?
k
Let r be -1*2*(-11 + 9). Let d = -3 + r. Is 1/10 < d?
True
Let z = -326 + 312. Which is bigger: -15 or z?
z
Let j be (-3)/(-3) + (-2 - 9/(-11)). Let h = -7 + 7. Which is smaller: j or h?
j
Suppose 5*v = -4*g + 120 + 152, 0 = v - 4*g - 40. Let l be (v/(-8))/((-5)/(-2)). Which is smaller: l or -4?
-4
Let d = 0.29 - 7.29. Let f = 5 + -12. Let w = d - f. Is w at most 2?
True
Suppose -52*g - 2281 = 1723. Are -76 and g nonequal?
True
Suppose -4*s + 4 - 24 = 0, 33 = -4*w + 3*s. Suppose 0 = 3*z + z + 48. Is z greater than or equal to w?
True
Let n = 91 + -185/2. Do n and -0.01 have the same value?
False
Let p = -4 - -1. Let z = 3 + p. Is -0.4 at least z?
False
Let w be -2 + ((-159)/(-630) - -2). Let x = -1/30 - w. Let d = 0.7 + -1. Are x and d nonequal?
True
Let j = -80 - -107. Let z(v) = 2*v**2 - 3*v + 6. Let q be z(4). Which is smaller: q or j?
q
Let q = 45.25 - 46. Let o = q - 2.25. Which is bigger: -9 or o?
o
Let d = 2.3 + -2.605. Let l = d - -0.105. Suppose -5*z - 42 - 8 = 0. Which is greater: z or l?
l
Suppose 0 = -2*r + 1 - 95. Let i = r - -64. Are 15 and i nonequal?
True
Let q be 20/66 - 2/(-5). Let m be -2 + (-1)/(-33) - -1. Let l = m + q. Which is smaller: 1 or l?
l
Let r = -1148 - -968. Are r and 2/5 nonequal?
True
Suppose y - 6*y = -4*z + 19, 3*z = 5*y + 18. Let v(u) = u**2 + 27*u - 239. Let i be v(7). Is i >= z?
False
Suppose -3*q - 480 = -7*q. Which is smaller: 119 or q?
119
Let j(d) = -d**2 - 16*d - 26. Let c be (-3 - -2)*-4 - 18. Let a be j(c). Suppose 0 = -a*g + 1 - 5. Are g and -8/11 non-equal?
True
Let f = 184 + -177. Let z be -17*(1 - 8/6). Is f > z?
True
Let l = 16.22 - -1.28. Let w = -14.5 + l. Is -8 > w?
False
Let y = -794 + 793. Which is smaller: 449 or y?
y
Suppose 2*q - 3 = 5*a, 5*q + 6 - 1 = 0. Let o(h) = h**3 - 1. Let k be o(0). Is k at most as big as a?
True
Suppose l + 4*w = 268, 4*l - 2*l = -5*w + 539. Let c be (-32)/l - 59/221. Is c smaller than 1?
True
Suppose -7*a - 9 = -4*a. Let o be a*1 - (-13)/(-52). Is o not equal to -2?
True
Let d be (-2)/4*0*1. Suppose r + 2*t + d = 11, 2*r - 4*t = -18. Do r and 1/20 have different values?
True
Let o = -118 + 118.055. Let g = o + -33.055. Which is greater: -1 or g?
-1
Let z(q) = 3*q + 3. Let l be z(-7). Let s be 6/l + (-7)/(-3). Suppose -a = -s*a + 2. Is a > 5/6?
True
Let r = -4 + -22.5. Let n = -25 - r. Let l = 4.5 - n. Is -1 equal to l?
False
Suppose -5*l + 27 = -3. Suppose -5*g