 the same value?
False
Let i = -5855 + 17563/3. Is -76/61 less than i?
True
Suppose -103 = -7*h + 142. Let d be 2 - (0 + 74/h). Let j = d + 2/5. Do j and 0 have different values?
True
Let f be (-396)/(-14) - (-2)/(-7). Let v = -1135 + 1188. Suppose 3*q + 5*z - v = 0, -2*z = q + 2*z - 6. Which is bigger: f or q?
f
Let q = 757 - 431.1. Let w = 326 - q. Is w at least -34?
True
Let j be ((-2)/(-90))/(30/135)*82. Suppose 0 = -2*s - 4, -2*s - 3*s = b + 3. Is j at least as big as b?
True
Let h = -367 - -4044/11. Let w = -959 + 961. Which is bigger: w or h?
w
Suppose -3*f + 0*y = 4*y - 564, 2*f + 4*y - 376 = 0. Suppose -o + 1 = 0, -l - f = 4*o - 37. Let g = 101 + l. Is g > -52?
False
Let d = 121.337 + -88.337. Let k = 3/10 + -11/20. Which is bigger: d or k?
d
Let l be (-16 + 30 - 20)*(-39)/(-27). Which is bigger: -0.3 or l?
-0.3
Let t = 0.00416 - 19.56516. Let l = 0.159 - t. Let n = -20 + l. Is n < 1?
True
Let y = -5762/25 - 121964/75. Is y < -1858?
False
Let l = -458286685/82 - -5588466. Let x = l - -396. Which is bigger: 1 or x?
1
Let k = 0.143 - -0.053. Let z = -3.196 + k. Which is greater: z or -0.07?
-0.07
Let v = 305487/8 + -38186. Which is smaller: v or 90?
v
Suppose 3*k + 3*z = 36, 0 = 2*k + 3*z - 4*z - 12. Which is smaller: k or 36?
k
Let z = 239/4 + -60. Suppose 0*m - 7*m + 147 = 0. Let t = m + 2. Is z >= t?
False
Let v = -147 + -120. Let y = v + -40. Is y greater than -307?
False
Let o = 2/17449 + -140034/3856229. Which is greater: o or 1?
1
Let a(i) be the second derivative of i**4/12 - i**3/2 + 4*i**2 - 44*i + 2. Let z be a(-9). Are z and 115 equal?
False
Suppose -13881 + 13888 = 7*r. Which is bigger: r or 2/57907?
r
Let x(w) be the third derivative of w**5/20 - w**4/24 - 17*w**3/2 - w**2 - 53*w. Let g be x(5). Which is smaller: g or 5?
5
Suppose a - 12*i = -16*i - 20, -5*a = 5*i + 25. Let c = -43539 - -43562.011. Let f = c + -23. Which is smaller: a or f?
a
Let l(a) = 25*a**2 - 5*a - 1. Let x be l(4). Let n = x + -382. Which is smaller: -4 or n?
-4
Let a be 5/25 - (-146)/(-30). Is a at most as big as -5?
False
Let o be (1 + (-12095154849616)/(-317322))*-30. Let h = -1143490382 - o. Let m = -2/867 + h. Which is greater: m or -1?
m
Let s = -6.0943 + -0.4657. Is s equal to 1.1?
False
Let x = 1.84 + 0.66. Let k = -11 - -14. Suppose -5*y = -5*b, 4*b - 3 = k*y - 2. Is x < b?
False
Let u(z) = -11*z + 9. Let v be u(11). Let a(n) = 11*n**3 - 187*n**2 - 114. Let o be a(17). Is o equal to v?
False
Suppose 2*c - 9 = -c. Suppose c*s + 9 = 4*s. Suppose -14 = -7*d - 0*d. Which is greater: s or d?
s
Let l be (6670/(-230))/((2/25)/2). Is -2174/3 smaller than l?
False
Let u = 3804 + -3806. Let a(z) = z**3 - 5*z**2 + z + 5. Let m be a(4). Let s be (-1)/((-1 - 0)/m). Do u and s have different values?
True
Let g be 12/((-360)/70)*-1*3. Let a be -3*(-2)/(-24) - g/(-12). Which is smaller: a or 1?
a
Let v(a) = -1650*a + 2518. Let o be v(2). Is -7036/9 greater than o?
True
Suppose 0 = 5*v + 3*m - 1020, -68*v + 70*v - 3*m - 408 = 0. Which is smaller: v or 613/3?
v
Let v = -20 - -17. Let z be 4/6 - (-137)/v. Let r be (-89)/z + (-8)/40. Is r greater than 2?
False
Let y = 0.0224 + -0.0409. Let p = -7.0185 - y. Is -16 smaller than p?
True
Let s(u) = -u. Let w(o) = -5*o + 20. Let k(t) = -4*s(t) + w(t). Let x be k(15). Let h(a) = -a + 10. Let d be h(4). Is d bigger than x?
True
Let n(l) = -l**2 + 3*l + 66. Let a be n(-7). Let d be ((-134)/(-268))/((a/2)/(-4)). Which is smaller: d or 32/31?
d
Suppose -22 = -429*o + 418*o. Let y be ((-17)/((-47260)/(-16)))/o. Is 0 at most as big as y?
False
Suppose 3*l + 429 = 414. Let b(u) = u**3 + 5*u**2 - u - 1. Let k be b(l). Is k < 4?
False
Let h = 16415/2024613 - 20/2043. Which is smaller: 0 or h?
h
Let o be 2/15*-3*(-6 - -1). Let q be o/(-4)*-3*(-736)/(-6). Is 184 less than or equal to q?
True
Let n = -294.5 + 257. Let t = n - -38.5. Is t <= 128?
True
Let d be 3 + (-7)/(42/(-2532)). Let q = 436 - d. Which is smaller: -2 or q?
-2
Let v(o) = o + 8. Let d be v(-4). Suppose 12*l - 16*l = -2*m + 180, d*m = -l + 369. Is 92 < m?
False
Let y be ((-4)/(-6))/(-7 - 390/(-54)). Suppose 2*j - 4*j = -y*k - 80, 40 = j - k. Let x = 41 - j. Is -2/25 not equal to x?
True
Let s = -503 + 502.9415. Let d = 2.0585 + s. Which is smaller: d or 42?
d
Suppose 15*t - 5*o - 1670 = 10*t, -5*t + 1652 = -2*o. Is t bigger than 337?
False
Let a be ((3*2)/2)/1. Suppose 0 = -3*l - g + 110, -121*g + 125 = 3*l - 117*g. Suppose 0 = -2*z - a*z - l. Is z at most as big as -25/3?
False
Let j = 968 - 969. Is 4/397 at least j?
True
Let x = -623 + 610. Which is smaller: x or -6/13?
x
Let d = -0.039 - -7.139. Let x = -7 + d. Let a = -0.3 + x. Which is smaller: 1/7 or a?
a
Let r be 5528/(-736) + 9 + (-3)/24*6. Which is bigger: r or 1?
1
Let u(s) = 3*s**2 + 80*s - 38. Let r be u(-24). Let x = 240 + r. Suppose 8*l - 60 = 3*l. Which is greater: l or x?
l
Let l be ((-6)/4)/((-26)/(-16) + -2). Let p be 85 + (l - 4) + -4. Let t be (-1287)/p*(-6)/94 - 1. Which is greater: -0.1 or t?
t
Let d = -58 + 42. Let r be (-40)/(-14) - d/(-28). Let p(k) = k**2 - 7*k - 6. Let s be p(8). Which is bigger: r or s?
r
Let c be (35/14)/(1/2). Let p(z) = -z**3 + 5*z**2 - 3*z + 15. Let u be p(c). Suppose 4*s + u*s - 10 = -2*n, 3 = 3*n + 2*s. Which is smaller: -5/17 or n?
n
Let x be (43083/(-553) - 2) + (-9)/3. Let w = x + 580/7. Is w != 1?
True
Let l = 1984 + -180548/91. Which is greater: -1 or l?
l
Let k be (2*1)/((-23779 - (8 + -16)) + 13). Which is bigger: -1 or k?
k
Let y = -570 + 138. Let j = y + 432. Is -0.098 less than or equal to j?
True
Let n = -13733 + 13730. Which is smaller: n or 711?
n
Let p(h) = h**3 + 14*h**2 - 13*h + 26. Suppose -3*s + 0*s + 5*q - 30 = 0, s = 4*q - 3. Let y be p(s). Let l be 5*((-12)/(-15))/y. Is -3/43 less than l?
False
Let f = -0.13157 - -0.08157. Is 16.88 equal to f?
False
Suppose 3*r - 2*d + 28 = 0, -2*r + 2*d + 4 - 24 = 0. Let t be 0 - 2*r/(-704). Let x(l) = l - 1. Let s be x(2). Is t less than or equal to s?
True
Let g be -1 + 5 + 81810/(-20457). Suppose -3*v = 6, -s - 551*v - 7 = -547*v. Are s and g non-equal?
True
Suppose 670 = 264*n + 94 - 744. Is 43/10 greater than or equal to n?
False
Let k(l) = -l**2 + 98*l - 1311. Let f be k(82). Are f and 6/137 equal?
False
Let k = -103/4 - -133/12. Let f = -4262/291 - k. Let l be 1/(-3) - (-4)/(-6). Does f = l?
False
Suppose -4*j + 2*h - 26 = 12, 4*j + 43 = 3*h. Which is bigger: j or -9?
j
Let p be (2 + 1)/(5 - (-2404)/(-482)). Let m = 188 - p. Which is greater: -52 or m?
-52
Let f(k) = 13*k - 16. Let r be f(8). Suppose -2*c = -r - 12. Let o = c + -28. Which is greater: o or 24?
24
Suppose -3*m - 4*a + 34 - 747 = 0, 0 = -3*a - 6. Which is smaller: -263 or m?
-263
Let s be (9 - (-240)/(-32))/((-6)/35648). Which is bigger: -8911 or s?
-8911
Suppose -8 = 4*k - 0*k, 2*u - 558 = -k. Suppose 7*h - 21*h - u = 0. Which is greater: -17 or h?
-17
Let q(x) = -x**2 + 11*x + 35. Let g be q(13). Let o be ((-4545)/20)/g - (-1)/4. Let w be 45/o + 2 + 1/20. Is w greater than or equal to 1?
False
Suppose 0 = -r + 5*s - 19, 0 = -r + 2*s - 4 - 3. Let l = -21713/330 + 395/6. Is r less than l?
False
Let p(w) = -w**3 - 12*w**2 - 4*w - 13. Let a be p(-8). Let r be (-2)/(-8) - a/(-852). Which is bigger: r or 1?
1
Let f(u) = u**3 + 15*u**2 - 18*u - 16. Let q be f(-16). Let z = q - -19. Let v = -34 + z. Is v bigger than 2?
False
Let u(p) = -2*p + 15. Let g be u(5). Suppose -68 = 7*h - 2*h + 3*b, 5*h = g*b - 60. Let x(c) = -2*c**2 - 26*c - 1. Let i be x(h). Is i less than -5?
False
Let m be 685/15*(0 - (-54)/(-12)). Does m = -206?
False
Suppose -654*h = -640*h - 10934. Which is smaller: 782 or h?
h
Let m be (7/(-1120))/((-1020)/225). Is 0 <= m?
True
Let z be ((-164)/(-2))/(790/(-8295)). Which is bigger: z or -851?
-851
Let p = -614 + 614. Which is greater: -2/18075 or p?
p
Let h(f) = f**2 - 5 - 5 - f + 0 + 12. Let k be h(1). Let b be 2 + k/(-1) + 50/(-65). Is b equal to 1?
False
Let r be 3/(10 + 451/(-22)) - (-19717)/(-7). Is -2818 >= r?
False
Let d = -965/50963 - -7/1243. Are 1 and d non-equal?
True
Suppose 0 = -14*x + 8*x + 108. Suppose -3*v + x = -3*s, -4*s - 3*v + 0*v = -4. Let i be 4/(-10) + s + 156/40. Which is bigger: i or -2?
i
Let a = 78 - 46. Let f = -52.34 + -22.66. Let r = f + a. Is 1 less than r?
False
Suppose 5*t + d = 14, 2*d + 0