et m be k(30). Let b be (0/1)/((-2)/(-1)). Let v = b + 2. Which is smaller: m or v?
m
Suppose -2*q - p = 2*q - 103, -10 = 2*p. Suppose 1 = 7*b - q. Let h(u) = -u**3 + 5*u**2 - 3*u - 4. Let t be h(b). Is 9/10 <= t?
False
Let r be 0/(4/3 + 2/3). Which is greater: 26/87 or r?
26/87
Suppose 0 = -17*r - 0*r - 17. Which is greater: -15/14 or r?
r
Let r be (21/9)/(150/(-36) - -4). Which is smaller: r or -122/9?
r
Let r be (5/1)/((-36)/108). Which is bigger: r or -180/11?
r
Suppose -3*m = 12 - 27. Suppose -m*i + 4*a = -2*i + 7, -2*i - 13 = -a. Is i less than or equal to 0?
True
Suppose 14*l + 108 + 312 = 0. Let i be (28/(-3))/(340/l). Which is smaller: i or 1?
i
Let p = 3071/7 - 438. Let q be 4*(-3 + (-52)/(-16)). Which is smaller: p or q?
p
Suppose 3*y + 10 = -0*y + 4*w, 0 = -2*w - 4. Let i be (y/(-108) + 0)/(-1 + 0). Let x = 0 + 1. Which is bigger: x or i?
x
Let j = -1517906/249 - -6096. Which is greater: j or 1?
1
Let n(k) = -k**2 - 4*k + 20. Let q be n(-7). Let f = 1410/11 + -128. Is f <= q?
False
Let f = -547 - -546.946. Let z = 2/29 - -52/87. Is f at least as big as z?
False
Let q be 2/(-10) - (-11553)/57690. Let y = 7427/1019190 + q. Which is bigger: 1 or y?
1
Let c be 6/(-9)*12/(-304). Let i be (18/54)/(2/6). Is c not equal to i?
True
Let d = 191/4 - 541/12. Suppose -2*a - f + 5 = -0*f, 0 = -5*a - 5*f + 15. Is a at least d?
False
Let o = -265.9 + 258. Do 1/3 and o have the same value?
False
Let k = 37 - -69. Let y = -94.2 + k. Let p = 12 - y. Is p at most -0.3?
False
Let z = 43 - 221/7. Is 10 not equal to z?
True
Let b(k) = -2*k**2. Let g be b(1). Let t = -1 + 7. Let h be 1/(1*g/t). Which is smaller: -9/5 or h?
h
Suppose 3*h = -2*s - 10, -11 = 5*h + 9. Is -4/19 bigger than s?
False
Suppose -c = -4, -4*f - 3*c = -f - 15. Which is smaller: 12/71 or f?
12/71
Let s = 0.502 - 9.502. Does s = -1?
False
Let m = 27.3 - 35.3. Are 0 and m nonequal?
True
Let a(y) = -16*y**3 - y**2 + 2*y - 2. Let c be a(1). Let h be 4 - 5/c*-13. Do h and 0 have the same value?
False
Let y = -1 + 34. Suppose 4*t = 5*w + 55, 4*w - 7*w + 5*t = y. Let p be 1*(-2 - (-3 + 2)). Is w less than p?
True
Let a = 0.95 - -0.05. Let j = 0.62 - 0.37. Let t = j - 0.14. Is a at least as big as t?
True
Let k be 9/2*368/(-552). Suppose 9 = -5*z - 1. Let y be 2 + -2 - (-8)/z. Which is greater: y or k?
k
Let p = -24 - -8. Let k be (-3)/2*7*(-8)/(-28). Which is greater: p or k?
k
Let a(u) = -u**2 - 6*u. Let p be a(-6). Let j be (-12)/4 + (-598)/(-210). Let i = j + 1/5. Which is smaller: i or p?
p
Suppose 342 = -8*p + 6*p + x, -3*p + x = 511. Let c be p/(-5) - 4/(-20). Is c >= 35?
False
Let i be ((-200)/22)/(6/12) + -2. Is 2 smaller than i?
False
Let l = -2617579/11304 - -25/3768. Let d = l - -232. Let b = d - 7/36. Which is smaller: 1 or b?
b
Suppose 50*g + 12*g = 0. Which is bigger: 3/139 or g?
3/139
Let a(t) = -83*t + 16. Let j be a(4). Let n = -11061/35 - j. Does n = 0?
False
Suppose -2*s = 4*i - 28, 5*s - i - 34 = -2*i. Let t be s + (-3)/(-3) + -4 + 3. Which is greater: t or 8?
8
Suppose -3*p - 552 = 4*f, -5*p = -10*p + 3*f - 891. Which is bigger: p or -1250/7?
-1250/7
Suppose 5*s + 2036 = -4*r, 2036 = -11*r + 7*r - 3*s. Is r <= -509?
True
Let i be -7 - (10 + (-7 - -534)). Which is smaller: i or -545?
-545
Suppose 0 = -0*a + 3*a + 5*n - 9, 5*a - 5 = -5*n. Let h be (3/1 - 3)/a. Let r = -35 + 104/3. Are r and h nonequal?
True
Suppose -h + 0*h = -1. Suppose -9*v + 15 = -4*v. Suppose 3*m = 3*c + 6, -m + v*m - 5*c = 7. Is h at most as big as m?
True
Let p = 84/95 + -17629/20045. Is p greater than 0?
True
Suppose 1 = -3*y + y - 5*x, 3*y + 4*x + 5 = 0. Let p be 2/(52/90) + y. Is 1 less than p?
False
Let t(d) = -d**2 + 5*d + 7. Let z be t(6). Suppose 5*w = -25, -x + 19 + z = -2*w. Let h be (-3 - 0 - -11) + 3. Which is smaller: h or x?
x
Suppose -86 = 29*n + 59. Does n = 2?
False
Let y = -0.4 + 0.4. Let k = -0.09 + y. Let m = k + -0.01. Is m at least as big as -0.6?
True
Let u(t) = t - 2. Let c be u(2). Suppose c = y + 3*y - 12. Let p be ((-4)/6)/(y/9). Are p and -4 equal?
False
Let h = 2491 - 2489. Which is smaller: 11/16 or h?
11/16
Suppose 7*f = 3*f + 64. Suppose 5*q - 2*r - r = 27, -4*r = f. Which is bigger: 11/3 or q?
11/3
Let x be 1329/21 - (-2)/(-7). Let z = x + -49. Which is smaller: 12 or z?
12
Let l(q) = q**3 - 6*q**2 - 8*q + 5. Let w(b) = -b - 1. Let p be w(-8). Let z be l(p). Let n be (z + 1)/(9/63). Which is smaller: -5 or n?
n
Let q = -183 - -183.1. Let z = 0 + -0.1. Let s = -0.1 - z. Is q greater than or equal to s?
True
Let p = -3 + 3. Let o be 180/25*(-10)/3. Let k be -2 - (-16)/(-204)*o. Are k and p equal?
False
Let p be ((-5)/10)/((-2)/(-120)). Let m be (2/35)/((-8)/p). Is 0 at most as big as m?
True
Let p = 6 + 0. Let d = 12.04 - 11.94. Is d at least as big as p?
False
Suppose -3*q + 18 = 6, 0 = -5*f + 3*q - 27. Let h be 75/(-70)*(1 + 2 + -1). Is f bigger than h?
False
Suppose y - 8 = 3. Let k(q) = q - 6. Let g be k(y). Suppose 0 = -g*m + 10*m. Which is smaller: m or 3/22?
m
Let u be 624/(-21) + 6/(-21). Which is bigger: -59/2 or u?
-59/2
Let j(i) = 916*i. Let g be j(-1). Let d be (g/(-12) + -1)*-1. Let m = 76 + d. Does 0 = m?
False
Let u = 4270/13 + -3232364/9841. Is -1 bigger than u?
False
Let o(f) = 0*f**3 + 3 + 6*f**2 - 1 + 3*f - 4*f - f**3. Let d be o(6). Let v = d - -5. Which is smaller: 2 or v?
v
Let w = -0.05 + -2.95. Suppose 3*x = 20 - 11. Suppose x*m = -3 - 0. Are w and m equal?
False
Let g be ((-21)/(-28))/(1/8). Let t be (-2)/3 + 0 + (-332)/g. Is t bigger than -55?
False
Let b = -453 + 57525/127. Which is bigger: -1 or b?
b
Let c(l) = -l - 6. Let z be (56/(-4))/(-1 + 3). Let g(h) = -h**3 - 7*h**2 - h - 1. Let t be g(z). Let f be c(t). Which is greater: f or -11?
-11
Let b = 0.21 + 15.79. Let k = 15.4 - b. Which is smaller: k or 0?
k
Let n(j) = -31*j + 237. Let d be n(8). Which is smaller: d or -111/11?
d
Let y = 114 + -133.9. Which is greater: y or -1/2?
-1/2
Let r = -12/133 + -496/399. Is -0.85 smaller than r?
False
Let p = -1269 + 21577/17. Which is greater: p or 3/2?
3/2
Let u be 4/14 - (-9)/(-7). Let g be (u - 0)*(0 - -2). Let i be (5 - (-6)/g) + -3. Does -0.2 = i?
False
Let x be 15/50*(0 - 15/(-54)). Is 1 greater than or equal to x?
True
Let v be (3/2)/((-2)/(-12)). Suppose v*b + 8 = 7*b. Let f be 3 + -7*b/(-12). Which is smaller: f or -0.3?
-0.3
Let t be (1 + (-146)/216)*12/(-30). Is 0 < t?
False
Let a = 20 - 38. Let f be 6 + -7 + 3 - -16. Let y = f + a. Which is greater: y or 1/14?
1/14
Suppose 3*i + 15 = 0, -i - 90 = 2*d + 3*d. Let f(l) = l**3 + 17*l**2 - 2*l - 24. Let v be f(d). Suppose -2*n = -0*n + 2*a - v, -5*a = -20. Are n and 1 equal?
True
Let d = -2236 - -3208. Is 972 not equal to d?
False
Let m be (32/80)/(2/80). Let r be -2 + 5 + (-49)/m. Is 1 less than or equal to r?
False
Suppose -50*w - 6327 = -22027. Are 314 and w nonequal?
False
Let l be (3 - 414/80)/((-18)/(-4)). Let u = l - -1/12. Which is bigger: u or 1?
1
Let k = 6 + -10. Let f = -0.391 + 0.3. Let l = 1.091 + f. Which is greater: l or k?
l
Let t = -7 - -25. Let j = t - 10. Suppose -4*m = -0*m - j. Which is bigger: 4 or m?
4
Let t = -15 + 18. Let o(f) = -3 + 4*f**2 - f**t - f**2 + 8*f**2 + 18 - 2*f. Let q be o(11). Is q equal to -7?
True
Let l be (6 + (-148)/24)*0. Which is greater: 1/125 or l?
1/125
Let a = -10 + 20. Let r = a - 10.1. Let q = r + 0.2. Is -3/5 < q?
True
Let r = -2.2 + 3.02. Let h = -0.72 + r. Which is bigger: -7 or h?
h
Let m be (-914)/154 - (-37 + 31). Is -1 smaller than m?
True
Let z(r) = 5*r**3 + 5*r**2 + 5*r + 7. Let u be z(4). Which is smaller: 428 or u?
u
Let p(o) = -8*o**3 + 3*o**2 - 15*o + 10. Let u be p(1). Suppose -5*x + 0*x - 40 = 0. Which is smaller: u or x?
u
Suppose 2*o - 41*i + 36*i - 3 = 0, -5*o + 2*i = 3. Which is smaller: o or -236?
-236
Let l(m) = -15*m + 1 + 3 + m**3 + 3*m**2 + 11*m. Let x be l(-4). Suppose 4*f + c = -31, x*c - 1 = -f + 10. Is f smaller than -9?
False
Let w = 116 - 106. Suppose 0 = -4*s + w + 14. Is s smaller than 7?
True
Let l(u) = u - 4. Let x be l(-12). Let q = x + 19. Suppose 5*m + 24 = -q*a - 4, -m - 2 = -3*a. Is m at most as big as 0?
True
Suppose 9 = -4*i + 4*v - 315, -3*v = -2*i - 161. Let h = 132677/1605 - -1/535. Let z = h + i. Is 0.4 <= z?
True
Let w = 0.025 - 52.625. Is -1/4 greater than or equal to w?
True
Suppose 5*t - 1