 = 6*d - 9*d. Do b and d have the same value?
False
Suppose 17217*z - 17509*z - 159 = -3371. Let j be -2 + 10*2/2. Is j not equal to z?
True
Let u be (-1)/111*886 + 8. Is u greater than or equal to -12?
True
Let y = -0.0296 - -0.1296. Let k = 276 + -301.2. Is y >= k?
True
Let j(r) = 10*r - 23 + 2*r**2 + 3*r**2 + 2*r**2 - 6*r**2. Let l be j(-12). Let g be (1 - l)/(11 - 12). Is 4/11 less than or equal to g?
False
Let j = -408 - -408. Suppose j = 8*l - 7*l - 9. Is l < 3?
False
Let t = -9702 - -9649. Which is greater: -6.8 or t?
-6.8
Let l be 2611/10 - (-228)/(-2280). Which is bigger: l or 260?
l
Let i(b) = b**3 + 14*b**2 - 1. Let l be i(-14). Is 1/2048 equal to l?
False
Let r(u) = -6*u - 2. Suppose -13 - 2 = 5*h. Let j(p) = 6*p + 21. Let a be j(h). Let x be r(a). Is -0.2 greater than or equal to x?
True
Suppose 5*n = -97*b + 96*b - 349, -126 = 2*n - 3*b. Which is smaller: -57 or n?
n
Let k be ((-8)/10)/(-1) + 6*(-4207)/29190. Which is bigger: k or 0?
0
Let j = 17.44 + -18. Let v = -0.598 - j. Let k = 0.062 - v. Is k less than -15?
False
Let c(u) = -858*u**2 - 2*u - 8. Let i be c(-1). Is i < -864?
False
Suppose 0 = 4*k - 0*k + 5*s - 43, -3*s = 3*k - 33. Let t = 11 - k. Let m = -4275/11 + 389. Which is greater: m or t?
m
Let v be (81/6 + -6)/((-3)/(-2)) - -1. Let i(a) = a**2 + 5*a + 6. Let j be i(-5). Suppose 3*r = -l + 4*l - j, -2*r - 9 = -3*l. Does l = v?
False
Let c be 7/28 + 7/4. Suppose -c*i = -i - 9. Suppose v - 2*h + i = -2, -4*v - 2*h + 6 = 0. Is v smaller than -9/5?
False
Let g = 19022.4 - 19024. Is g >= -4.73?
True
Let c(u) = -7*u**2 - 2*u - 7. Let x(r) = -15*r**2 - 3*r - 13. Let l(o) = -13*c(o) + 6*x(o). Let i be (-33)/6 - 6/12. Let t be l(i). Which is smaller: -1/7 or t?
-1/7
Let w = -2 + -28. Suppose -3*s + 21 = 3. Let f be 2 - s/(w/55). Is f > 13?
False
Let a be 2682/21663 - (-12)/174. Which is smaller: 1 or a?
a
Suppose 0 = -3*m - 12*h + 15*h + 66, 46 = 2*m - 3*h. Let d be (-6)/(-20) + m/(-25). Is 0.039 at most d?
False
Let d = 42 - -33. Suppose -2*t - 39 + d = 0. Let b = 17 - t. Is b at most 1/69?
True
Suppose 45 = 75*f - 66*f. Suppose 2*x + 3*p - 23 = 0, 5*x - 3*x + f*p = 13. Is x smaller than 71/4?
False
Let g = -487/16 - -36. Which is smaller: 5 or g?
5
Let v(g) = g**2 - 8*g + 6. Let u be v(5). Suppose 2772 = 14*f - 2*f. Suppose 8*z = 191 - f. Which is smaller: u or z?
u
Let s be -2 - (-640)/285 - (28/6 + -6). Which is greater: 5/23 or s?
s
Let r(b) = 26*b - 73. Let c be r(28). Let n be 1 + (1 + 1 - c/225). Which is smaller: n or -1/4?
-1/4
Let w(v) = -v**2 - 10*v + 8. Let f be w(-10). Let u be (-1)/((-10)/f + 1). Suppose u*x - 16 = -0. Is x not equal to 3?
True
Let c be (8/20)/((-2)/(-240)). Suppose 0 = -50*m + c*m. Let o = 67/240 + 1/30. Are m and o equal?
False
Let i be (-852)/(-10)*145/58. Suppose 5*p + i + 177 = 0. Is -79 < p?
True
Let o be (5/(-15)*3)/1. Let q be (3 + -13)*-3 + (2 - o). Suppose -40 = -3*r - 3*g + 32, 2*r - q = 3*g. Which is smaller: r or 19?
19
Suppose 0 = -74*w + 207*w. Which is bigger: -1/632 or w?
w
Suppose 5*l + 20 = 0, -3*d - 4 = 4*l + 9. Let j be -4*(4/(-2) - -1)*d. Suppose 0 = 4*f + 2*a, 2 - 4 = j*f + a. Is f > 1/18?
False
Let w be 2 + (-712422)/(-142470) + -7. Which is smaller: 0 or w?
0
Let t = -43 + 44. Let z = -6.22 - 24.76. Let s = 0.02 - z. Are s and t equal?
False
Let f = 471.36 - 463.36. Which is bigger: f or 2/879?
f
Let g be 1/((8 + -7)*(-1)/(-3)). Let p be 9/(-6) - g/(-6). Which is smaller: -7/19 or p?
p
Suppose 20*f - 17*f + 39 = 0. Let l(d) = d**2 + 13*d. Let z be l(f). Which is bigger: z or -2/817?
z
Let x = 1147 - 1107. Let a be 41 + 0 + 2/(-2). Is a equal to x?
True
Let m = 17492 + -17487. Is 1261 greater than m?
True
Let b(a) = a**2 - 43*a + 43. Let n be b(42). Are 23/118 and n unequal?
True
Let d(p) = p**2 + 4*p + 1. Let z be d(-3). Let n be (64/10 - (131 + -125)) + -2. Which is greater: n or z?
n
Let j = -78587/5 + 15720. Is j at least as big as 155?
False
Let r = 1026 - 504. Is 1043/2 greater than r?
False
Suppose -61*l - 216 = -26*l - 26*l. Let f(r) = -r**3 + 4*r**2 - r + 2. Let j be f(3). Let b be (0 - 2)/((-16)/j). Which is greater: b or l?
b
Let h(u) = -u**3 + 4*u**2 - 2*u + 6. Let o be h(3). Suppose -3*v + o = -y, 5*y + v + 25 = -4. Let b be -2 - 2 - (8 + y). Which is smaller: -34/7 or b?
b
Let q = -411 + 375. Let r be ((-30)/(-4))/(-1*q/15). Which is greater: r or 3?
r
Let i be 8 + ((-581)/77 - 1) - (-153402)/33. Which is smaller: 4 or i?
4
Let a = -327 + 181. Let v = a - -218. Which is smaller: 71 or v?
71
Let j be (48/(-14))/((-2)/7). Suppose 3*m - j = -l, -44 - 16 = -5*l - 3*m. Let f be ((-9)/33)/(l/32). Are -2 and f nonequal?
True
Let m = -2242 - -96396/43. Is 1 smaller than m?
False
Let f = 3878 + -3878. Are -2/65 and f non-equal?
True
Let t = 77 - 40. Let d(z) = 17*z - 1 - t*z + 3*z**2 + 18*z. Let r be d(2). Which is smaller: r or 6?
6
Let z = -285423/7 - -40761. Let l = -3.1 + 3. Is l greater than z?
True
Let w be 3/(-2)*2/(-3). Is 3/605 greater than or equal to w?
False
Suppose -33*l + 29*l = 0. Suppose 0 = 4*t + w - 21, -1 = -w - l. Let o be -2*t/15 + 62/57. Which is greater: o or 1?
1
Let y = -336 - -962. Let c = y - 626.1. Let h be (-2)/1 + (-8)/(-10). Which is smaller: c or h?
h
Let i(t) = 57*t**2 - 14*t + 14. Let j be i(1). Which is bigger: j or 25?
j
Suppose 0 = -4*w + 4*j + 32, 0*j - 10 = -w + 2*j. Suppose 2*a + 990 = 3*b, b = -4*b + 4*a + 1650. Suppose 334*c - b*c - 32 = 0. Which is smaller: w or c?
w
Let j(k) be the third derivative of 7*k**4/12 - k**3/2 + 8*k**2. Let y be j(-1). Let o = 18 + y. Which is greater: -2/23 or o?
o
Let u(q) = 8*q + 12. Let s be u(17). Let b = s + -82. Is b at most as big as 66?
True
Let p be (0*14/(-210))/((-4)/(-1)). Are p and -13.074 equal?
False
Let r = -379.1 - -61.1. Let z = -318.2 - r. Let n = 66 + -923/14. Is n > z?
True
Suppose -233*o = -229*o - 96. Let g = o - 22. Which is greater: g or 19/6?
19/6
Suppose 3*k = 3*v + 168, v = -10*k + 9*k + 52. Suppose 10*g - k = g. Which is smaller: g or 19/4?
19/4
Let b be 19154/(-6273) + 2 + 1. Let r = 2/369 - b. Let i = -199 + 1391/7. Is r smaller than i?
False
Let r(v) = v**3 + 18*v**2. Suppose 3*o + 2*n = -56, -21*o - n + 35 = -23*o. Let m be r(o). Is m smaller than -23/27?
False
Let i be (-91)/494*(-2)/(-7)*-45. Which is smaller: -3 or i?
-3
Let s = -43 + 399. Let n = s + -270. Is n less than 84?
False
Let t(x) = x + 9. Let w(s) = s - 12. Let j be w(-4). Let k be t(j). Let f be (4 + -8)/(-4)*k. Which is greater: -3 or f?
-3
Suppose -28*b + 26*b = -20. Suppose b*i = 779 + 1561. Is 234 >= i?
True
Let z(d) = -d - 16. Let w be z(-14). Let o = 12 + -10.1. Let l = 1.7 - o. Which is smaller: l or w?
w
Suppose 3237 = 4*x + 2*h - 1485, 5*h = 2*x - 2415. Are 1181 and x equal?
False
Let d be (-2 + 2)*7/28. Is d < -5/1419?
False
Suppose 43757 = 4786*a - 4457*a. Suppose g = -4*d + 535, g - 4*g = -9. Is a equal to d?
True
Let b be 2656/(-12) - (-169)/39. Does -217 = b?
True
Suppose 0 = -3*i + 4*m - 10154, -5*i - 2805 = -2*m + 14081. Is -3375 != i?
True
Let t(s) = s**2 + 99*s - 101. Let r be t(1). Which is greater: 6/1009 or r?
6/1009
Suppose 62*q - 56*q = 252. Let z be 329/12 + q/(-56). Which is smaller: 26 or z?
26
Let t = 36 - 46. Let u(i) = -2*i**3 - 4*i**2 + 12*i**2 - 20*i + 3*i**3. Let x be u(t). Is -2/261 != x?
True
Let c(p) = -18*p - 6. Let y be c(4). Let o = -80 - y. Let r be (-2)/9 + (-3)/9. Is r bigger than o?
True
Let j = 0.77 - -38.93. Let a = j + -36. Let h = -3.4 + a. Which is smaller: 2/31 or h?
2/31
Suppose w - 31 = -f + 302, 5*f - w = 1701. Which is greater: f or 340?
340
Suppose 2*q + 8*w - 32 = 0, 0 = -q + 2*w + 6 - 20. Which is greater: -21/5 or q?
q
Let c = -2815 - -2823. Suppose 0 = -6*t + 3*t. Let d be (-7 + t + 2)*-1. Which is smaller: c or d?
d
Let k = 104 + -52. Let m = k + -94. Let n be (-38)/m + (7 - (-22)/(-3)). Which is smaller: 2 or n?
n
Let x be 1 + (-13993)/(-6972) + 18/(-6)*1. Which is greater: x or 0?
x
Let x = -54 + 25. Suppose -15*y + 82 - 97 = 0. Is x <= y?
True
Suppose 3*b + 1083 = -0*b. Let g be (-7551)/21 - (-30)/(-70). Is b equal to g?
False
Let b be (-56)/(-2)*4/16 + (4871 - -100). Are b and 4977 equal?
False
Let i(f) = 2*f**3 + 5*f**2 - 4*f - 7. Let p be i(-4). Let k be 8580/(-225) - (-4)/30. Do k and p have different values?
True
Let p be ((-6)/(