. Suppose 9*d = j*d - 24. Does -6 = d?
False
Let q(k) = -k**3 + 8*k**2 - 10*k + 8. Let d be q(6). Suppose 60 - d = -8*y. Which is smaller: y or -23/4?
-23/4
Let o be 4910/84 + 14/(-49). Let l = -58 + o. Which is smaller: 1 or l?
l
Let o(u) = u**3 - u**2 + 1. Let l = -2 - -8. Suppose l + 0 = 2*h + s, 0 = 2*h - 2*s. Let c be o(h). Which is bigger: c or 3?
c
Suppose -2*u + 6 = -2*b, 8*b = 3*b + 4*u - 12. Suppose 8*g - 2*g + 102 = b. Suppose 0 = -5*t - 155 + 65. Which is greater: t or g?
g
Suppose -15 = -4*a + 9. Let q be (-35)/(-28) + a/8. Suppose -q*z = 5*w - 16, -z - w - 2*w = -10. Do z and -3/2 have different values?
True
Suppose -6 - 2 = -a. Suppose 4*l = q - 2 + a, -2*q - 2*l + 8 = 0. Let n be 2/1*(q - -3). Which is smaller: 9 or n?
9
Let k be (-259)/(-253) - (-14 + 9 + 6). Is 0 < k?
True
Let p = 0.07 - 2.67. Let s = -0.6 - p. Which is smaller: -5/6 or s?
-5/6
Let y(q) = -5*q**3 - 9*q**2 + 23*q - 2. Let r be y(3). Let w = -1638/11 - r. Which is greater: 1/4 or w?
1/4
Let n be (-57)/(-4) + (-36)/(-48). Suppose -3*q + c + 34 = 0, -5*q + 32 = -4*c - 13. Which is greater: q or n?
n
Let r(x) = x**3 + 11*x**2 + 2*x + 1. Let a(t) = t**2 - t - 1. Let z(f) = -2*a(f) - r(f). Let g be z(-13). Are g and -1/25 equal?
False
Let i be ((77/56)/11)/(-1 - 1). Is 9 >= i?
True
Let q = 174546/3655 + -812/17. Suppose 24 = -5*u + 29. Which is smaller: q or u?
q
Let x = 4.3 + -4.08. Let o = 0.78 + x. Which is smaller: o or -1/3?
-1/3
Let m = -0.294 - -130.294. Is m < 0?
False
Let s be 6*1*(-16)/(-8). Suppose 4*v + 5*y + s = 0, 5*v - y + 40 = -4. Let k be 12*2*2/(-6). Are v and k non-equal?
False
Let k = -9390 + 65837/7. Is 15 smaller than k?
True
Suppose q + 109 = 96. Do q and -162/13 have the same value?
False
Suppose 0 = -t - 2, 3*t - 2*t + 2 = -3*g. Let c = -30082/23 + 1308. Is g >= c?
False
Let h(v) = v**3 + 6*v**2 - 7*v - 5. Let w be h(-7). Suppose 0 = -o + 2 + 1. Let y be (o - -1)/(-8 + 7). Are y and w equal?
False
Let c be (-21)/28*2 - (-2)/(-4). Is c less than -4/7?
True
Suppose 5*u = 2*r - 25, 2*u = r - 3*u - 25. Let q(c) = -c**2 - 3*c + 1. Let x be q(3). Let v be 2*(x/(-8) + -2). Do v and r have the same value?
False
Let g(a) = -3*a + 53. Let j be g(16). Suppose 0 = j*c + 112 + 233. Is -70 greater than c?
False
Suppose 4*d + 80 = -0*d. Let s be 3 + 35/d - 2. Which is smaller: -2 or s?
-2
Let j(h) = 2*h - 7. Let u be j(4). Which is smaller: 13/9 or u?
u
Suppose -4*x - 71 = -3*r, 0*r - r + 28 = 3*x. Suppose -7*t + r = -12*t. Let i = 1030 - 5168/5. Is i equal to t?
False
Let b = -116/3 + 925/24. Let x(q) = -7*q - 5. Let d(l) = 8*l + 6. Let z(p) = 6*d(p) + 7*x(p). Let v be z(2). Which is bigger: v or b?
b
Let d = -93 + 139. Let q = d + -45. Is 19 equal to q?
False
Let g = 4 - 0. Suppose 9*s + 65 = g*s. Is s at most -14?
False
Let q be 2/1 + -3 + 1. Suppose q = 3*b - 3*g - 27, 5*b - 2*b + 13 = -5*g. Which is bigger: 14/5 or b?
b
Let v = -11 - -14. Suppose 0 = i + 4*b - 20, v*i = -2*i + 4*b + 4. Suppose -i*o + 0*o = 0. Is o greater than -1/14?
True
Let o = 7307/12 + -608. Let n = o + -31/24. Which is bigger: 1 or n?
1
Suppose 11*a = 9*a + 4. Suppose 8 = -4*f + a*f. Which is smaller: f or 2/9?
f
Let l = -1892 + 1891. Which is bigger: l or -11/65?
-11/65
Let v = 60.85 + -0.85. Let d = v - 60. Let f = 7 + -7.2. Which is greater: f or d?
d
Suppose -m - 42 = -4*m. Let o = -0.5 + -0.5. Which is bigger: m or o?
m
Let z = -11.92 + -6.68. Are -0.3 and z nonequal?
True
Suppose -134*c + 38*c = -60384. Is 628 smaller than c?
True
Let p = -3.08 - -0.08. Suppose 56 = -7*g + 7. Is g not equal to p?
True
Suppose 0 = r + 4*r - 30. Suppose 5*p = r*p - 2. Suppose -4*c = -m - 2, -5*c = m - 2*m - 2. Are c and p nonequal?
True
Let w(l) be the third derivative of -l**4/24 + 23*l**3/6 - 3*l**2. Let i be w(10). Which is bigger: 15 or i?
15
Let a = -30 + 17. Let t = 51.6 - 64.57. Let y = t - a. Which is bigger: y or -0.2?
y
Let g = -81 - -244/3. Which is smaller: g or -0.294?
-0.294
Let g be (-2)/((-5)/((-175)/10)). Let o be ((-4)/6)/(g/(-42)*10). Let v = -98 + 979/10. Which is greater: v or o?
v
Let l(b) be the second derivative of b**4/12 + 3*b**3/2 + 5*b**2 + 4*b. Let n be l(-8). Suppose 4*p + 94 = x - 0*x, 4*x - 40 = n*p. Which is smaller: p or -25?
-25
Let w be 5/4 + 10/(-8). Let l(q) = -3*q + 4. Let n be l(w). Let f = -2.05 - -0.05. Is n at least f?
True
Let o = 20.8 - 20.73. Which is greater: o or 0.05?
o
Let f be (-71)/355*(1 - (-1 + 2)). Let j = 136245/4 + -33879. Let x = -181 + j. Which is smaller: f or x?
f
Let s(q) = 12*q**2 - 99*q + 16. Let x be s(8). Is x less than or equal to 3?
True
Suppose 2*m + 57 = -5*w, -w + 2*m = -2*w - 13. Suppose 99 = -14*r + 3*r. Is w less than or equal to r?
True
Suppose k - 5 = 0, -3*z + 2*k - 74 = z. Suppose -2 = -2*i, -3*i = -3*d - d - 71. Is d at most z?
True
Let s = 901 - 17113/19. Are s and 0 non-equal?
True
Suppose 2*w = -5*l - 40, 3*w - 5*l + 22 = -63. Let j be -5 - -2 - (-11 + (9 - -24)). Is w < j?
False
Let j = -3 + 2. Let m(w) = 3*w**2 - 9*w. Let v be m(7). Let f = -429/5 + v. Is j <= f?
False
Let f = -2.1 - -2. Let g = -2871 + 2921. Is f greater than or equal to g?
False
Suppose 0 = -38*k + 31*k + 350. Is 50 greater than or equal to k?
True
Let c = 1.72 - 1.4. Let m = -0.1 + c. Let r = 0.32 - m. Which is smaller: 4 or r?
r
Let q = -751/2 - -3005/8. Let t be (9/6)/3*-36. Let w be 4/t + 4/18. Is w != q?
True
Let k = 99 - 96. Let z be (-2506)/(-3732) + 8/(-12). Let t = z + 11181/3110. Is t at least as big as k?
True
Let m be -7 - (-23)/((-207)/(-54)). Does m = 8.5?
False
Suppose 0 = 3*p + 12 + 42. Is p equal to -121/7?
False
Let f be -4 - (2 + 1/2). Let c = f + 7. Which is smaller: 9/2 or c?
c
Suppose -2*d = 2 - 6. Suppose 5*f = l - 4, 5*l + d + 5 = -2*f. Let j be l - -34*(-3)/(-90). Which is smaller: -1 or j?
-1
Let w be 20 - (0/(-1) + -1). Let z be (-12)/w*(0 - 1/2). Are 9 and z unequal?
True
Let i(n) = n**2 - 14*n - 8. Let l be i(14). Suppose -6*z + 4 = -4*z. Suppose -2*m - z*a - 6 = 0, 5*m - 6*a = -4*a - 50. Is m at least l?
True
Let s = 66 + -3039/46. Which is smaller: s or 1?
s
Let i = -436.9 + 437. Is i bigger than -0.153?
True
Let f = 0.55 + -0.632. Let r = 34.082 + f. Is r <= 0?
False
Let v be (1 - 2) + 2*1. Let h = -677/8775 + 1/325. Which is bigger: v or h?
v
Let d be (-8)/(-10) + -1 - (-658)/490. Is 4 at most as big as d?
False
Suppose s = -3*s + 3*b, 4*s = 4*b. Is -3/43 equal to s?
False
Let p(t) = -t**2 - 2*t - 15. Let a be p(-5). Let d be a/4*(-2)/(-13). Does -1 = d?
False
Let x(s) = -s**3 + 9*s**2 - 3*s - 20. Let v be x(5). Let d = v - 65. Which is bigger: d or -2/197?
d
Let x be (-1)/(3 + 4 - 984). Which is smaller: 1 or x?
x
Suppose 3*n = 5*f + 82 + 20, -3*n = -3*f - 102. Is n greater than 32?
True
Let g(u) = -u + 4. Let q be g(0). Suppose -4*i + q = -0. Suppose 0*t = -3*t + 9. Which is smaller: t or i?
i
Suppose -5*v + 6*v = 1. Let u be (0/(-5))/v + (-1)/(-2). Which is smaller: 5 or u?
u
Suppose -5*i = m - 0*i + 31, -4*i + 132 = -2*m. Let v = m - -390/7. Which is smaller: 33 or v?
v
Let k(f) = f**3 + 11*f**2 + 6*f - 8. Let o(y) = y**3 + 12*y**2 + 6*y - 8. Let n(t) = -4*k(t) + 3*o(t). Let w be n(-7). Let c = 2 - w. Is 5/4 less than c?
False
Let d be 1/((-4)/28) + -3. Let s be 1*2 - (d + 6 + 12). Are s and -7 non-equal?
True
Suppose 0*z + 2 = -5*d - z, 0 = 3*d + 5*z + 10. Let j be (-1345)/12*(-4)/(-10). Let q = j - -45. Is q equal to d?
False
Let c = 0.4 - 0.3. Let j = 1369/9 + -15077/99. Which is greater: j or c?
c
Suppose 0*b = -3*b - 69. Let p = 17 + b. Is 2/9 at most p?
False
Suppose 7 = 183*w - 176*w. Is 6/305 at least w?
False
Suppose 1050 = -6*g + 11*g. Suppose -5*b - g = -4*b. Let a be 24/b*5/(-2). Is 3 != a?
True
Let n be 0 - -2 - 14*(-840)/(-5877). Is 1 > n?
True
Let k = -192 + 203. Is 13 smaller than k?
False
Suppose c - 14 = -2*j - 3*c, 3*j + 2*c = 13. Suppose -j*a + 5*a = 3*f + 28, 2*a = 5*f + 20. Let u = -3 + 2. Is a < u?
False
Suppose 30 + 173 = -7*o. Suppose -g + 3*x = 28, -2*x = -3*x. Is o at most as big as g?
True
Let h(a) = -7*a + 40. Let l be h(8). Let f be (-10)/l*(-13)/26. Is f at most as big as 1?
True
Let m = -11/325 - 3/25. Let v be ((-4)/12)/(3/(-54)). Let t(a) = -a**3 + 5*a**2 + 5*a + 5. Let b be t(v). Which is bigger: m or b?
m
Let v = 125 - 42. Let n = v - 2404/29. Which is bigger: n or