
Let w = 0.096 + 0.119. Let s = w + -0.015. Let v = -10 + 10.16. Which is smaller: v or s?
v
Suppose -92 = -7*o + 41432. Which is smaller: o or 5933?
o
Let t be (11 - (-1 - -5))*13. Suppose 0 = 16*u - 17*u + 231. Let p = u - 139. Which is greater: t or p?
p
Suppose 114 = 8*w + 44 - 690. Is -24 < w?
True
Let w(d) = -d**2 + 4*d - 9. Let l be w(13). Let c be ((-15)/10)/(l/832). Let b = 28/3 - c. Which is smaller: b or 1/4?
b
Suppose -1997*f = -2008*f + 187. Which is bigger: -44 or f?
f
Suppose 51 = -o - 2*o. Let r be (0 + -2)/(o/(-1)). Let z = 11/51 - r. Do 2/9 and z have the same value?
False
Let w be (-8)/(-6) - 13403/(-39). Let i = 496 - w. Is 150 <= i?
True
Suppose 2*r - 20 + 128 = 0. Let c = -64 - r. Let j be 155/(-15) + -4*1/6. Is j != c?
True
Let v = 107 + -107.1. Let o = -522 + 6778/13. Let g = -19/52 - o. Which is bigger: g or v?
g
Let g = 11 + -8. Suppose g*h = -8 + 2, -3*w = -2*h - 19. Suppose -w*o - 13 = -q - 2, -4*o - 12 = -4*q. Is q bigger than -3/13?
True
Suppose 4*a - 61 = 135. Let m = a + -50. Let s be (m + -2)*-1 + (-281)/93. Is s not equal to 1?
True
Suppose 784 = -0*z + 4*z. Let x = 2088 + -1893. Which is greater: z or x?
z
Let z = 1780582/387 - 4601. Which is smaller: 0 or z?
z
Let d(j) be the first derivative of j**4/4 - j**3 - 7*j - 1. Let t be d(4). Suppose -4*s + 7 + t = -4*u, 0 = -4*s - 2*u - 14. Is s greater than 4/41?
False
Suppose -4*k = -13 - 3. Suppose k*j - 9*j + 380 = 0. Which is greater: j or 77?
77
Let d = 2.7 - 2. Let r = -6.3 - d. Let k = -48.4 + 49.4. Is r smaller than k?
True
Let x = 89.6715 + -0.0715. Let q = -90 + x. Is 70 less than or equal to q?
False
Let l = -4773 + 69889/15. Let v(g) = -65*g - 16. Let k be v(-2). Let m = k + l. Is -2/7 not equal to m?
True
Let l(j) = j**2 + 45*j + 202. Let a be l(-6). Suppose 3*b = -15, -45 = -4*x - b + 82. Let q = x + a. Does q = 1?
True
Let l be 189/14*(-4 - (-10 + 4)). Let w be 2826/105 - (-2)/7. Let m = l - w. Is m at least 12?
False
Let r be 111/(-74) + (37299/15)/((-2)/5). Is -6217 not equal to r?
True
Let z = 4016 - 3981. Let w(h) = h**2 - 5*h + 11. Let j be w(8). Are j and z unequal?
False
Let o be ((-16)/(-24) - 3/(-9))*-81. Which is bigger: o or 1/2?
1/2
Let i(k) = k**2 + 63*k + 121. Let p be i(-61). Is p at least as big as 22/159?
False
Let a = -19581 - -19603. Is -48 at least a?
False
Let b = 7 + -5. Suppose -q - 22 = 5*p - 0*p, 0 = -b*p - q - 7. Suppose 2*l + 1 + 9 = 0. Is p at least l?
True
Let f be ((11 - 4) + (-440)/64)/((-1)/(-6)). Let d = 2.4 + 13.6. Let s = d + -15. Which is bigger: s or f?
s
Suppose b - 2663 = -2*z, 4*b - 3*z - 13341 = -b. Is b greater than -0.1?
True
Let f = -774 - -847. Let c = -179 + 101. Let p = f + c. Is p at most 0.9?
True
Suppose 62*i - 2*l = 59*i + 114, 0 = 4*l + 24. Which is bigger: i or 964/29?
i
Let i = 41 + -33. Let h be (22/i + 2)*2/7. Let c = -603/434 + h. Is c at least 1?
False
Suppose 2*c + 2*r = 28, 4*c = 2*r - 0*r + 68. Suppose 9*o = 20*o - 198. Which is smaller: c or o?
c
Let b(a) be the first derivative of 17*a**4/4 - 2*a**3/3 - a**2 + 3*a - 37. Let o be b(2). Let i = 127 - o. Is i greater than 12/25?
False
Suppose 263*p - 385*p - 244 = 0. Which is smaller: p or -0.05621?
p
Let r be 150/175 + 248/(-224). Is r < 3/247?
True
Let r be 1452/20*36725/585. Which is greater: 4558 or r?
4558
Let s be (12/(-2030))/(48/84). Let w(g) = -g**2 - 6*g + 15. Let c be w(-8). Is c bigger than s?
False
Let y(q) = -7*q**2 - 63*q - 4. Let d be y(-9). Let k be d - ((-10125)/20)/(-9)*4. Which is bigger: k or -228?
-228
Suppose -5*c + 3*l = 4*l - 316, 5*l - 131 = -2*c. Let t = 68 - c. Suppose -5*k - 86 + 21 = -t*s, -4*s = -5*k - 49. Which is smaller: 14 or s?
14
Let t = 503 + -677. Let b be (-1)/(-2) - t/(-116). Let y = -164/315 + 10/21. Is b equal to y?
False
Let k(c) = 22*c**2 + 8*c + 5. Let g(d) = 10*d**2 + 4*d + 2. Let u(z) = -5*g(z) + 2*k(z). Let r be u(-4). Does r = -79?
False
Let a = -1288 + 1259.2. Is a < 0.5?
True
Let i(v) = -2*v**2 - 5*v + 49. Let u be i(5). Let b(w) = -w**2 + 11*w - 11. Let j be b(12). Is j bigger than u?
True
Let z(d) = 4*d - 13. Let n be z(4). Suppose 2*c = -n*c + 975. Let q be (c/(-36) - -3) + 2. Is q at most as big as 0?
True
Let s = 3/2165 - -21593/41135. Let t = 21/76 - s. Is t <= 1/19?
True
Let o = -2682 + 2681.9. Is -9.41 < o?
True
Let p = -58/75 - -431/525. Do p and -18 have different values?
True
Let p be (-72)/27 - (-4456140)/1671030. Which is smaller: 0 or p?
0
Let v(g) = 3*g**3 + 24*g**2 - 5*g. Let z be (-300)/38 - 6/57. Let n be v(z). Is 37 < n?
True
Suppose -4*k - 256 = 2*i, -2*k - 22 - 98 = 3*i. Is -103 <= k?
True
Suppose 0 = 3*t - 3*r - 27, 5*t - r - 3*r = 41. Suppose -g - 4*g + f + 18 = 0, -4*g + 27 = -t*f. Suppose -2*o = 6, -2*k + 4*o = -o - g. Are k and -13/2 equal?
False
Let o(x) = 108*x + 25. Let p be o(2). Suppose 8*r - 81 = -p. Is -20 equal to r?
True
Let d = -227 + 437. Let y = d + -208. Is y greater than -13.1?
True
Suppose 56 = 2*q - 4*q. Let l be (-14)/21 - 124*q/(-264). Which is smaller: -14 or l?
-14
Let v = 19075 - 7159. Is 11915 > v?
False
Let k be 1595/231 + (-4)/(-42). Let u be ((6/k)/(-3))/((-90)/(-36)). Which is smaller: -1 or u?
-1
Let k(u) = -u**3 + 18*u**2 - 16*u + 286. Let i be k(18). Which is smaller: i or -1430?
-1430
Let f = 1716.717 - 0.717. Do f and 2 have different values?
True
Let x = -485 + 484. Let y be ((-1245)/(-936))/x - 52/(-39). Is 0 smaller than y?
True
Let d(o) be the second derivative of -o**6/720 - 11*o**4/12 - 22*o. Let l(i) be the third derivative of d(i). Let s be l(1). Which is bigger: s or 2/133?
2/133
Let g = -734 - -441. Which is bigger: 1 or g?
1
Let u = 7 - 9. Suppose -18*d + 2 = -17*d. Suppose -4*m - 3*a - 72 = 0, 10 = d*a + 2. Which is bigger: m or u?
u
Let y = 437 - 303. Let u = y + -135. Are -1/89 and u nonequal?
True
Let c = 48 - 46. Suppose -2*g - 2 = c*d - 8, 5*d + 3 = 4*g. Let f = -468 + 15443/33. Do f and d have the same value?
False
Let v be (-1)/(3/(-1) + 0). Let b = -331.84 - -332. Is b < v?
True
Let s = 10/11029 + -116720/7091647. Is s bigger than 0?
False
Let f = 62 - 98. Let q = 36 + f. Let t = -38.83 + 0.83. Is q smaller than t?
False
Let r = -44.144 + 0.144. Let o be 4/((-12)/9) + (-119)/(-51). Which is greater: r or o?
o
Let o = 24563/143861 - 31/547. Which is bigger: o or 1?
1
Let q = -57.001 + 57. Let c = q + 0.201. Which is smaller: c or 0.12?
0.12
Let a(h) = h**3 - 6*h**2 + 6*h + 3. Let j be a(5). Suppose 0 = -y - 6 + j. Suppose 0 = -2*s + 2*q + y*q - 10, -s + q = 3. Which is greater: 7 or s?
7
Let y(o) = 53*o + 28. Let i be y(1). Suppose 0 = 88*f - i*f - 112. Is f >= 18?
False
Let o(n) = n**3 - 10*n**2 + 5*n - 20. Let s be o(10). Suppose 0 = -12*b - s + 138. Is b smaller than 9?
False
Let j be (-41)/(3608/110) + (-1)/(-4). Which is smaller: 3/12458 or j?
j
Let j = -42922 + 43320. Which is smaller: j or 405?
j
Let l be (-6*2/(-396))/(11/6 + -2). Let m(p) = p - 6. Let z be (-69)/(-12) + 1/4. Let t be m(z). Is l < t?
True
Let j = 4770641/47853 + -5/3681. Is 101 bigger than j?
True
Let b be (-3 - 21/(-9))/(51/153) + 4595. Is b equal to 4591?
False
Let c = -97.903 + -0.097. Let d = -279.2 + 367.2. Let l = d + c. Which is smaller: -4 or l?
l
Let d be (-1 + 49/(-47))*(-279)/1116. Suppose 3*k - 3*f + 5*f - 3 = 0, -4 = -4*k - 5*f. Which is smaller: k or d?
d
Let p(k) = -217*k**2 + 444*k**2 - 212*k**2 + 12*k + 9 + k**3. Let z be p(-14). Is z > 37?
False
Let h be (85/10)/(5/(-10)). Let y = -19 - h. Let q be 2/(-3) + (-124)/66. Is q <= y?
True
Let c = -0.048349 - 0.051651. Let n = 1.15 + -54.15. Is c >= n?
True
Let w(y) = -y**3 - 28*y**2 + y + 37. Let r be w(-28). Let a be (60 + 1)*(-10 + r). Is a < -62?
False
Let g = 491604777/2729 - 180141. Is -1 less than or equal to g?
True
Let l be ((-16)/12 - -1)/((-1)/(-573)). Let y = 195 + l. Is y != 12?
True
Let l = 1215 + -1213. Which is smaller: -0.0778 or l?
-0.0778
Suppose 42*r = -7486 - 914. Suppose 8*z = -1895 + 287. Is z at most r?
True
Let k be 0*1*(-1)/2. Let c be (6 + (-350)/63)*9. Suppose 3*z + c*h + 54 + 59 = k, 0 = -3*z + 5*h - 95. Which is smaller: z or -34?
z
Let r = 80 + 184. Let y = r - 263.8. Is y greater than -27?
True
Let q be 16/48*(18 - 0) - 720/14. Is -44 bigger than q?
True
Let f = -55615 + 8954054/161. Let m = f + -2/7. Suppose s - 2*s - 1 = 0. Do s and m have 