26 equal to v?
True
Let o = -42/13 + 375/104. Suppose 4*d - 9 - 7 = 0. Suppose d*t = 3*t. Is o smaller than t?
False
Let c(x) = -x**2 + 3*x - 4. Let n be c(-4). Let s = -921 + 951. Let h = s + n. Which is greater: -9/4 or h?
h
Suppose 95*k = 75*k + 9980. Which is greater: -1 or k?
k
Let i = 0.4 - 0.5. Let u(z) = 2*z**2 + z**2 - z - 30 + 31 + z**2. Let d be u(1). Which is greater: i or d?
d
Let v = -129 + 129.071. Let f = v + 2.829. Is f less than 0.1?
False
Let j(i) be the first derivative of i**2 + 3*i + 8. Let z be j(1). Which is smaller: 8 or z?
z
Let p = -78 - -3820/49. Let t = 1 - 0. Is p > t?
False
Suppose 0 = 4*s + 110 + 26. Is -2.5 <= s?
False
Let z = 0.1 - 0. Let k = 198 - 198. Is k at most as big as z?
True
Let n = 5.77 - 18.77. Which is bigger: -14 or n?
n
Let b = -7 + 72. Let y = 65.1 - b. Suppose -5*h = -3*w - 4*h + 19, -3*h = 12. Is y less than w?
True
Let y be 3 - (-2 - (35/(-25) + -4)). Suppose 0 = -5*x + 4*g + 7, -13 = 2*x - 3*x - 5*g. Which is smaller: y or x?
y
Suppose 2*j - 5*l = -2*j + 138, 5*j - l - 183 = 0. Is 36 greater than or equal to j?
False
Suppose 7*l - 49 + 42 = 0. Which is smaller: -0.251 or l?
-0.251
Let p = 48/281 - 45579/261892. Which is greater: p or 0?
0
Let o = 8.5 + -10.83. Are -1 and o unequal?
True
Let n = 5 + 10. Let t be (-7)/(-4) + (-60)/(-48). Let s be -3 + t/(36/n). Are -2 and s equal?
False
Suppose 0 = 15*s - 17*s. Suppose -2*u - 2*y + 6 = -4*y, s = u - 3*y - 11. Is u <= -1/23?
True
Let r = -0.1 - -0.1. Let j = 4923.3 + -4923. Is j less than r?
False
Let h be (-3)/(-5)*(0 + 5). Suppose -8 - h = -q. Let o be 3*(q/3 + -4). Is -7/8 not equal to o?
True
Let n be (-2 + -34)/4*9. Which is smaller: n or -83?
-83
Suppose 0 = -15*q + 11*q + 120. Suppose 12*s + q = -18. Are s and -2 nonequal?
True
Let w = 2572/11 - 235. Let m = w - 5/33. Let x = 72 + -74. Is m at most as big as x?
False
Let f be -1*1/((-1)/(-6)). Let w = 154/1457 + -8/47. Let x = w - -35/62. Is f <= x?
True
Suppose 3 - 6 = t. Let p be (-2)/t*(-6)/(-166). Is p <= 0?
False
Suppose 3*u = 6, 4*q + 2*u + 126 = 5*u. Does -27 = q?
False
Suppose 0 = 5*t - 17 + 2, -4*t - 20 = -m. Suppose 0 = x + 3*x - m. Suppose 0*o + x = -2*o. Is o >= -3?
False
Suppose 2 + 1 = 3*t. Let o be (-24)/(-15) - (0 + t). Let m(y) = -y. Let r be m(-2). Which is bigger: r or o?
r
Suppose 0 = -19*w - 19 - 0. Let b = 0.6 - -0.4. Let c = b + 0. Is w less than or equal to c?
True
Let v = -789 + 802. Which is greater: v or 2?
v
Let o be 5*(-2 + 3 + -2). Let r(t) = -t**2 + 4*t + 10. Let h(b) = 3*b**2 - 11*b - 29. Let l(k) = -6*h(k) - 17*r(k). Let x be l(2). Which is smaller: o or x?
o
Let h = 200 - 199.86. Which is smaller: -2 or h?
-2
Let q = -10.1 + 0.1. Let r = 10 + q. Is r at least 17/3?
False
Suppose 2*z + z - 36 = 0. Let b(r) = 2*r**2 - 6*r + 5. Suppose 2*o = -3*h - 7, 0 = -3*o - 0*o - 3*h - 3. Let w be b(o). Which is smaller: w or z?
z
Let c(y) = 4*y - 44. Let z be c(14). Let p = 22 - z. Which is bigger: p or 9?
p
Suppose -q - 3*q = 564. Let c = q - -135. Let a be (4/6)/(1/(-6)). Is a bigger than c?
True
Suppose -23*x + 26*x = 0. Let l be (25 - 11) + (x - -1). Is 16 bigger than l?
True
Let x(q) = -q + 33. Let k be x(40). Let s(p) be the second derivative of -p**3/2 + 2*p. Let n be s(2). Is n greater than k?
True
Let x = 49 + -6. Suppose 0 = -4*q + q - 3*i + 147, 0 = -3*q - i + 137. Is x greater than q?
False
Suppose 0 = -4*x - 57 + 13. Which is bigger: x or -7?
-7
Suppose 0*w - 2*w + 68 = 2*j, 3*j - 126 = 5*w. Let v = 31 - j. Is v equal to 6?
False
Let u = -115/4 - -39/2. Which is smaller: 5 or u?
u
Let y = 0.2326 - 0.1552. Which is smaller: -2/7 or y?
-2/7
Suppose -3*f = -2*f + 1. Let i be ((-50)/(-210))/(3/(-7)). Which is smaller: i or f?
f
Suppose -3*l - 3*t + 744 = 0, -2 = t + 3. Suppose -5*k - 5 = 0, -4*f - 5*k = -0*k + l. Is f >= -61?
False
Suppose -p + 3 + 26 = 0. Suppose -p = -2*r - 5*d, -4*d - 6 = -18. Suppose 3*h - 3*k - 22 = 2*k, 2*h + k + r = 0. Are h and 1 non-equal?
True
Suppose 2*q + 44 - 212 = 0. Let w = -44 + q. Suppose 4*h - w = -2*z + 5*z, 2*z = h - 20. Is z != -5?
True
Let r(d) = -9*d + 12*d**2 + d**2 + 11*d**2 - d**3 - 34*d**2. Let a be r(-9). Which is greater: a or 3/4?
3/4
Let m = -74.7 + 51.46. Let r = m + 23. Which is smaller: r or 2/7?
r
Suppose 4*x = l + 14, 0 = 3*l + 13*x - 11*x + 42. Let y(c) = -c - 6. Let o be y(8). Let f be 17 + l + o/4. Which is smaller: f or -0.15?
f
Let a = -12847/3 - -4161. Is -1 smaller than a?
False
Suppose -20 = 4*a, -5*i - 5*a - 95 = 75. Is -30 bigger than i?
False
Let h = -1 + 2. Suppose -u - 3*b = -2*u + h, u + 4 = -2*b. Which is greater: -3 or u?
u
Let h be -25 + (2 - 1)*-3. Let k be 4 - (108/162 + (-194)/(-6)). Which is smaller: k or h?
k
Let a be 2/(-13) + 18/(-390). Let j be (-24)/12*1/3. Is a <= j?
False
Let b = -0.027 - 57.973. Let p = 55 + b. Which is smaller: 5 or p?
p
Let o be (2 + 23773/(-15203))*-1. Let f = o + 1/661. Which is smaller: -1 or f?
-1
Suppose -4*f = -2*i - 0*i - 18, 5*i + 3*f - 20 = 0. Let h(v) = v**3 - 6*v**2 - 6*v - 6. Let u be h(7). Is u bigger than i?
False
Let w = 73 - 73. Suppose -d - b + 7 + 22 = 0, 2*d - 2*b - 46 = w. Do d and 26 have different values?
False
Let n be (-1 - (-188)/53)*(-18)/(-54). Let v = -586/371 - n. Is v at most -1?
True
Let p = 8571/22 - 389. Which is greater: 1 or p?
1
Let p(s) = s**3 - 13*s**2 + 16*s - 4. Let q be p(13). Do q and 0 have the same value?
False
Let s = -68 + 71. Suppose 3*o - 17 = -5*z, z - s*o = -7*o + 17. Do z and 14/13 have the same value?
False
Let c = 274.827 - -0.173. Let m = -271.94 + c. Let f = m - 0.06. Which is bigger: f or 2?
f
Let b be (-710)/(-60) + -11 - 2441/6. Is 2/9 greater than or equal to b?
True
Let g be 9 + 1*-1 - 1. Let q be (-7 + (-385)/(-49))/((4/(-21))/(-2)). Which is greater: q or g?
q
Let x = 20 + -20. Let t be ((-15)/(-90))/((-33)/6). Which is smaller: x or t?
t
Let g = -8.2 + 1.6. Let d = g - -7.6. Is 45 at least d?
True
Suppose 0 = -30*d - 69 + 279. Let l = -4 + 7. Suppose 15 = l*c - h, c = -3*h - 0*h + 15. Which is greater: d or c?
d
Let p(q) = q**2 + q - 4. Let s(w) be the first derivative of w**2/2 - 3*w - 3. Let r be s(0). Let o be p(r). Which is bigger: 7/3 or o?
7/3
Let q be (-564)/(-150) + 0/2. Which is greater: q or 4?
4
Let o be 1/(-3) + 112/21. Suppose o*z + 1274 = 94. Let p be z/13 + (-16)/(-104). Are p and -18 equal?
True
Let k = -0.01 - -8.01. Let t = -7 + k. Let g = 1 + -0.1. Which is bigger: g or t?
t
Let a = 353.67 + -352. Let i = 0.53 + a. Are i and 0 nonequal?
True
Suppose 0 = -5*i - 81 + 211. Suppose 195 = 5*d + 60. Which is bigger: i or d?
d
Let g = 19 - 7. Suppose -3*o = o - g. Suppose -o*t - 5*y - 33 = -6*t, 0 = 5*t - 4*y - 42. Is t at most 6?
True
Let s be ((-60)/35)/6 + 2/7. Suppose b - 5*t - 3 = 0, -12 = 3*b - 7*b + 5*t. Suppose 5*i = -3*f - 19 - 5, -4*i - b*f - 21 = s. Which is greater: -2 or i?
-2
Suppose 0 = -2*r - 0*k - 4*k - 12, -5*r - 15 = 5*k. Suppose r = -3*c - u + 2*u - 32, -2*c - u - 28 = 0. Let j = -12 - c. Which is smaller: 1 or j?
j
Let k be 88/616 - 134/(-434). Is k not equal to 0?
True
Let p = 15.2 + 7.8. Is p > 6?
True
Suppose 3*o - 4 = 5. Suppose -39 + 36 = o*c. Is c at most 4/63?
True
Let q = -1096.7 - -1097. Let w be 615/(-18)*(-6)/20. Let l = 10 - w. Is l < q?
True
Let g(p) = -p + 18. Suppose -12 = -v - 3*t, 0 = -2*t - 2. Let b be g(v). Suppose -4 = -4*r - b*j, -j = 5*r - 2*j - 5. Is -3/8 bigger than r?
False
Let d be (-1 - -3)*-1*(3 - 5). Suppose l + 48 + 16 = -d*i, -l = 5*i + 79. Is i bigger than -19?
True
Let f = 0.648 - 0.68. Let c = -0.168 + f. Which is bigger: 0 or c?
0
Let q be 4/14 - 8/28. Let f be (-3)/9 - (-56)/204. Which is greater: f or q?
q
Suppose 0*y - 60 = 4*y. Suppose 6*l + 78 = -12. Is l greater than or equal to y?
True
Let y be 3*(3 + -4) + -915. Let x be y/30 - 8/20. Which is bigger: -32 or x?
x
Let i = -21/86 + -1/172. Let h = -4 - -3.7. Let k = h + 0.4. Do k and i have the same value?
False
Suppose 0 = -15*b + 63 + 462. Is 37 > b?
True
Let p = -53 + 40. Suppose -3*n - 5*x + 25 = 0, -2*n + 4*n + x = 5. Suppose -u + n*u = 14. Which is greater: u or p?
p
Suppose -2*p - 104 + 2 = 0. Let h be (-34)/p*6/10. Is h equal to 29?
False
Suppose -24*x - 10 = -h - 26*x, -x = 3*h - 30. Is h > 8?
True
Let q be (-6)/30 + 16/5. Let x(p) = 7*p - 4. Let u be x(q). Suppo