-5*u + s. Let g = -28/551 - -3/29. Which is smaller: u or g?
u
Let w = -7 - -10. Let u be 5 + 39/(-6) - 9/(-2). Suppose -u*k - w = -6. Is k < 1/22?
False
Let w(v) = -2*v - 9. Let r be w(-4). Let u = 1 + r. Suppose u = -5*q + 1 + 64. Is q less than 12?
False
Let w = 22.26 - 23. Let o = w + 0.37. Let c = o + -2.63. Which is bigger: 1 or c?
1
Let m be (((-104)/(-8))/13)/(0/(-4) - 1). Let l be (2/475)/(2/(-10)). Is m smaller than l?
True
Suppose -1358 = -8*i - 382. Is 122 equal to i?
True
Suppose 13*m = -5*m + 108. Let v be (m + -5 + -2)*1. Let i = 6165/11 - 560. Which is bigger: i or v?
i
Let g = 21.08 - 21.08. Let x = -23 + 68/3. Do g and x have the same value?
False
Suppose 13*q - 1240 = -18*q. Is 37 less than q?
True
Let v(q) = 4*q**2 + 6*q + 4. Let w be v(-4). Suppose -g + x + 1 = 0, -2*g - w = -6*g - 4*x. Which is smaller: 1 or g?
1
Let p = -2281/5 + 16879/37. Let u = p + 3893/740. Which is smaller: 6 or u?
u
Let u = 2.7 - -22.3. Let t = -966.2 - -966. Which is bigger: u or t?
u
Let w(o) = 12*o - 20*o - 2 - 2*o**2 + 12*o + o**3. Let y be w(2). Let j be 2/3*y/12. Which is smaller: j or 1/2?
j
Let s = -722.3 - -722. Which is smaller: s or 125?
s
Suppose -49*y + 36*y = 117. Which is smaller: y or 0.4?
y
Let j = -4842.06 - -4802. Let y = j + 40. Is -2/11 at most as big as y?
True
Let a = 577 + -575. Which is smaller: 32/13 or a?
a
Let i be 1*-1 - 146/(-105). Let k be (-378)/(-1575)*(-40)/(-18). Let n = i - k. Which is smaller: 3 or n?
n
Let f = -956 + 840. Is -577/5 <= f?
False
Let u(c) = 2*c**3 + c**2 + 2*c + 2. Let y be u(-2). Are y and -163/11 non-equal?
True
Suppose 2*l - x = 3, -2*x = 3*l + 6 + 7. Let j be (l/(2/(-2)))/(-3). Let o = -42.1 - -23.1. Is j bigger than o?
True
Let y(n) = 16*n + 124. Let k be y(-8). Let x(i) = -5*i + 3. Let c be x(-5). Let b be c/(-5) + 2/(-5). Which is bigger: k or b?
k
Let s = -0.1 - 1.4. Let v = -6.5 + s. Let p = -523 + 1568/3. Do v and p have the same value?
False
Let t = 92 - 94. Let j be t/8*(-48)/18*3. Which is smaller: j or 1.1?
1.1
Suppose -t + 0*t = 5*a - 32, t = -4*a + 28. Let y = -14 + t. Is y equal to -7?
False
Let z = -283/4 + 3089/44. Are 71 and z equal?
False
Let x = 167/2 + -2175/26. Let c = -2.7 - -4.7. Is c >= x?
True
Let l = -5 + 8. Let s be (-728)/168 - (-6 + -1 + 1). Do l and s have the same value?
False
Let t(u) = -2*u**3 + u**2 - u + 2. Let l be t(-2). Suppose -l = -0*s + 4*s. Let q = 11 + s. Is q at most as big as 4?
False
Let l = -6 - 27. Let q = -119 + 85. Is q smaller than l?
True
Let q = -60.1 + 60. Let o = -0.9 + q. Is 65/3 <= o?
False
Suppose 3*u + 7 = 16. Suppose 4*y = b + b + 18, -u*b = -5*y + 22. Let n be 16/30 + (-1)/y. Does 1 = n?
False
Let g(j) = -4*j**3 + j**2. Let n be g(1). Let c be (4/n)/(6/(-126)). Let s = -28 + c. Is 2/13 smaller than s?
False
Let b = -3602 + 3597. Let f(i) = -i. Let d be f(-4). Let j be 18/(-4)*d/3. Does j = b?
False
Let n = -0.192 + -9.808. Is 0 != n?
True
Suppose 0 = h - c - 28, -3*c - 81 = -3*h + c. Are h and 31 non-equal?
False
Let k = -12547 + 113357/9. Which is smaller: 48 or k?
48
Suppose 2*a - 5*m + 2 = 1, m = -3*a + 7. Let h be -1 + 18 - (-2 + a + 0). Are h and 18 equal?
False
Let o = 132539/6580 + 1/6580. Do 19 and o have the same value?
False
Suppose 4*h - 3*p = 0, -4*h + p = 2*p - 16. Suppose 0 = 3*l + x + 8, -2*l + 0*l - 10 = 3*x. Let j be (-33)/(-18) + l/(-4). Is j less than or equal to h?
True
Suppose -5*b - 8 = 32. Let f(j) = 2*j**2 + 16*j - 1. Let z be f(b). Which is greater: 2/71 or z?
2/71
Let y(t) = -69*t - 275. Let n be y(-4). Is n equal to -3/40?
False
Let i = -425 + 4669/11. Are i and 0 equal?
False
Let h = -163/14 + 7741/42. Are h and 173 nonequal?
True
Let o(z) = 2*z**3 - z**2 - 3*z + 5. Let k be o(4). Which is smaller: k or 0?
0
Suppose -6*t + 4*t = 2. Let l be 24/30*(-15)/2. Let m be 2/(-2 + 4/l). Is t at most m?
True
Let c(y) = -2*y**2 + 13*y - 4. Let q be c(6). Suppose 5*h = -q - 3. Which is smaller: h or -7/3?
-7/3
Let i = -107 - -100. Let o be ((-84)/(-18))/i + -1*2. Which is bigger: 0 or o?
0
Suppose 12*h - 3103 + 1063 = 0. Are h and 172 nonequal?
True
Let b = 52 + -42. Let s = 9.951 - b. Which is smaller: s or 0?
s
Suppose 0 = -3*k - 2*k - 35. Let a(d) = d**3 + 9*d**2 + 16*d + 3. Let l be a(k). Is l >= -12?
True
Let z = 0.8 - 0.6. Let d be (0 - 2)/(3/(9/(-21))). Is z > d?
False
Suppose 40 = -13*p + 66. Suppose -y + 2 = 3*b - 1, 0 = -4*b + 2*y + 4. Which is bigger: b or p?
p
Let s(c) be the first derivative of 7*c**2/2 - 6*c + 8. Let f(t) = -6*t + 6. Let d(v) = 5*f(v) + 4*s(v). Let m be d(3). Which is smaller: 1/45 or m?
m
Let a be (-37)/(-222)*30/7. Let g = -0.002 + -0.298. Do a and g have different values?
True
Let c = 503 + -508. Which is bigger: c or 33?
33
Let n be 2/9 - (-2)/18. Let p = -10 - -14. Let w(s) = s**2 - 4*s. Let d be w(p). Which is greater: d or n?
n
Suppose 1 = -b + 2. Let w be b/(1 - 2/(-3)). Let x = -4 - -4. Do w and x have the same value?
False
Let k = 68 - 65. Suppose k*n - 10 = 13*n. Let a be ((-2)/2 - -2)/(-2). Which is bigger: a or n?
a
Suppose 0 = 3*q - 8*q. Suppose 2*l + n - 2 = q, 0 = -4*l + 2*n - 3 - 9. Let c be (9/6)/(3/(-8)). Is l at least as big as c?
True
Suppose 4*s = -5*p + 33, 0*s - 4*s + 2*p = -54. Suppose 0 = 11*y - s*y. Is 1/5 greater than or equal to y?
True
Let r = 13/7 + -101/28. Let s(f) = -f**2 + 8*f + 152. Let u be s(-9). Is u at least as big as r?
True
Let n be 267/21 + 6/21. Let a = 6 - n. Which is smaller: -5 or a?
a
Let c = 234 + -224. Which is greater: 8 or c?
c
Suppose -3*l + 5*a + 638 = 0, -l + 9*a - 14*a + 246 = 0. Is l at least as big as 220?
True
Let u(z) = -z**2 - 2*z + 22. Let n be u(-5). Let t be 28/49*n/(-3)*-6. Is 10 less than or equal to t?
False
Let i be 6721/94*(-6)/10. Which is bigger: -44 or i?
i
Suppose -2*y + 3*w - 14 = 0, -6*y = -5*y - 5*w + 21. Let r = 19 - 549/29. Which is smaller: y or r?
y
Let g = -0.88 + -0.12. Let d = -240 - -239.5. Which is bigger: d or g?
d
Suppose 2*l = 2*k - 30, -11 + 83 = 5*k - 4*l. Let y = 12 - k. Let m be ((-3)/(-15))/((-24)/10). Which is bigger: y or m?
y
Let l(r) = -r + 1. Let i be l(-4). Suppose -4*q + 17 = -o, o + i = -4*o. Suppose 3*p - q*p = 0. Which is greater: p or 0.6?
0.6
Suppose -4*c + 13 = -n, -4*c = -0*n - 2*n - 14. Let k be (n - 10/(-6))*(-75)/(-2225). Do 1 and k have the same value?
False
Let z(s) = 3*s**2 + s. Let y = 27 - 29. Let b be z(y). Is b != 1?
True
Let j = 25988/2331 - 78/7. Which is smaller: 0 or j?
0
Let n(t) = -3*t - 36. Let m be n(-14). Let z(v) be the third derivative of -v**6/120 + v**5/15 - v**3/6 + v**2. Let o be z(3). Which is greater: m or o?
o
Let c = -58 - -60. Let z(k) = k**3 - 3*k**2 + 4*k - 4. Let a be z(c). Is -2 at most a?
True
Suppose 10 = -2*b, -2 = -f - 2*b - 6. Suppose 0 = -k - 0*k - f. Do k and -5 have the same value?
False
Let q = 3352/33 - 308/3. Suppose 3*g - 5*w = 0, -2*g - g = 3*w. Which is smaller: q or g?
q
Let c = -10 - -17. Suppose 2*w + 7 = 5*q - 15, -5*q + 3*w = -23. Suppose q*l + 11 - 46 = -r, -3*r = l - 17. Which is smaller: c or l?
c
Let x be -2*(-27 + (2 - 0)). Let r be ((-13)/(20 + 19))/(2/(-300)). Is r greater than x?
False
Suppose 5*b + 14 = a - 10, 3*b + 17 = -2*a. Which is bigger: 4/711 or a?
4/711
Let c = -1.938 - -1.9472. Which is greater: c or -2/9?
c
Let b(z) = -78*z - 50. Let i be b(-1). Is 32 at least as big as i?
True
Let r(i) = 70 - i**2 - 50 - 34 + 10*i. Let x be r(9). Is x at most -6?
False
Let o = 6.17 - 6.07. Which is greater: o or -1/2?
o
Let g = 46 + -45.898. Is g != 0?
True
Let s be (22/(-30) - 0) + 42/105. Suppose 0 = -0*t + t - 44. Let x be 2/t*-2*2. Which is greater: x or s?
x
Let n be -3 + -14 - (-6 + 5 + 5). Let q(d) = 5*d - 1. Let j be q(-4). Does n = j?
True
Suppose 0 = -2*t - 6*t. Do t and -2/1831 have the same value?
False
Let v(j) = 3 - 4 - 1 - 28*j. Let u be v(1). Is u greater than -29?
False
Let i be 40/(-36) - 2/(-18). Which is greater: i or -1/223?
-1/223
Let a(r) = -17*r - 188. Let t be a(-11). Which is greater: -2/185 or t?
-2/185
Let y = 377.8 - 346. Let a = y + -33. Which is smaller: a or 2/3?
a
Let o = 22 - 19. Suppose -o*q + 6 = -q. Suppose 3*d - 2*d + q*j + 12 = 0, 0 = -3*d + 4*j - 10. Which is smaller: d or -4?
d
Let d = 33.28 + -1.53. Let y = d + -0.75. Let g = y - 30. Which is bigger: -11/5 or g?
g
Suppose -3*t - 2*