Is 277 at most as big as z?
False
Suppose 6*j - 39 = 171. Do j and 36 have different values?
True
Let p(o) = 27*o**3 - 2*o - 1. Let x be p(-1). Let k(i) = 23*i**2 - 17*i - 16. Let f be k(-1). Let s = x + f. Is s less than or equal to 1?
True
Let d be (-2)/10*1099/(-4956). Let p = 1/177 + d. Which is smaller: 1 or p?
p
Suppose 5*z = z + 4*d, 0 = -4*z + 5*d + 3. Let g(r) = -7*r**2 - 1 - 4*r + 3*r**3 - 4*r**3 + 3*r**2. Let v be g(z). Which is greater: -3 or v?
v
Let d(b) = -b - 79. Let s be d(-24). Which is greater: -50 or s?
-50
Let z(n) = n**2 - 20*n + 91. Let a be z(11). Let y = -3 - -15. Let i be 4/a*(-8)/y. Which is smaller: i or 4?
i
Suppose 14*h - 11 = 3*h. Are -3/139 and h nonequal?
True
Suppose -3*o = -o. Suppose 3*z - 3*s + o*s - 24 = 0, -3*s + 11 = 4*z. Suppose -9 = z*n - 4. Is -2/27 < n?
False
Let b be 24387/63 + (-3 - -2). Let i = b + -386. Let w be 3 + -3 + 2/7. Are w and i unequal?
True
Let a = 128 + -94. Which is smaller: 32 or a?
32
Let x be 1/3 + (-44)/6. Let m be 4/5*(-50)/(-20). Suppose -m*j = j + 21. Is x greater than j?
False
Suppose 0 = -3*r - 4*a + 28, r - 3*r + a + 15 = 0. Suppose -s - 2*q = 20 - 2, 2*s - 3*q + r = 0. Let m be 50/20*4/(-20). Which is smaller: s or m?
s
Let m be (1531274071/182686)/((-342)/12). Let v = 1/274029 + m. Let k = v + 294. Which is smaller: k or 0?
k
Let m = -3.729 - -0.729. Which is smaller: -83 or m?
-83
Suppose -5*w + 13 = 33. Let x be 6/w*1/(-6). Let h = 370 - 371. Is x != h?
True
Let x = 199 - 316. Let u = 116 + x. Let y = 9 - 6. Which is smaller: u or y?
u
Let t be ((1 - (-6 + 3)) + -4)/(-1). Which is smaller: 12/193 or t?
t
Let r = 243 - 294. Is r less than or equal to -51?
True
Let k = 301 + -2711/9. Which is smaller: 1 or k?
k
Suppose z = -0*z - 3*w - 10, z - 3*w = 20. Let y(o) = 3*o**3 - 2*o**2 + 3*o + 3. Let m be y(-2). Let l be 8*z*28/m. Is l <= -31?
True
Let t = -2/19647 - -4640/2691639. Which is smaller: t or -1?
-1
Let p(f) = 2*f + 62. Let k be p(33). Let d be 0 - (k/280 - (-4)/(-10)). Which is smaller: 0 or d?
d
Let k be 0*(-1)/(-3)*(-5)/(-10). Is k >= -11/17?
True
Let c = -1 + 5. Let v(n) = 2*n + 0*n + 10 - 4 - 3*n. Let o be v(6). Does o = c?
False
Suppose -6*q = -0*q - 12. Let b(u) = 11*u**2 - 10*u**q + 2 + 2*u - 6*u. Let n be b(1). Do -9/2 and n have different values?
True
Let b = -288 - -1139/4. Let o(y) = -3*y + 27. Let v be o(8). Let j = b + v. Is j >= 2?
False
Suppose 233*p - 240*p + 2177 = 0. Which is bigger: 310 or p?
p
Suppose -71*r + 11 = -60*r. Let d(p) = p**2 - 2. Suppose 1 + 1 = -b. Let t be d(b). Is r < t?
True
Let d(y) = y + 1. Let t be d(7). Suppose t = 3*i + 23. Let h = 3 + -8. Is i != h?
False
Suppose 4*b = 8, p - 4*b - 78 - 23 = 0. Does p = 108?
False
Let w(y) = -y - 1. Let p be w(7). Let o be (0 + 2)*p/16. Suppose 2*s - 2 = 3*z, 2 = s + s + 2*z. Is o less than s?
True
Suppose 4 = -0*x + 2*x. Let v be x/15*(2 + -4). Are v and 1 nonequal?
True
Suppose -4*u = 2*j - 200, 5 = -3*u + 3*j + 155. Let v = 3 - u. Is v equal to -46?
False
Let v(b) = -4*b**2 + 91*b - 1. Let o be v(21). Is o bigger than 146?
False
Let p be (12 + -13)*(5 + 0). Let i be (p + 6)*2/(-14). Which is greater: i or 2/13?
2/13
Suppose -u + 3*x + 16 + 9 = 0, 85 = 5*u - 5*x. Let f(y) = -2*y**3 + 83*y**2 - 40*y - 28. Let z be f(41). Are u and z nonequal?
False
Let s be (-10 - 330/(-36))*6/(-10). Which is bigger: s or 3?
3
Let k = -607/2772 - 1/308. Are k and 1/112 non-equal?
True
Let j be (3/(-9) - -1)/(12/54). Which is greater: j or 5?
5
Let r be (-44)/3*(-33)/14. Let j = -254/7 + r. Let y(b) = 11*b + 186. Let c be y(-17). Is c >= j?
True
Let m(g) = -g + 9. Let f be m(11). Let w be (-6)/(-3) + (-1 - f). Suppose -4 = w*i - 7. Is i != 4/3?
True
Let b = -1755 - -1762. Which is greater: 5 or b?
b
Let o(a) = -a**2 - 4*a - 2. Let q be o(-3). Are q and -3/13 unequal?
True
Suppose -2*t - 3*b = 9, -t - 11*b = -9*b + 6. Which is bigger: -293 or t?
t
Suppose -i - 2 = -4*c - 9, 16 = -4*c. Let x(o) = o**2 + o - 31. Let p be x(i). Is p greater than 41?
False
Let j(b) = b**2 + 6*b + 5. Let a be j(-10). Suppose d = -4*w - 15, 4*w + 0 + a = 5*d. Let q be (16/220)/(2/d). Is -1 at most as big as q?
True
Let w be 2/2 - 361464/546. Let n = -661 - w. Which is smaller: n or -1?
-1
Let b be 19/(-42)*3 + 1/2. Let g = -0.03 - -0.13. Which is smaller: b or g?
b
Let r = -16 - -18. Which is smaller: r or 2/3?
2/3
Let j be 34/(-9) - (-3)/((-6)/(-10)). Is 1 equal to j?
False
Let j = 76 + -76. Let d be (j + -1)/(3/6). Are d and -20/13 nonequal?
True
Let l = 13.2 + -14. Let u = l + 0.6. Let v(k) = k + 10. Let b be v(-7). Is b less than or equal to u?
False
Suppose 0 = 3*b + 3*z + 60, 4*b + 13*z = 14*z - 110. Let h be -29 + -2 + -2 + 6. Which is bigger: b or h?
b
Let a(p) = p - 8. Let b be a(7). Let s be 1/(-6) + b/(-6). Suppose -2*g + 10 = -s*g + 4*r, -5*g - 4*r = -13. Which is smaller: 4/5 or g?
4/5
Let j = 7 + 19. Let b = 25 - j. Which is greater: 2/99 or b?
2/99
Suppose -3*v = -106 + 13. Is v bigger than 27?
True
Let o be 3 - ((-126)/4)/(-9). Is o smaller than 5/6?
True
Let c = 498 + -486. Is c greater than or equal to 23?
False
Suppose 27*n = 63 - 117. Let d = -0.43 - 26.57. Do d and n have the same value?
False
Suppose -g = 4*s - 5, -2*s + g + 101 - 106 = 0. Is s less than or equal to -3/425?
False
Suppose -1 = -5*p + 39. Let o = p + -14. Let d = 5 + o. Is d at least as big as -1/2?
False
Suppose -c - 2*j = 10, -5*j - 2 - 23 = 2*c. Suppose k + z + 0 - 3 = 0, c = 2*k - 3*z - 1. Is 4/5 smaller than k?
True
Let t = -12 + 6. Let l be (10/t)/(20/30). Suppose -4*v + 2 = -5*v. Is l > v?
False
Let u be ((-15)/(-1))/(3/(-2)). Let g(i) be the second derivative of i**5/20 + 5*i**4/6 + i**3/6 + 4*i**2 + 2*i. Let p be g(u). Is -2 less than or equal to p?
True
Let n be (1 - 4)*210/126. Which is smaller: -50/9 or n?
-50/9
Suppose -23*o + 253 = 46. Is 22 less than o?
False
Let f(t) = -t**2 - 6*t - 6. Let j be f(-5). Let r(n) = -n + 1. Let a = 21 - 20. Let i be r(a). Which is smaller: j or i?
j
Let t = -1.1 - -2.7. Let y = -19 - -47. Let r = y - 27.9. Is r > t?
False
Suppose 0 = 5*r + 3*r - 8. Which is bigger: -12/209 or r?
r
Let b be 8/((-6)/3) - -5. Let s = -15294/35 - -437. Which is bigger: s or b?
b
Let l = 4 + -25. Let v = 21 + l. Is v equal to 0?
True
Let i be (-404)/24 + 39/26. Are i and -15 unequal?
True
Let a(h) = h**3 - 10*h**2 - 23*h - 10. Let c be a(12). Let b be 2 + (4/8 - c). Which is greater: b or 6?
6
Suppose -3*y - 3 = 24. Let i be (y/1 - -1)*1. Suppose -2*g - 5*q = 31, -4*g - 18 - 17 = q. Is i smaller than g?
False
Let m = -3726/77 - -350/11. Is 1 smaller than m?
False
Let k be ((-14)/(-4) + -1)*-2. Let c be (-224)/84*(0 + (-3)/(-2)). Which is bigger: k or c?
c
Let o = -20195 + 161531/8. Suppose -3*a + 4*m + m + 6 = 0, -3*a - 4*m - 21 = 0. Which is smaller: a or o?
o
Suppose -2*y - 5*d = -6*y - 47, -3*y = -2*d + 37. Let p(a) = a**2 + 15*a + 17. Let l be p(y). Is l greater than or equal to -23/3?
False
Suppose 25 = -7*m + 151. Let w(z) = -z**3 + 19*z**2 - 20*z + 1. Let v be w(m). Is v equal to -71/2?
False
Suppose -u - 24 = -5*u. Let z = 31 - 30. Let c be z*(10/2 - 0). Which is smaller: u or c?
c
Suppose -o - 2 = -10. Suppose -2*s + 4*l + o = 0, -4*s + 5 = -2*s - 3*l. Which is greater: s or -9/7?
-9/7
Suppose h - 14 = 2*h. Let w = -9 - h. Suppose w*u - 55 = -0*u. Is u smaller than 10?
False
Suppose 0 = 25*b - 14*b - 2739. Which is smaller: 247 or b?
247
Let m be 10/(-2520)*-9*(-3)/(-129). Which is smaller: m or -1?
-1
Let f be (-2)/(-3) + ((-1127)/(-357) - 4). Let q = -2 + 1. Is f at least q?
True
Let w(d) = -16*d + 5. Let k(g) = g**2 - 1. Let f(v) = -3*k(v) + w(v). Let j be f(-7). Which is greater: 0.1 or j?
0.1
Let d be ((-6)/16)/((-13113)/188). Is d smaller than 1?
True
Let o be ((-100)/15)/(0 + -2). Let h = o - 3. Let r = 0.07 - 0.27. Which is greater: r or h?
h
Let h(g) = 2*g - 33. Let i be h(-9). Is i < -51?
False
Let i(k) = -k**3 + 10*k**2 - 2*k - 14. Let h be i(7). Is 119 less than h?
False
Let h = 717/134 + 10/67. Let j(y) = -2*y - 2 - 6*y - y. Let z be j(-1). Is z at most h?
False
Let z = -20 - -46. Is z smaller than 26?
False
Let k = 1073 + -874. Is 4 less than k?
True
Let m be 20/((-9 - -1)/4). Let f(j) = -3 + 9*j**2 + j**3 - 4 - 11*j - 2. Let t be f(m). Which is bigger: t or 2/35?
t
Let s be (4346/369)/((-8)/3