7 = -3*x + 6*j. Let o be (0 + 1)/(73/(-2)). Which is smaller: x or o?
x
Let k = -58 + 48. Let t = 8 + k. Which is smaller: t or -8/15?
t
Suppose 5*x + 3*a = -741, 3*x = -a - 404 - 39. Is x smaller than -146?
True
Let c be (30 - 2)*2/24*6. Is c at most as big as 7?
False
Let i = -255 - -248. Is 55 smaller than i?
False
Let y be 1*(-1 - (0 + 0)). Let w be 1 - -2 - 107934*(-6)/603. Let c = w + -1077. Is y at least as big as c?
False
Let w = 1618 - 1160. Is 460 > w?
True
Suppose -3 = 3*s - 2*s - 5*l, -2*s + 5 = l. Suppose 0 = 4*y - 5*z - 12, 0 = 3*y + s*z - 4 - 5. Suppose 0 = -y*f + 1 - 25. Is -8 less than or equal to f?
True
Let f be (3/1)/(18/12). Let s be f + (-2 - 0) + 0. Let l = -6298/9 - -700. Is s < l?
True
Suppose 0*l + l - 5*n = -28, 0 = -l + 3*n - 18. Which is smaller: l or 31?
l
Let t(k) = 8*k**2 + 74*k + 13 - 78*k + 2*k**3 - 3*k**3. Let p be t(8). Suppose -2*w = w + 57. Are w and p equal?
True
Let l = 35.3 - 37. Let k = -0.24 + 1.54. Let t = k + l. Do 2 and t have the same value?
False
Let d(x) = 4*x + 126. Let t be d(-30). Which is smaller: -0.7 or t?
-0.7
Let r = 9592787/688 - 13943. Is r >= 1?
False
Let v(b) = -b - 3. Let m be v(-8). Let l be (-22)/(1 - (0 + -1)). Let z = m + l. Which is greater: -5 or z?
-5
Let w = -742.828 - 0.172. Which is smaller: w or 2?
w
Let t = 0.41 + -0.32. Let b = t - 2.09. Which is bigger: b or -0.1?
-0.1
Let g = 104/21 + -37/7. Is 11/9 smaller than g?
False
Suppose 2*b + 5*j - 4 = 0, -3*j + 0*j = 0. Suppose g + 870 = -b*g. Let q be 8/g*(-10)/4. Which is smaller: q or -1?
-1
Let a be ((-6)/4)/((-12)/160). Suppose 2*m + 20 = -5*z, -15*z + a*z + m + 15 = 0. Which is greater: z or -7.4?
z
Let k(x) = -x - 11. Let m be k(-10). Let y be (-3 + 3 + 1)*2. Suppose -2*n - 2*n = -8, -o = -y*n + 4. Which is smaller: m or o?
m
Suppose -5*t + 144 = -11*t. Which is bigger: t or -23?
-23
Let z = -11.14 - -11. Let q = 1.14 + z. Which is bigger: -0.2 or q?
q
Let f = 12943/20 - 647. Let u(k) = k**2 - k + 4. Let q be u(0). Suppose o + q*y + 23 - 2 = 0, -4 = -o + y. Which is smaller: o or f?
o
Suppose -182 = -5*i + 2*c, c - 10 = -4*i + 133. Is i equal to 11?
False
Let d = 217443/14 + -15539. Let z = -76/7 - d. Is z > 2/7?
False
Let s(u) = -6*u**2 + 9*u + 1. Let v be s(4). Is -59 at least v?
True
Let a = 681 - 2062/3. Let z = 2 + -9. Which is greater: a or z?
a
Let j be 79/316 + 1/(-4). Is j less than 1/245?
True
Suppose 0*w - 124 = -4*w - 3*o, -2*w + 3*o + 44 = 0. Let g = 491 - 463. Do w and g have the same value?
True
Suppose 504 = -3*f + 3*r, f + 128 = -r - 36. Is f less than or equal to -167?
False
Let u = 40 + -31.7. Let i = -8.3 + u. Is i not equal to 8?
True
Let o(q) = 6*q - 11. Let b be o(5). Let w(h) = b + 4*h + 0*h - h. Let c be w(-6). Which is greater: 3 or c?
3
Let k(m) = m**2 - 9*m - 28. Let i be k(12). Suppose -5*d = -2*j - i*d + 70, 5*d - 106 = -3*j. Which is smaller: j or -0.1?
-0.1
Let h = 0.3487 + -16.6187. Let o = -16.8 - h. Are 0 and o non-equal?
True
Let i = 2.18 - 10.58. Is 1/3 at least i?
True
Suppose -o = -5*y + 9, -4*y - o - 1 = -5*y. Let p(j) = 26*j**y + 0 - 25*j**2 - 9. Let v be p(0). Which is bigger: -8 or v?
-8
Suppose 10*n - 3*n - 21 = 0. Let q be 4 - (2 + -1 - 3). Let p be (n/9)/(q/8). Which is smaller: p or 1?
p
Suppose 2*j + 4*g - g - 39 = 0, g - 78 = -5*j. Suppose j + 20 = -5*s. Is -41/5 > s?
False
Let q = -93 - -92.985. Let v = -0.085 + q. Which is smaller: v or -2/41?
v
Let n be (-1 - 1)*2/2. Let h(p) = p. Let o be h(-5). Let z be (-14)/o + 9 + -13. Is z <= n?
False
Let l = -8 + 15. Let n be (l - (-10)/(-2)) + 16/(-6). Which is smaller: n or -10?
-10
Let n = 40.4 - 6.4. Let l = n - 34. Which is smaller: l or -1/5?
-1/5
Let h = -0.7 + 0.6. Let p = -38.18 + -0.82. Let n = 54 + p. Is n bigger than h?
True
Let x = -658 + 704. Is x < -3?
False
Let c(m) = m**3 + 9*m**2 + 6*m + 24. Let x be c(-6). Let j = 91 - x. Is j >= -9?
True
Let k = 9 + -18. Let n(z) = -z**3 - 15*z**2 + 18*z + 34. Let t be n(-16). Is t less than k?
False
Suppose 0 = 6*y + 3 + 27. Let i be -2 - ((-4 - y) + -4). Is i bigger than 2/3?
True
Let k(r) = r**2 - 1. Let y be k(-1). Suppose y = 4*d + 3*u - 125, 0 = 2*d + d + 4*u - 85. Let o = d + -51. Which is bigger: o or -17?
o
Suppose 19*f + 9 = 3*a + 20*f, 3*f = -5*a + 23. Let x = 2 - 2.025. Is x less than a?
True
Let a = 30.941 - -0.059. Let p = 32 - a. Which is smaller: p or -1/5?
-1/5
Suppose -2*w + 3*w = 0. Let m be -1*(27/(-1) - w). Let i = m - 0. Is 27 equal to i?
True
Let j be ((-12)/(-1320))/((-58)/15). Let x = 4999/44660 - j. Is -1 equal to x?
False
Let p = 533.93 - 534. Let n(c) = 2*c - 2. Let w be n(5). Which is bigger: p or w?
w
Suppose 12*v - 13*v + 11 = -3*d, 15 = 5*v - 5*d. Which is smaller: v or -109?
-109
Let g be (-2)/(-6) - 25/3. Let t be (2/4 - (-3)/(-6))/(-1). Suppose 6*s - 2*s + 32 = t. Is s greater than or equal to g?
True
Let s = -99793/112 + 891. Let m be (-1)/((-2)/2) - (-3846)/(-4256). Let z = s - m. Is 1 != z?
True
Suppose 3*z = 9*z - 36. Suppose -2*v = -11*j + 7*j - 6, 4*v + z = -j. Which is smaller: 4 or j?
j
Let n = -3 + 2. Let c = 2.4 + -1.4. Let o = c - n. Which is smaller: -3 or o?
-3
Let h = -158756/11 + 14543. Let r = h - 110. Suppose -252*w + 10 = -242*w. Which is bigger: w or r?
w
Let v = -4.9 + 5. Let x = v + -1.1. Let r = -6.28 - -0.28. Is x bigger than r?
True
Let r = 245 - 258. Do r and -11 have different values?
True
Let k = -40 - -42. Is 12/13 greater than or equal to k?
False
Suppose w + 3 = 0, -2*l = -w + 4*w + 13. Let f be (-10)/35*(-4 - l). Is f greater than or equal to 0?
True
Let m = 1823.67 - 1824. Which is smaller: 0.27 or m?
m
Suppose -6 = -5*x - 3*t + 4, 4*x = -3*t + 11. Let f be 4*1/2 + -70. Let g = -886/13 - f. Is g at most as big as x?
False
Let w = -68.3 - -67.7. Which is smaller: 1 or w?
w
Let b be (-20)/2*9/(-15). Suppose -4*x + 3*v + 19 = 0, x + 4 = -3*v + 5. Suppose b*c = x*c. Is c smaller than 1?
True
Suppose 0*y - 3*t - 15 = 3*y, 12 = -3*y - 2*t. Let c(l) be the third derivative of -l**4/24 - 4*l**3/3 - 4*l**2. Let o be c(-7). Which is smaller: y or o?
y
Let y be (54/15)/(6/(-20)). Let c = 12 - 11. Let h be c/6*(y + 1). Is -3 > h?
False
Let v be (-2)/(-4)*(-4)/7. Suppose -11*m - 156 - 24 = -2*m. Is m smaller than v?
True
Let i = -47 - -37. Let g = -1.3 + 0.9. Which is smaller: g or i?
i
Suppose 0*a = a. Let r = 16 - 13. Suppose -5*t = -15, k = -3*k + r*t - 5. Which is smaller: k or a?
a
Let d = -72.73 - -74. Let n = 0.97 - d. Which is smaller: 25 or n?
n
Let c = -0.3 - -0.9. Let y = -0.38 + 0.48. Let p = y + c. Which is smaller: 2 or p?
p
Let n = 26.7 + -27. Let h = -1.3 - n. Let q = h - -2. Which is smaller: q or 10?
q
Suppose 327 = 2*l + 279. Is l less than 20?
False
Let q be ((84/8)/(-7) + 2)*40. Let h = 19 - q. Which is greater: h or 1/52?
1/52
Let o be -4 + 6 + 1640/(-15). Is -107 < o?
False
Let y be (-1 - (-10)/7) + (-924)/24794. Is 1 > y?
True
Let a be (-3)/(-9) + (-40)/(-6). Suppose 5*v = 2*b + a, -b - 4 + 2 = -2*v. Suppose 3*r = q + 13, 0*r = -4*r + v*q + 9. Which is smaller: 7 or r?
r
Let a(p) be the first derivative of p**3/3 - 5*p**2/2 - 3*p + 44. Let v be a(3). Let y be 2/(-6) - 26/3. Are y and v equal?
True
Suppose -5*j + 74 + 6 = 0. Let b = j + -8. Which is bigger: 7 or b?
b
Let m(x) = -276*x + 22. Let b be m(-1). Which is smaller: 301 or b?
b
Let a = -1484/85663 - 3711295910/166271883. Let o = a - -3/647. Let r = -65/3 - o. Are r and 0 nonequal?
True
Suppose 2*x + 83 = -2*j + 5*j, 5*j - 25 = 0. Let s = x + 18. Let m = 16 + s. Is m at most -1/4?
False
Let a(h) = 10*h. Let l be a(1). Let g = -84 - -87. Let z be 1 - l*g/42. Are 0.1 and z equal?
False
Suppose 0 = -5*l + 181 - 66. Suppose -4*b = -l + 7. Let m be b/7 - 264/(-77). Is m at most 6?
True
Suppose -m + 2*s = -12, -3*m - s + 16 = -2*s. Suppose m*w - 15 = -z, -3*w = -2*z + 3 - 17. Are 2/23 and z non-equal?
True
Suppose -3*g = 3*b - 6 - 3, -3*g - 5*b + 17 = 0. Does -2/113 = g?
False
Let a = 293 - 338. Which is smaller: a or 1/2?
a
Let m = 4 - 3.9. Let f be (2 + 9 + 4)*1. Which is smaller: m or f?
m
Let h = 31 + -9. Suppose 6*v - 4 + h = 0. Do -7/3 and v have the same value?
False
Let n = -162 - -288. Is 127 < n?
False
Suppose 2*i + 3*m = -23, -3 = -3*i + m - 21. Suppose 0*f + 4 = -2*f. Which is smaller: f or i?
i
Let x be 2648/(-376) - (-2 + -5). W