et r = f - 6. Is r greater than -6/17?
True
Let c = -4/303 - -7898/1515. Do 4 and c have different values?
True
Let n be (-9)/(-1) + (-6225)/375. Let w(d) = 4*d - 3. Let x be w(4). Let t = x - 20. Is t less than or equal to n?
False
Let v = -8720/3 - -2938. Does 32 = v?
False
Let g be -1 - -5 - 175/15. Let c = 8 + g. Is 0.1 less than c?
True
Let v(g) = -g**3 + 8*g**2 - 15*g + 57. Let m be v(7). Is m less than 7/5?
True
Suppose -52*i + 48*i = 44. Let p(m) = -9*m**2 + 4*m - 3. Let r be p(2). Let q = r - -21. Is i >= q?
False
Let g = -288 - -112. Is -2/5 >= g?
True
Let x(t) = t**3 - 4*t**2 - 2*t + 5. Let g be x(5). Suppose g = -b + 3*b. Let a = -8 + 18. Is b smaller than a?
False
Let d be 7/(-21) + (-2)/3. Let u be (-2 + (-12)/(-4))*2. Suppose 0 = u*j + 2. Is j at least as big as d?
True
Let y(a) = -5*a - 15. Let k be y(-5). Which is bigger: 11 or k?
11
Suppose m + 3*z = 1 - 2, -5*z = 25. Let j be 6/m - (-864)/(-1232). Let u = j - -43/77. Which is smaller: u or 34?
u
Let l = -121 - -117. Suppose -5*c + 2*s - 13 = 0, 10 + 1 = -4*c + s. Is l < c?
True
Let a = 0.1 - -2.9. Let z = 26 + -45. Let y be z/19 - (-7)/9. Do a and y have the same value?
False
Let t = 126589/344 + -368. Let o = t + -607/9288. Suppose 5*n + 1 = -3*d - 5, -2*n = -2*d - 4. Is o >= n?
False
Suppose 0 = -m + 4*m - 3. Suppose -2*y = -y + m. Let u = -79 + 555/7. Which is bigger: y or u?
u
Suppose -5 = f - 9. Suppose -5 = -f*y + 3*y. Let r = -1 + y. Which is smaller: r or 1?
1
Let n(q) = q**3 + q**2 + 1. Let z be n(0). Which is smaller: z or 13/6?
z
Let l be ((-8)/30)/(54/10). Suppose 25*k + 11*k = k. Which is smaller: l or k?
l
Let j = 34.0223 - 0.0223. Is 6 bigger than j?
False
Let u = -4 + 1. Let y(g) = -2*g**3 - 5*g**2 - 6*g - 3. Let j be y(5). Let v be 48/j + (83/(-17))/1. Which is greater: u or v?
u
Let s(f) = -f**2 - 2*f - 1. Let z be s(-4). Let l = 6 + z. Let h be (-58)/16 + (-75)/200. Which is smaller: l or h?
h
Let m = 0.34 - 13.34. Let y = m + 30. Are 2/9 and y non-equal?
True
Let b(d) = -18*d - 2*d**2 - 2*d**2 + d**3 + 5 + 24*d + 9*d**2. Let n be b(-5). Is -49/2 less than n?
False
Let m = 0.41 - 0.331. Which is greater: 1 or m?
1
Let v be (3 + -4)/(1/(-11)). Let r be 6 + -3 - 4 - v. Is -11 equal to r?
False
Let s(h) = 5 + 7*h - h + h - h**2 + 5. Let i be s(8). Let z = i - 3. Which is smaller: -7/4 or z?
-7/4
Let f = 1341/20 + 671/4. Let b = 233 - f. Let i = -2 + 1.9. Is b bigger than i?
False
Let n = 0.25 - 0. Let h = n - 0.15. Let x = h + 0.01. Which is smaller: x or 1?
x
Suppose 0 = -5*b + 3*i + 19, 2*b + i - 3 + 2 = 0. Suppose b*t + 319 = t. Let w = t - -7334/23. Do w and 1 have different values?
True
Let c be 3*1 - (-5 - -11). Let g = 0 - c. Suppose -g*v = -8 - 7. Which is bigger: 6 or v?
6
Let v = 2.2 + -2.9. Let h = 0.6 + v. Is 3/8 at least as big as h?
True
Let f be 27/(-63) + 3294/42. Is f not equal to 58?
True
Suppose 2*k - 6 = -0, 0 = -2*g - 5*k + 27. Let u be -1 - (7206/(-5670) - g/(-21)). Are u and 0.1 non-equal?
True
Let g be 1*2*(-1)/(-2). Let b be (-4)/(-55)*-5*g/(-2). Let w(q) = q**3 + 6*q**2 + 6*q + 5. Let j be w(-5). Is b > j?
True
Let c be 2*(-2)/(-14) - (-310)/(-7). Suppose -3*i + 0*i = 138. Which is greater: i or c?
c
Let s = -25 + 24. Let z be (s/(-2 - -1))/1. Suppose 3*i - 7 = 2*a, -4*i - a + 1 = -z. Which is greater: i or -3/25?
i
Suppose -4*b = -6*b - 9*b. Suppose -5*y + b*y = -255. Is 52 at most y?
False
Suppose 21*g + 6 = 15*g. Is g less than -4/47?
True
Let b be 28/238 - 382/4114. Is 1 > b?
True
Suppose 10*r = 12*r + 120. Is -61 at least as big as r?
False
Suppose -5*y + 3*o = -0*y - 158, -y = 4*o - 27. Which is greater: 30 or y?
y
Let h = 32.2 - 31.793. Which is bigger: -1 or h?
h
Let z = -216 + 79. Let h = 127 + z. Which is smaller: 3/4 or h?
h
Suppose -3*u - 15 = -0*u. Let g be (u/15)/(2/(-18)). Let v be (2 - g/2)*-6. Are -3 and v nonequal?
False
Suppose -429 = -14*h - 9. Is 32 > h?
True
Let p = 0.0275 + -0.0675. Is -7 less than or equal to p?
True
Let u be (6/(-9) - 0)*(0 + -3). Suppose 0 = w - u*t + 12, 4 = 4*w + 4*t - 8. Is -2 > w?
False
Let z = 199 + -247. Which is smaller: z or -46?
z
Let g = 342 + -208. Let h = g + -134.2. Let z = -10.82 + -0.18. Which is greater: h or z?
h
Let i be (-2)/(-7) + 6*(-6)/77. Let k = 0.07 + -0.13. Which is greater: i or k?
k
Suppose -3*v = -5*g - 18, 3*g - 3 + 9 = v. Let t be 79/4 + v/(-8). Are t and 19 unequal?
False
Let w(o) be the first derivative of -o**3/3 - 9*o**2/2 + 12*o + 2. Let m be w(-10). Suppose x + m*x = -36. Is -13 at most x?
True
Let d(k) = -5*k**3 + 8*k**2 + 3*k + 2. Let q be d(2). Which is greater: q or 9/268?
9/268
Let z = 239 + -473. Let l = z - -6784/29. Which is smaller: l or -1?
-1
Let l be (-1)/(2/6)*(-48)/72. Let v be 2/(-4) + 69/6. Suppose -10 = 5*g, 0*g + 5*g + v = w. Which is smaller: w or l?
w
Let m = -8.4 + 12.4. Suppose 0 = -z + 5*u + 20, 4*z = -0*u + 2*u + 98. Suppose -2*c - c - 5*j = -25, -5*j = 4*c - z. Which is bigger: c or m?
m
Suppose -173 = -34*m - 139. Which is bigger: m or 42/43?
m
Let p be -11 + 9 - 4/2. Let n be 4/(p/(-2) - 4). Which is smaller: n or -10/7?
n
Suppose 0 = -2*r + n + 3, -r + 2*n + 3 = 6. Is r greater than 2?
True
Let l(t) = 0*t + 3*t + 2*t + 10. Let z be l(-8). Let u = z + 209/7. Which is smaller: u or -1?
-1
Suppose 5 = -4*s + 13. Suppose 5*h = -5*r + 10, -h = -7*r + s*r + 10. Let w = 7/16 - 1/112. Is h at least w?
False
Let j = -1136 + 1134.978. Let f = j - -0.022. Do 4 and f have the same value?
False
Let q = -222 - -97. Which is smaller: 1/4 or q?
q
Let x(w) be the third derivative of -w**5/15 - w**4/4 + 2*w**3/3 - 9*w**2. Let o be x(-3). Let f be (-24)/42 - 4/o. Do 0 and f have different values?
True
Let n be (0 - 1)/4*4/1. Suppose m = 5*k + 11, 3 = 4*m + k + 1. Let j be ((-6)/(-56))/(m/4). Which is smaller: j or n?
n
Let o = -21 - -31. Suppose -4*u - 8 = 5*x + o, 0 = 3*u + x + 19. Let z be 3/(-9) + u/(-21). Is z at most 1/2?
True
Let g = -469.8306 - 0.1694. Which is bigger: g or 3?
3
Let i be (14/28)/(28/16). Let r = 1451 - 5839/4. Is i not equal to r?
True
Let j(h) = 166 + 139 - 284 - 37*h. Let w be j(2). Do w and -53 have different values?
False
Suppose -4*a - a = -4*l + 15, -5 = -l. Let y be 20/(-6) + (a/3)/1. Which is greater: y or -24/13?
-24/13
Let n = -105 + 105.01. Let u = n - -0.29. Is u > 2/15?
True
Let b = -2070 - -2071. Is b at least 1/299?
True
Let m(a) = 3*a**2 + 3. Let p be m(-2). Let h be 1/((-15)/(-6)) - (-354)/p. Is h at most as big as 24?
True
Let q = -0.07 - -1.01. Let g = -0.84 + q. Which is smaller: -91 or g?
-91
Suppose -5*f = -2*r + 10, -4*r = -3*f - 17 - 3. Suppose 3*h - 2*h - 20 = f. Let w = h + -28. Which is smaller: -7 or w?
w
Suppose 21 = 5*b + 2*b. Let y be b/15 + 35/(-50). Is y bigger than -7?
True
Suppose 0 = 3*t - 5*o - 458, 2*t = 4*t + 3*o - 318. Are t and 155 non-equal?
True
Let h be (-14)/8 - 9/36. Let i be (-32)/(-5) + 4/(-10). Let z = i + -8. Are h and z equal?
True
Let z be 4/(-6)*(-300)/(-160) + 0. Let x be (2 - 2)/(-5 - -4). Which is smaller: z or x?
z
Let q(f) = f**2 + 11*f + 10. Let i be q(-9). Let s be 4/(-10) + i/(-10). Let y be (3 + (-14)/4)/(3/(-6)). Are y and s non-equal?
True
Let t = 0.006 - 2.306. Let c = t + 0.8. Let u = c + -0.5. Which is bigger: -6 or u?
u
Suppose 0 = -966*g + 957*g + 306. Do g and 0.4 have the same value?
False
Let t = 3.9 - 5.1. Let f = -2.4 - t. Is f at most as big as 1/4?
True
Let v(b) = 9*b + 12. Let n be v(4). Suppose 5*h + n + 27 = 0. Which is bigger: -16 or h?
h
Let x(w) = -w**3 - 4*w**2 - 2*w. Let s be x(-3). Let m(u) = 22*u - 17*u - 6 + 8 + 6. Let l be m(-2). Which is smaller: l or s?
s
Let c = -9.6648 - 0.0352. Is -2/11 < c?
False
Suppose -2*j + 0 = -2, -3*h = 3*j + 42. Let y be 48/h - (7/5 + -1). Which is smaller: -4 or y?
-4
Suppose -23*i + 9 = -2*a - 26*i, -2*a + 3 = -i. Is a less than or equal to 1/1242?
True
Let y = 2 + -1. Let u be (2 - 2)/(y + 1). Let f = 7382/23 - 321. Do f and u have the same value?
False
Suppose 7*j = 4*j + 72. Let z be 2/6*(-90)/j. Let d(p) = -p + 8. Let g be d(9). Is z not equal to g?
True
Let w = -22647 + 22647.3. Let r be (-222)/91 + (-2)/(-7). Let f = r - -114/65. Is w at most as big as f?
False
Let t be (16/3)/(-8) - 1568/(-2370). Which is smaller: -1 or t?
-1
Let d be 77695/(-6)*28/(-1460). Let o = d + -745/3. Let k = o + 285/