z be (5/(-25)*-1)/(18/405). Are 0 and z equal?
False
Suppose 3*i + 2*i = -700. Let y be i/(-6) + (-4)/(-6). Suppose -5*u - 1 = x + y, -5*u - 25 = -2*x. Which is greater: x or 10/9?
10/9
Let n(h) = h - 16. Let o = -27 + 43. Let c be n(o). Let g(a) = -a**3 + 4*a**2 + 6*a - 4. Let m be g(5). Is m smaller than c?
False
Suppose -5*v + 2*t = 193, -7*v - 2*t - 41 = -6*v. Which is bigger: -4 or v?
-4
Let f = 958 + -37360/39. Which is greater: 0 or f?
f
Suppose -2*v + 3*y = 2*v - 21, 0 = -2*v - 2*y. Suppose 0 = -4*u + 9 + v. Suppose -n + 4*n - 9 = 0. Are n and u nonequal?
False
Let o(c) = 4*c + 2. Let w be o(-2). Let k be (-2)/w - 6/(-9). Let j(g) = g**3 + 26*g**2 - 28*g - 27. Let q be j(-27). Which is smaller: k or q?
q
Let d = 9 - 9. Let n be 8 - (12625/(-60))/(-25). Which is smaller: d or n?
n
Let p = 268 - 545. Let z = -1190772 + 22629929/19. Let v = p + z. Are v and 1 unequal?
True
Let j(l) = 2*l**2 + 4*l + 3. Let o be j(6). Let g = -728 + 783. Let r be 20/3*o/g. Which is smaller: r or 2/5?
2/5
Let j be 30/(-225) + (-62)/(-15). Suppose j*c - 4*i - i = 6, -2*c + 18 = 5*i. Suppose -1 = c*z + 7. Which is smaller: -3 or z?
-3
Let i be ((-4)/6)/((-9)/54). Suppose 4*g + 12 = i. Let l be (-1)/g*(-2)/15. Which is greater: 0 or l?
0
Suppose -35*j - 177 = -32*j. Is j greater than -60?
True
Let z(x) = 16*x - 116. Let k be z(7). Let o = -4 - -4. Let u = 0.3 + o. Is k equal to u?
False
Let q(j) = j**2 + 4*j - 4. Let c = -20 - -28. Let f = c - 12. Let t be q(f). Are -4 and t non-equal?
False
Let g(v) = v**2 - v - 1. Let f be g(2). Let w be 51*(3 + f*(-40)/12). Are -19 and w unequal?
True
Let y = 5 + -1. Let v = -5 + y. Let a = 1764/551 - 102/29. Is a less than v?
False
Let s = 1/295 + -421/37170. Suppose -93*n + 3 + 54 = -36. Which is smaller: n or s?
s
Let d = -905.2 + 905. Which is smaller: 0.0028 or d?
d
Let m = 0.64 + -1.307. Let l = -0.033 + m. Which is smaller: -1/3 or l?
l
Let v = 55 - 30. Let x = v + -18. Let u(j) = 2*j - 14. Let f be u(x). Is f greater than -1?
True
Let t = 0.26 - -1.44. Let o = 0.7 - t. Suppose 0 = -4*z - 5*h + 36, 2*z + 3*h - 2 - 18 = 0. Is o at least as big as z?
False
Let n = 22.939 + -10.95. Let x = n + -12. Do x and -1 have the same value?
False
Suppose 290 = -18*p + 56. Which is greater: p or -5?
-5
Let n(j) = j**3 + 2*j**2 - j - 1. Let h be ((-7)/14)/((-1)/(-6)). Let t be n(h). Which is smaller: t or -6?
t
Let o be (0 - -2) + 2 + -3. Let q be ((-2 + 1)/2)/(o/2). Which is smaller: 8 or q?
q
Let o(g) = g - 2. Let j be ((-4)/3)/((-4)/6). Let f be o(j). Let q be (-70)/28*(-6)/405. Which is smaller: q or f?
f
Let p = -1.2 + 0.2. Let y(c) = 2*c**2 - 2*c + 15. Let z be y(6). Let o be (2/5 + -1)/(72 - z). Do o and p have different values?
True
Let k = 372 + -371. Is k >= 177?
False
Suppose 5*n + 56 = -0*r + 4*r, 5*r - 53 = 2*n. Let p(w) = 5*w - 10. Let g be p(r). Let v = g + -29. Which is smaller: v or 5?
5
Let k be ((-2)/4)/((-7)/4). Suppose 0 = 3*m + 3*n - 297, -9*n - 391 = -4*m - 8*n. Let s be (-5 - -2) + m/28. Are s and k non-equal?
True
Let b = 24.924 - 25. Let m = b + -0.124. Let k = -2 + 2. Which is smaller: k or m?
m
Let g = 0.41 - 0.55. Let p = 0.34 + -0.3. Let j = g + p. Which is greater: 10 or j?
10
Let s(a) = -3*a**2 - 5*a - 3. Let n be s(-7). Let g be (-427)/n + 32/(-8). Let x = g - -2/23. Which is smaller: 1 or x?
x
Let h be (-12)/66 + 174/(-11). Let s be h/(-6) + 7/21. Suppose 7 + 12 = 4*l + 3*n, 0 = 4*l - s*n + 11. Which is smaller: l or -2/23?
-2/23
Let w(j) = j - 3. Let u be w(4). Let s be (-8 + 2)/(-3) + -1. Let y be ((-84)/70)/(s - 5). Which is smaller: u or y?
y
Let o be ((-32087)/(-22))/((-2670)/4). Let b = o + -4/267. Which is bigger: 2/9 or b?
2/9
Let g = 184/105 + -20/21. Which is smaller: -24 or g?
-24
Suppose -3*j = 2*j. Let a be (0 - 0) + j/(-2). Is -4 bigger than a?
False
Let w = 326 - 3582/11. Let m be (-9)/3*4/3. Let s = m + 4. Which is bigger: s or w?
w
Let r = -8 + 12. Suppose 0 = -r*h + 4*k - 31 + 83, -26 = -2*h + 4*k. Suppose h*c = 12*c. Is -1 less than or equal to c?
True
Suppose 122 = -3*n + 815. Which is greater: 232 or n?
232
Let x = -2 + 8. Let u be (-24)/x*(-2)/(-4). Let t be ((8/4)/u)/(-1). Which is greater: -4 or t?
t
Let s be (-64)/60 - (28/(-20) - -1). Which is greater: 41/10 or s?
41/10
Suppose 118*v - 22*v + 16*v = 0. Is v at least as big as 2/1005?
False
Let k = 0.0074 + 28.0926. Which is greater: -1/2 or k?
k
Suppose -6*i - 57 - 159 = 0. Which is greater: i or -23?
-23
Let h = -258 + 225. Which is greater: 2/5 or h?
2/5
Suppose 3*r + 15 = 0, 4*f - 52 = 4*r - 20. Let h be ((-12)/5)/(f/10). Let d be (1 - -2)/(h/(-1)). Is -1 at least d?
False
Suppose 0 = 3*q - 3*w + 912, 2*q - 4*w = -0*q - 618. Which is smaller: -297 or q?
q
Let u be 2/7 + 32/(-14). Let t be 3/u - 94/(-60). Let a(i) = -i**3 + 5*i**2 - 4*i - 1. Let l be a(4). Is t != l?
True
Let r(m) = -41*m**3 + 1. Let w be r(-1). Suppose -g + w = -4*g. Suppose 4*s = -n - 59, -4*n = -3*s - 25 - 5. Is s at least as big as g?
True
Let q be -6 - (-56)/((-8)/(-1)). Let f be ((-24)/420)/((-49)/5). Which is smaller: f or q?
f
Let t(l) = -2*l**3 + 6*l**2 - 7*l + 5. Let w be t(2). Which is smaller: -0.4 or w?
w
Let x be (2/(-6))/(4/(-12)). Suppose -x = 5*p + 9. Let j = -1 + p. Which is smaller: j or -5?
-5
Let z = -0.3 + -0.7. Suppose 4*d + 10 = -2. Let y = -5 - d. Is y at most z?
True
Suppose -3*c = -5*j + 59, -14*c = -j - 22*c + 29. Suppose 2*i - 34 = -4*x, -i - 4*x + 23 = -0*i. Which is bigger: j or i?
j
Let k(x) = x**2 - 7*x + 13. Suppose -2*j - 17 = -5*j + 5*l, 0 = -j - 4*l. Let g be k(j). Is g greater than -1/15?
True
Let y = -36 + 75. Let g = y - 31. Suppose 0 = 7*x - g*x. Which is smaller: 1/71 or x?
x
Let r be (-8)/6 + (-2)/3. Let c = -153/5 + 1046/35. Is r equal to c?
False
Let y be (5 + 0)/(-295)*1. Suppose 3*t - 3 = -6. Is y at least t?
True
Let u = -227 - -221. Which is bigger: 2 or u?
2
Suppose -5*r + 100 = -5*a, 4*a - 48 = -4*r - 0*r. Let s = -14 + r. Suppose -s*h = -2 - 0. Which is bigger: 2/9 or h?
h
Let f be 94/101 + 19/(-19). Is 0 != f?
True
Let q(d) = -d + 9. Let o be q(6). Suppose 5*p + 17 = -2*g - o, p = 2*g - 4. Let z be 5/(-50) - 2/p. Which is bigger: z or 6?
6
Let v be (390/132 - 3)/((-2)/(-120)). Let j(u) = u**2 + 6*u + 3. Let c be j(-2). Let x be 2/(-1 + 2) + c. Which is smaller: x or v?
x
Let q(d) = 3*d**2 + 10*d + 1. Let p be q(-4). Let k be (-3)/2*8/(-6). Suppose -5*c - 3*x = x - p, k*x = 2*c. Is -2/21 at least c?
False
Let p = -16.8 + 14.8. Are p and -1/34 nonequal?
True
Suppose -10 = -13*d + 12*d. Let h be (d/(-4))/(12/48). Is h at least -6?
False
Suppose -715 = -154*f + 4367. Suppose -4*s = -7*s + 96. Is s <= f?
True
Let s = 6868 - 4031515/587. Which is greater: s or 0?
s
Let k(h) = 5 - 450*h**2 + 449*h**2 - 3*h**3 - 4. Let m be k(-1). Which is greater: m or 5?
5
Let s be 140/(-18) + (-2)/9. Suppose 15 = -g - 3. Let p be ((-3)/(-2))/(g/120). Which is smaller: s or p?
p
Let t = 23.844 + -22.4. Let q = -22.476 - t. Let u = 24 + q. Which is smaller: -2 or u?
-2
Let z(t) = t**2 - 7*t - 5. Let o(d) = d**2 - 6*d + 7. Let f be o(6). Let r be z(f). Let j be (2/r)/((-2)/(-20)). Is j at most -3?
True
Let r = -1631 + 1630.93. Let k = 3/7 - -1/14. Which is smaller: r or k?
r
Let c(t) = t**2 - 4*t + 8. Let m be c(3). Suppose -3*v = -5*b - 4, m*b + 3*v - 2 + 18 = 0. Is 2 at least b?
True
Let p(q) = 4*q - 65. Let j be p(14). Let t be 2/(-10)*(5 - -38). Which is smaller: j or t?
j
Let g = -0.77 + 0.6. Let x = g - -0.27. Let d = 1677/434 - 55/14. Which is greater: d or x?
x
Let p = -58699/51 - -1151. Let z be 3/(-5) - 4/10. Let v = z - 0. Is v bigger than p?
False
Let z = 0.28 + 9.72. Let i = z + -29. Let j = i + 18.8. Are j and -4 nonequal?
True
Let w = 18.3 + -25. Let c = -4.8 - w. Let t = c - -0.1. Is t greater than or equal to 0?
True
Let q be (-8)/12*(-3)/(-49). Suppose -d + 2*d - 3*y + 4 = 0, 0 = d - y + 2. Which is bigger: q or d?
q
Suppose -4*j - 66*h = -67*h + 1397, 2*j = 3*h - 711. Which is bigger: -350 or j?
j
Suppose -11*k + 4 = -7*k. Is k bigger than -2/381?
True
Let h be (78/99)/((-190)/1817535). Let w = 7537 + h. Let l = 5/19 - w. Which is greater: 0.1 or l?
0.1
Let b = 15 - 33. Let d = -13 - b. Which is greater: 3 or d?
d
Let c(y) = -y**3 + 13*y**2 + 13*y + 5. Let q be c(14). Let z = 7 + q. Let m(k) = k**3 + 3*k