nd p nonequal?
True
Let w = -5125/6 + 1707/2. Is w at least 39/11?
False
Let v(l) = -l**2 + 22*l - 82. Let u be v(12). Let z be 126/((1/20)/(u/(-285))). Which is greater: z or -1/3?
-1/3
Let h = -279333/13 - -21489. Which is smaller: h or -2/19?
-2/19
Let j(y) = y**2 + 8*y + 2851. Let r be j(-80). Which is smaller: 8612 or r?
r
Suppose -206*u + 12784 = -222*u. Do -797 and u have different values?
True
Let c be (3/(-6))/((-6)/1026)*-14. Let f = -8310/7 - c. Which is smaller: f or 9?
9
Let m be 3 - ((5/10)/(335/(-2690)) + 7). Is -5 at most m?
True
Let p = 3694 - 77572/21. Which is greater: -0.24 or p?
p
Let v = -7312 + 8725. Is v at most as big as 1413?
True
Let n = -1.6815 - 0.3185. Which is smaller: n or -710?
-710
Let a = -1.3 + -17.5. Let l = a + 16.8. Is l greater than -7.7?
True
Let p = 373 + -374. Let o = 6.96 - -0.04. Let v = o + -6.3. Which is bigger: v or p?
v
Let h be 2/((-5)/(-140)*11768). Is h less than 0?
False
Let i = -300 + 300. Suppose 7*a = 9*a - 2*h + 44, -4*a - 4*h - 64 = i. Is a <= -9?
True
Let h = -98 - -98.85. Let a = 0.12 - h. Let u = -6.27 + a. Which is smaller: u or -0.6?
u
Let u(d) = 2*d**2 - 23*d + 10. Let s(z) = z**2 - 4*z - 9. Suppose 4*b + c = -b - 10, 3*b = 4*c - 29. Let j be s(b). Let q be u(j). Are q and 22 unequal?
False
Let m = -56896 + 56832. Let x = 0.33 + -0.03. Is m greater than or equal to x?
False
Let q be 878/(-5040) + (-177)/15 + 12. Does q = 1?
False
Let t(f) = 4*f + 2. Let m be t(4). Suppose -18 + m = 2*b. Which is bigger: b or -18/43?
b
Let i = -14965/25572 - -4/2131. Is -5/6 bigger than i?
False
Let h be 1050/(-735) - 20/(-14). Are h and 6/443 non-equal?
True
Let l = 1097/6 + -472795/2586. Let p be 0/((-4 - 0) + 5). Is p not equal to l?
True
Let c = -79786/35785 + -12/2105. Which is smaller: c or -3?
-3
Let i = -3703 - -3702. Is i > -81/37?
True
Let g = -13132.8 + 13115. Which is smaller: -1/2 or g?
g
Suppose 0 = -c + 2*r - 6, 4*c + 3*r = 5*c + 10. Let i be (-2 - (0 - 7))*(4 + -3). Suppose c*m = -5*q + 95, -i*m + 3*m + 4*q + 86 = 0. Is m at most as big as 45?
True
Let h be 1 + (0 - 13)*1. Suppose -29*q + 38*q + 243 = 0. Let n = 16 + q. Which is greater: h or n?
n
Let z = -4.623 + 4.573. Is z smaller than 0.0647?
True
Suppose -7*g = -5*g + 5*v + 131, 4*v = -3*g - 214. Let s be (3 - (-4647)/39) + 12/g. Which is bigger: 123 or s?
123
Let g = 67/235 - 4/47. Let r = 46 + -40. Let y be 4 + (25/r)/(-1). Is y smaller than g?
True
Let z = 0.028 + -0.478. Let w = 3.55 - z. Is 29 != w?
True
Let q(l) = -l**3 - 2*l**2 + 5*l. Let d be q(-4). Let u be ((-237)/(-12))/((-15)/d + 1). Is u not equal to -79?
False
Let x be 2/5*108/756. Which is greater: x or -0.139?
x
Suppose -3 - 9 = -4*v. Let a be (3 - (-3)/(-9))*(-561)/(-22). Suppose a = -v*d - 13. Is d at most as big as -27?
True
Suppose -i - 8 = -3*q - 0*q, -q - 3 = 0. Is i less than or equal to -390/23?
True
Let r(n) = -2*n + 25. Let k = -14 + 26. Let g be r(k). Let j be ((-5)/15)/(g/3). Is 0 smaller than j?
False
Suppose 6*w + 5*t + 18 = 0, -4*w - 28 + 16 = -4*t. Which is bigger: w or -182/85?
-182/85
Let d(l) = 82*l**2 - 672*l + 122. Let o be d(14). Which is greater: 6790 or o?
6790
Suppose 20*y = 21*y + g - 5, -g + 13 = 3*y. Which is smaller: 51/11 or y?
y
Let q(r) = 2*r**3 + 18*r**2 + 44*r + 5. Let x be q(-5). Let f(j) = 0 + 3*j + 5 + 7 - 2. Let w be f(x). Is w at least as big as -36?
True
Let m = 0 - -1.8. Let o = 2247.8 - 1842. Let z = o - 406. Which is greater: z or m?
m
Suppose 0 = -22744*m + 22696*m - 4224 + 14640. Let q(a) = -37*a - 5. Let x be q(-6). Is m at least as big as x?
True
Let p be (76/(-24))/(1/2) + 5. Let r be (-6 + 1)*(-2)/14. Which is greater: r or p?
r
Let i = 1810913/5 - 362077. Suppose -j + 3*o + 100 = 0, 0 = 3*j - 3*o + 2*o - 316. Which is greater: i or j?
j
Let u be ((-2)/6)/(7 - (-1053)/(-90)). Is u <= -1?
False
Let n be (-23040)/(-30528)*(-149)/4. Which is smaller: n or -28?
n
Let v = -327846/23 - -14253. Which is smaller: 2 or v?
v
Let i = 50.13 + -4.73. Let a = i - 45.5. Let g = -27/4 + 123/20. Which is smaller: g or a?
g
Suppose -25*a + 6*a - 161 = 846. Is a smaller than -44?
True
Suppose -5*r + 1011 = v, -12*r + 5195 = 5*v - 15*r. Suppose -146*z + 132*z = -v. Are 76 and z equal?
False
Suppose 4 = 4*r - 3*r. Suppose -3*y - 24 = -3*u, -5*u + r*y + 45 = 2. Let f(w) = 2*w**2 - 48*w + 9. Let k be f(0). Are k and u equal?
False
Let f = 6198/17 - 247937/680. Let p be 0/(-2)*1/(-2). Which is greater: p or f?
p
Let v = 3829 - 11488/3. Which is smaller: -544 or v?
-544
Let f(l) = 62*l - 149. Let v be f(5). Suppose 4*h = -225 + v. Are -18 and h nonequal?
True
Let z = -3574.1 + 3574. Which is greater: -1791 or z?
z
Let f = 0.3 + -0.17. Let b = -0.1534 + -0.0081. Let p = b - 0.0385. Does p = f?
False
Let i(d) = 255*d**2 - 2534*d - 20. Let r be i(14). Is r bigger than 14483?
True
Let q = 26 - 21. Suppose 5*s - q = -0*s. Let u = 108 - 107. Is u >= s?
True
Let x = 13884 - 13900. Is 11 bigger than x?
True
Let y = 190.62 - -5.38. Let c = -197.6 + y. Which is bigger: c or -0.9?
-0.9
Let a = 480.637 - 0.637. Let y = -475.9 + a. Is y < -0.5?
False
Suppose -3*j = -1396 - 1859. Let y be (1/(-5))/(42/j). Which is bigger: y or -6?
y
Let y be -1 + (3660/75 - -10)*(-20)/(-906). Is 0 bigger than y?
False
Let p = 10/591 + -4247/6501. Is -82 at least p?
False
Let q = -34.69529 - -0.61429. Let u = 0.081 + q. Let r = 43 + u. Is r not equal to 0.1?
True
Let y be ((-189)/476)/3 + -3. Let l = 13/4 + y. Which is bigger: l or -10?
l
Suppose 66*n - 7 = 65*n. Let s be 2 - (-180 + n + -6). Are 181 and s equal?
True
Let b be (1 + -3)*18/52326*19. Which is smaller: 0 or b?
b
Let i(v) be the third derivative of -v**6/60 + v**5/30 + v**4/8 + v**3/3 + 6*v**2. Let n be i(-1). Let l be 1 - -1*(-1 + n). Which is smaller: 1 or l?
1
Let s(v) = 17028*v**3 - 3*v**2 + 141*v - 138. Let u be s(1). Is 17028 > u?
False
Let s = -2332478/13 - -180021. Let b = -599 + s. Let y be (9/1 + -5 - 0) + -4. Do y and b have the same value?
False
Let d = -15884 + 15817.69. Which is smaller: d or -1?
d
Let m be ((-2)/(-10)*725/(-290))/((-671)/6). Which is greater: m or 1?
1
Suppose -89*a = -13*a + 32452. Which is smaller: -1707/4 or a?
a
Let w be (20/(-2))/(5/10). Suppose 168 = 4*q - i, 3*i - 185 = -5*q - 2*i. Suppose -19 + q = -r. Is r less than w?
True
Let z be ((-3)/5)/(-2 - 3107/(-1555)). Which is smaller: 309 or z?
309
Let j be -3 + (-1635)/10*-3*(-1)/(-162). Which is greater: j or 0.4?
0.4
Let d be (0 - -1) + 3318 + (-2200)/440. Which is smaller: d or -0.1?
-0.1
Let s = -553 + 232. Let k = -66 + s. Which is greater: 0.1 or k?
0.1
Let v(m) = -2*m - 57. Let u be v(-29). Let w = -0.08 - 87.92. Is w <= u?
True
Let o(n) = -5*n**2 - 22*n + 76. Let l(v) = 6*v**2 + 22*v - 77. Let k(h) = -4*l(h) - 5*o(h). Let g be k(-22). Is -72 < g?
False
Let z = 574 + -275. Let r = z - 260. Which is bigger: -2/5 or r?
r
Suppose 0 = -2*o - 4*m - 42, 5*o + 2*m = -145. Is o >= -12?
False
Let i(l) = l**2 - 7*l - 58. Let k be i(11). Let n(o) = 8*o + 113. Let j be n(k). Which is greater: j or -2/15?
j
Suppose -335*s + 49*s = 20*s + 7794126. Is s at least -25470?
False
Let b(a) = a**3 - 9*a**2 + 9*a + 9. Let m be b(8). Let y = 61 - 59. Suppose y*g + k - 4*k = 20, -g = -3*k - 4. Is g at least as big as m?
False
Let f(t) = -t - 15. Let o be f(-20). Suppose o*u + 68 = 8. Let b be 0 - ((-64)/(-6) + (-2)/(-6)). Which is smaller: b or u?
u
Let l(n) = -25*n + 24*n + 15 - n**3 + 0*n**2 - 6*n**2 - 4*n**2. Let b be l(-10). Does b = 32?
False
Suppose -8*p = -11*p + 36*p. Let o be -3 - ((-64)/24 + p). Which is bigger: o or 11?
11
Let c be 4/(-8)*(32 + 2). Let a be c - -22 - 806/162. Is a greater than 1?
False
Suppose -3*z + r - 2*r - 463 = 0, -5*z - 745 = -5*r. Let x = z - -144. Suppose 4*o + 20 = -4*u, -3 - 5 = -4*o. Which is smaller: x or u?
x
Suppose -97*x = -92*x - 330. Suppose -x*d + 286 = -44*d. Is d smaller than 16?
True
Let n(y) = 11*y**2 + 10*y - 597. Let m be n(14). Which is greater: 1696 or m?
m
Let d be (-10 - 5)*14/(-20)*-6. Let p be -3*(-6 + (-448)/d). Is p <= 1?
True
Let p(k) = -2*k**2 + 40*k**2 - 41*k - 2*k**2 + 2*k**3 - 147 + 9*k**2 + 28*k**2. Let f be p(-37). Is f less than or equal to 2/21?
False
Let g = -3113 - -3108. Which is smaller: -27 or g?
-27
Let q = -0.074 - -0.14. Let f = 1.066 - q. Is f greater than