ose 3*j - 7 = -2*d, j - 3 = -d - 1. Let v = 19619/111 + -530/3. Which is greater: v or d?
v
Let p = -96 - -96. Suppose 4*v + p = 4*j + 16, -3*v = -12. Is j less than or equal to -2/247?
False
Let w(f) = -f**3 + 4. Let k be w(0). Let i = k - 30/7. Let h = -9.3 - -10. Which is smaller: h or i?
i
Let x be 4 + 33*(-16)/108. Is x less than 0?
True
Let o be 184/(-6)*(7 - (-9 - -19)). Is 92 at most as big as o?
True
Suppose 0 = 10*o - 73 - 7. Let s be 4/o*-1*32. Is s at least as big as -16?
True
Let n be (-14)/7*2/36. Let a = -218 - -218.3. Which is smaller: a or n?
n
Let a(l) = 4*l - 3. Let i be a(2). Suppose i*k - 72 = -3*o, -2*o + 24 = 4*k - 32. Suppose -8*z = -5*z - k. Which is bigger: 3 or z?
z
Let u = -555.9 - -556. Is u greater than or equal to 2?
False
Suppose -v - 5*u + 18 = 0, u + 0*u = v + 12. Let k(s) = s**2 + 6*s - 8. Let r be k(v). Which is smaller: r or -2/115?
r
Let h = 78 + -82.6. Let a = -4.3 - h. Which is smaller: a or -2?
-2
Suppose -77 + 72 = 5*s, -60 = u + 3*s. Which is bigger: u or -172/3?
u
Let v be 6/((-54)/(-9))*-121. Which is bigger: v or -118?
-118
Let p(t) = -t**2 - 6*t + 5. Let r be p(-6). Suppose 0 = 24*b - 28*b - 3*v + 33, -3*b + 33 = 5*v. Are r and b equal?
False
Let z = 0.477 + 12.523. Is 0.06 at least z?
False
Let r = 538 - 516. Is 26 greater than or equal to r?
True
Let o = -479/7 - -65. Is -3 greater than or equal to o?
True
Suppose -7*n - 559 = 428. Is -142 at least as big as n?
False
Let u = -1 + 5. Let d = 5 - 4. Suppose d + 19 = 5*x. Is x smaller than u?
False
Let p = -64 + 64. Suppose p = 6*z - 3*z - 54. Suppose 0 = 3*x + 3*f - 57, 4*x - 3*f = 2*x + 33. Are z and x nonequal?
False
Let y = 69 + -73. Is -6 <= y?
True
Suppose 4*g - 7 = 5*o, 0 = -28*o + 29*o + 3. Is g equal to 79?
False
Suppose k = -5*o + 13, k + 4*o + 3 - 13 = 0. Let b = 2/1139 - 3487/39865. Is b at most as big as k?
False
Let i = 605 - 3042/5. Which is bigger: -4 or i?
i
Let u = 1 - 2. Let b(d) = -d**3 + 7*d**2 - 5*d - 12. Let a be b(6). Let k be 4/a + (-88)/(-60). Which is smaller: k or u?
u
Suppose z = 5*z. Let w(d) = -d**3 + d**2 - 2*d + 18. Let y be w(z). Let b be (-40)/(-70) - y/7. Is b at least as big as -7/6?
False
Suppose y + 4 = 0, 8*y - 5*y + 405 = 3*x. Which is smaller: 129 or x?
129
Suppose -4*f + 5 = -3. Suppose -f*c + 0*c + 2*s = -30, -27 = -c + 4*s. Which is smaller: 39/4 or c?
39/4
Let q = 2172 + -2172.1. Which is smaller: 1777/5 or q?
q
Let l = 16 + -14. Suppose -2*a - a + 4*t - 14 = 0, 5*a + l = -4*t. Let u = 8 - 11. Which is bigger: a or u?
a
Let h = 35.978 - -0.022. Let s = -68 - -105. Let j = s - h. Which is smaller: -0.13 or j?
-0.13
Let u be 2 + (-332)/(-162) + -4. Let w be (-4)/10 + (-5542)/(-10530). Let m = u - w. Is 1 < m?
False
Let g be (-16)/(-160)*3/(12/10). Let t(d) = -d**2 - 4*d + 3. Let u be t(-3). Suppose 0 = -3*p + 6*p - u. Is p at least as big as g?
True
Let w = 694 - 691. Which is greater: -0.041 or w?
w
Let v = -21 + -26. Let y = v - -73. Are 26 and y equal?
True
Let a(k) = k**3 + 10*k**2 - 38*k + 14. Let j be a(-13). Is 0.02 >= j?
False
Let h = 81 - 122. Let c = 40.6 + h. Which is smaller: c or -4?
-4
Suppose 2*w + 6 = 0, 0 = -3*n + 5*w - w - 654. Which is smaller: -221 or n?
n
Let m be (-3*(-2 + 1) - 2) + -5. Let w be m*(-9)/(-564)*-1. Is w bigger than -1?
True
Suppose -21 = -n - 0*w + 3*w, -2*n - w = -56. Suppose 0 = -3*s + 3*c + n, 0*s = s + 3*c + 11. Suppose 3*t + 1 = s. Which is smaller: 2/15 or t?
2/15
Suppose -15 = 16*v - 17*v. Let k(u) = -u + 9. Let g be k(v). Is g <= -1?
True
Let r = 0 + 1. Let i(m) = 0*m + 0*m - m - m - 6. Let v be i(-5). Is v smaller than r?
False
Let u = 0.346 + 78.654. Which is smaller: u or 1?
1
Let l = 2 + 17. Let r = l + -11. Are 7 and r unequal?
True
Suppose 5 = n - 2*n, -2*n = 4*f + 351766. Let k = -7738805/88 - f. Let s = -15/8 - k. Is 0 smaller than s?
True
Let t = 0.78 + -0.721. Let g = -0.059 + t. Which is smaller: g or 32?
g
Let m = 45 - 87. Is 0 less than m?
False
Let d(l) = -l**3 + 6*l**2 + 16*l + 1. Let z be d(8). Let n be (-5 - (-8 + 3))/z. Suppose -6*r + 4*r + 4 = 0. Is r at most n?
False
Let a be (-2)/(-36)*3*(-352)/99. Which is smaller: -2 or a?
-2
Suppose -135*o = -140*o + 5. Is o less than 2/131?
False
Suppose -2*l + 5*u = 3*l + 100, 0 = 4*l + 2*u + 80. Let j = 35 + l. Suppose 0*c + 3*c = j. Which is bigger: c or 6?
6
Let x be (-110)/40 - 1*(-10)/4. Does -39 = x?
False
Let j = -2657 + 2679. Let n(s) = 2*s**2 - 8*s. Let u be n(6). Which is smaller: u or j?
j
Suppose -2*r - 2*k - 2 = 0, k = 4*r - 0 - 1. Suppose f + 6 - 1 = r. Let d be f/10 - (1 - 2). Is d smaller than -4/5?
False
Suppose 7*c - 10 = 11. Does c = 3?
True
Let w = -1.7663 + -0.1337. Which is bigger: -0.2 or w?
-0.2
Suppose 2 = -2*h + 3*h. Suppose 22*l = 19*l + 18. Suppose -l = 3*j - 3*t, 4*t + 2 = -h*j + j. Is j not equal to -3?
True
Let f(x) = 10*x - 29. Let o be f(-6). Let s = -85 - o. Is 1 >= s?
False
Let w = -0.042 - -0.042. Which is greater: -87 or w?
w
Let t be (1608/(-92))/(-6) - 35/7. Is t bigger than -1?
False
Suppose -5*c = 3*h - 7*h + 60, h = -4*c - 6. Which is greater: h or 11?
11
Let l be (-325)/50 - 2/(-4). Is l greater than -11?
True
Suppose -2*j = 2*h + 3008, -2122 = 5*j - h + 5404. Are -1504 and j unequal?
True
Suppose -203 + 294 = 13*f. Let a(o) = 8*o**3 - 2*o**2 + o. Let h be (1*-1*2)/(-2). Let d be a(h). Is f equal to d?
True
Let h = 7.2 - 6.2. Let w be -3 - (-6 - -2) - -149. Let m be (1/2)/(3/w). Which is bigger: m or h?
m
Suppose -5 = -2*s + s. Let l = -6 + s. Do l and 3/16 have the same value?
False
Let d be ((-39)/4)/((-30)/80). Is 30 smaller than d?
False
Suppose -4*m = -3*m. Let u be 4*(-6)/(-136)*-2. Which is greater: u or m?
m
Let x = -388 + 4264/11. Let i = -48.01 - -48. Let g = 0.01 + i. Is x < g?
True
Let j be -22*1*13/(-1222). Are j and 1 non-equal?
True
Suppose -1 = -l - 2. Let o be (-10)/(-2 - 2 - (-30)/(-2)). Which is smaller: o or l?
l
Let q = -8 - -35. Let m = -39 + q. Let n = m + 12. Which is smaller: n or 1/2?
n
Let n = 2/1149 + 58585/8043. Let q be (-46)/(-6) - (-8)/(-12). Is q less than or equal to n?
True
Let m = 1928 - 1909. Which is smaller: 15 or m?
15
Let o = 79 + -14. Let k = 65 - o. Which is bigger: k or 2/107?
2/107
Let h be (-255)/4 + (6/(-8))/3. Let d be (h/32)/((-4)/(-82)). Is d at least -41?
True
Suppose 30*h - 28*h = 0. Let r = 1327/160 + -41/5. Is h >= r?
False
Suppose 3*c + 3*x - 2 = 25, x = 3*c - 11. Suppose 2*g = c*g - 114. Are 38 and g nonequal?
False
Let q = 75 - 70. Suppose -r + 3*j + 3 = -8, -q*r - j = 9. Is 3/59 smaller than r?
False
Let o = -16 - -10. Let z = 0.2 + -0.6. Let r = -0.4 - z. Which is bigger: r or o?
r
Let s be 7/2*(-104)/182. Is -516 less than or equal to s?
True
Let u be (-4)/(-6)*((-370)/4 - -13). Is u bigger than -39?
False
Suppose 3*k + 2*z - 28 = -k, 0 = 4*k - z - 22. Suppose 0 = k*i - 4*i + 4. Let u be (10 - 10)*i/2. Do u and 3/7 have the same value?
False
Let y = 63353/70 + -905. Do 1 and y have the same value?
False
Let x = -512.1 + 538. Let y = x + -26. Which is bigger: 5/8 or y?
5/8
Let w = -1 - -3. Suppose -w*g + 70 = 5*g. Is 17/2 <= g?
True
Suppose 0 = -4*m - 0*m - 36. Let p(z) = 2*z**2 - 5*z**2 - 9*z + 2*z**2 + 0*z**2. Let o be p(m). Which is smaller: o or 1/5?
o
Let w(v) = -v. Suppose -4*p + 4 = 3*a, 2*a - p - 1 = -2. Let n be w(a). Suppose -2*h + g + 1 = n, -2*h = -0*h - 2*g - 4. Is 1/4 smaller than h?
False
Let h be ((-6)/(-4))/((-3)/(-2)). Let f be (-8460)/(-14) - (3 - 19/7). Let x = f + -3611/6. Are x and h equal?
False
Let v(i) = -i**3 + 19*i**2 + 20*i + 23. Let g be v(20). Do g and 200/9 have different values?
True
Let l = -698 + 698.043. Which is bigger: l or -5?
l
Let p be (-15)/6 + 2 + 3/9. Which is smaller: p or -1?
-1
Let j be (-8 - 235/(-35)) + (-2)/(-7). Is j smaller than 8/57?
True
Suppose -2*t + 4*j = -492, 5*t - j - 1288 + 67 = 0. Is t smaller than 244?
False
Let c(f) = -f**2 - 15*f - 26. Let l be c(-10). Let v be (12/9)/((-16)/l). Is -7/8 at most v?
False
Let i = -1.3 - -1.5. Let x = -0.34 - -0.04. Let d = i + x. Is 8 equal to d?
False
Suppose -2*m - 2*m = -5*z + 6, 2*m - 2 = 0. Suppose 2*k + z*k - 40 = 0. Suppose 0 = -2*t - 2 - k. Which is bigger: t or 1?
1
Suppose 49*w - 46*w + 162 = 0. Let f = w + -25. Which is bigger: f or -80?
f
Let m = -18 - -25. Suppose -2*j - 10*o + 9*o = -11, j