se
Suppose 0 = 122*x - 14*x + 30*x + 427386. Is x < -15488/5?
False
Let t = -0.031 - 0.036. Let p = 116.201 - 117.201. Which is smaller: p or t?
p
Let j = -302.6 - -300.7. Let z = 0.4 + -0.1. Let n = z - 0.3. Does j = n?
False
Let z = 7.913 - 8.913. Do z and -1/920 have different values?
True
Let m(w) = -3*w - 4. Let p be m(4). Suppose 0 = 4*k + 3*r - 11, -4*k + 21 = -0*r + 5*r. Let b be -10 + 4/(-1) - k - 4. Is p > b?
True
Let t = -3/494 - 18251/4446. Suppose 1 = 4*c + 21. Is t <= c?
False
Let v(h) = -9 + 3 + 11*h**3 - 12*h**3 - h - 6*h**2. Let y be v(-6). Suppose 3*s + b = -y*s + 77, 0 = 4*s + 4*b - 100. Which is bigger: s or 28?
28
Let r(h) = h**3 + 15*h + 1. Let n be r(6). Let l be ((-10)/6)/((-11)/2046) - 4. Is l smaller than n?
True
Let u = -164 - -267. Suppose 2*m + 224 = -x - 3*x, -m - u = 5*x. Is -118 smaller than m?
False
Suppose 5*y + 2*f - 6 = 6, -2*f = 2*y. Suppose y*i = 2*i. Let t be ((-4)/14 - -1) + -1. Which is smaller: t or i?
t
Let n = -265 - -100. Let h = n + 108. Which is smaller: 1/2 or h?
h
Let d be (-6)/(-21) - (-33)/7. Suppose -d*n = 4*j - 91, 13 = 3*j - 2*j - 2*n. Suppose -3*q - 63 = -3*p, 72 = 3*p - 161*q + 149*q. Which is greater: p or j?
p
Let q be (-2)/(-7322)*42/18. Let a = -16733/4707 - q. Which is smaller: a or -5?
-5
Suppose 37 = -8*f - 51. Let u(c) = -c - 18. Let r be u(f). Let y be 2 + (43 + 3/3)/r. Is -4 at most y?
False
Let s(g) be the second derivative of g**4/12 + 13*g**3/3 - 27*g**2/2 + 13*g + 6. Let j be s(-24). Which is smaller: j or -77?
-77
Let w be 6*2/(-30) + 64/10. Are 48/7 and w equal?
False
Let f = -1.05 + 1. Let n = -79.66 + 91.66. Is f greater than n?
False
Let o(n) = 2*n**3 - 26*n**2 - 59*n - 16. Let f be o(15). Are f and 1/524 non-equal?
True
Let h(u) = u**2 - 7*u + 10. Let o be h(5). Suppose b + 5 - 5 = o. Let r be b/((-20)/90 - 22/(-18)). Which is smaller: -4/3 or r?
-4/3
Suppose -104*c + 5 = -103*c. Let m(w) = -w**3 + w**2 + 21*w - 6. Let z be m(c). Which is bigger: z or 38?
38
Let n = 6.97 - 7. Let j = n + 0.11. Let u = 0.10181 - -3.89819. Is j at least u?
False
Let n = -10/11 + 53/22. Let d(z) = z**2 + 2*z. Let o be d(-3). Suppose 4*y - 3 = o*w, -2*w + 5*y = w + 6. Are n and w nonequal?
True
Let p = 15 - 9. Suppose 871 = -p*t - 1409. Let c = 9504/25 + t. Which is smaller: c or 1?
c
Suppose g = 3*p - 9, -11*g + 8*g + 6 = 2*p. Which is smaller: 14/607 or g?
g
Let x = -95/314 + 126/157. Are -9.2 and x non-equal?
True
Let y be (-43016)/214605 + 1/5. Which is smaller: y or 1?
y
Let k(f) = -f**3 - 179*f**2 + 165*f - 318. Let z be k(-180). Is z greater than 2381?
True
Suppose -2*z + 158 = j, 5*z - 5*j = -8*j + 393. Are z and 1.5 non-equal?
True
Let v be -1*(0 - (-2)/4). Let u = 1888493/336084 + -1/16004. Let r = 40/7 - u. Is v > r?
False
Let t = 153 - 17. Suppose t - 559 = 9*r. Do -49 and r have the same value?
False
Let h(b) = 24*b**2 - 8*b - 4. Let f be h(-3). Let k = -240 + f. Is k at least -6?
True
Suppose -4*r = 4*m - 24, -2*r + 26 = 2*r + 5*m. Suppose 22 = -r*d + 2*n, -3*d - n - 10 = 4. Suppose 0 = 13*g - 12 - 1. Is g <= d?
False
Suppose -1 - 17 = -2*z. Let g(n) = -2*n + 2. Let f be g(-2). Suppose z + 63 = f*w. Which is greater: w or 11?
w
Let i = 27 - 20. Suppose -12 = -i*w - 12. Let j be (8/(-3))/(92/(-6)). Are j and w unequal?
True
Let y be ((2 + 2)*-1)/37. Suppose q + v - 11 = 0, 0 = 3*v - 2 + 5. Let n be (4/q)/((-10)/(-30)). Is y greater than n?
False
Let c = 2189 + -2188. Which is smaller: c or 1324?
c
Let q be 1127 + (6/(-1) - (0 - (18 - 7))). Is q greater than 1129?
True
Suppose 9*r + 7 + 2 = 0. Let b = -464 + 23674/51. Is b at most r?
False
Let h = -63.483 + 1.433. Let f = h - -62. Let p = -0.25 - f. Is -1 > p?
False
Suppose 3*u = i + 917, 6*i - 3*i = -u - 2781. Which is smaller: -928 or i?
-928
Let u = 0.042 - 0.0584. Let o = u + 12.0164. Is 1 greater than o?
False
Let p(j) = j**3 + 4*j**2 - 6*j + 48. Let d be p(-6). Suppose d*g = -15*g + 54. Which is smaller: 14/15 or g?
14/15
Let g = 6213/9494 - 115/202. Is g at least 4/13?
False
Let v = -219/11 + 449/22. Is 42 smaller than v?
False
Let k be -8 + (-9 - 51) + 10. Do -53 and k have the same value?
False
Let o = -14496 - -12149. Which is smaller: 4 or o?
o
Let r = 19875 + -19840. Let q = 65 + -32. Which is smaller: q or r?
q
Let w be (-4 - -19 - 9)/(102789 - 6). Are w and 0 equal?
False
Suppose -2*y + k - 133 = 1464, y = -5*k - 815. Let q be 1/2*(y/(-24))/(-5). Let b be -2*1 - 2/2. Which is smaller: b or q?
q
Let r(o) = 16*o**2 + 2810*o + 1751. Let g be r(-175). Let m = 34 + -49. Let d be (-80)/(-14)*(-6)/m. Is d less than g?
False
Suppose 2*h - 4*h - 45 = v, v = 1. Suppose -4*s - 2*a - 6 = 0, 3*a - 7 = -2*s - 0*s. Let x be (-1 - 51/s) + h/(-92). Which is smaller: x or 43/4?
43/4
Let k(r) = -r**2 - 89*r - 340. Let x be k(-4). Is -23/44 > x?
False
Let i be -408 + 3 + -6 + 1 + -4. Let j be i/(-322) - 4/14. Is 1/151 smaller than j?
True
Let w be (2/(-6))/(-90 + 91). Which is smaller: w or 575?
w
Let s = -5438 - -5440. Which is greater: -1372 or s?
s
Suppose -2*o + 34*o = 0. Suppose o = -4*n - 4*m + 432, n - 5*m - 166 + 28 = 0. Is n greater than or equal to 113?
True
Let h = 0.219 - -0.011. Let x = 15.23 - h. Let s = 10699/2 - 5350. Which is bigger: s or x?
x
Suppose 4*g + 0 = 12. Let x(y) = 3*y - 19. Let f be x(7). Suppose f*v = 0, g*c - 4*v = -v. Which is smaller: 1/33 or c?
c
Suppose 0*n + 2*n = 98. Let p be 1/6 + 6/(-108)*-753. Suppose 0 = p*i - 37*i - 240. Which is smaller: n or i?
i
Let i = -88 - -51. Let s(l) = 6*l + 5*l + 0*l + 11 - 9*l**2 - 17*l. Let y be s(2). Is i at most as big as y?
True
Let h(p) = -16*p**2 - 4*p + 8. Let l be h(-5). Let g be ((-3)/l)/(9/228). Let q = g + -4115/1023. Is q < -5?
False
Let l be (12/7)/(-5 - (-59095)/11865). Which is smaller: -89 or l?
-89
Let j(z) = z - 13. Suppose 2*p + 30*o = 34*o + 16, -17 = -4*p + 3*o. Let a be j(p). Are -14 and a unequal?
True
Let a = 97.59 + -23.61. Let p = 66 - 140. Let z = p + a. Is 8 < z?
False
Suppose x - 9*x = -1704. Suppose -23 = -5*s - x. Is s not equal to -38?
False
Let t = -23492 - -21138. Is t not equal to -2352?
True
Let k be 869/77 + 2 + 36/(-21). Let p = -331/28 + k. Is -2/31 less than p?
False
Let w = 19 + -8. Let p = -150779 + 150789. Is w < p?
False
Let r = -64 + 534. Let h = 467 - r. Is h equal to 26?
False
Let m = 0.03743 + 7.96257. Is m not equal to 0.089?
True
Let c be ((-171)/36)/((-1)/(-4)). Suppose -4*k - 43 = -4*m + 37, -3*k - 78 = 3*m. Is c greater than k?
True
Let u be (-14)/(-18) - 2/(-9). Suppose 2 = -4*y + 8*y - 2*j, -5*j + 13 = -4*y. Let r be (2/44*-2)/((-1)/y). Which is smaller: r or u?
r
Let b = 0.17105 + -0.18935. Which is smaller: -21 or b?
-21
Let j(p) = 2*p**3 + 31*p**2 + 34*p + 30. Let a be j(-14). Suppose 0 = 6*i - 412 + a. Is 45 less than i?
False
Let c = -36.588 + 32.8. Let f = 0.212 - c. Let y = 7.5 - 1.5. Is y != f?
True
Let m = 421 + -110. Let y = m - 311. Is y greater than 40/3?
False
Suppose -17 = -3*r - 18*j + 14*j, -j + 5 = 0. Which is bigger: 3/581 or r?
3/581
Let z = -31.15 + 1.55. Let k = z + 28.99. Are -1 and k equal?
False
Let j = 386 + -2463. Are j and -2077 nonequal?
False
Let d(u) = -u**2 + u + 1. Let r be d(-1). Let m be r + -1 + 0 + -10. Let s(n) = 2*n**3 + 75*n**2 + 45*n + 282. Let l be s(-37). Which is smaller: m or l?
l
Let l = -156 - -251. Let y be -100 + l - (-1 + 22/(-1)). Which is smaller: y or 24?
y
Suppose 2*u + 0 = 4, -4*r + 202 = 5*u. Let x = -14 - -61. Which is greater: x or r?
r
Suppose -14*u = -10*u. Suppose u = 13*z - 345 + 1268. Is -69 > z?
True
Let h(a) = 0*a - 2*a - 10*a - 6*a + 145 + 11*a. Let w be h(-2). Which is bigger: 162 or w?
162
Let i(l) = 2*l**2 - 9*l - 1420. Let q be i(29). Which is smaller: q or 1/1725?
1/1725
Let d be 0 + (-15236)/3810 - (11 + (-60)/4). Is 0.1 equal to d?
False
Suppose -14082 = -67*h + 5878 - 5890. Is 183 > h?
False
Let s = 0.8299 + 3.1701. Which is smaller: s or -2/335?
-2/335
Let h be (60/14)/((-905)/(-455) + -2). Which is smaller: -6620/17 or h?
h
Let q = -232/109 + 81004/981. Which is smaller: q or 81?
q
Suppose 3*f - 7*l + 2*l + 41 = 0, 45 = -4*f - 3*l. Let g = f - -27. Suppose 0 = -j - 357 + 370. Which is bigger: g or j?
g
Let w = -939.61 + 934. Let y = 6.61 + w. Which is greater: y or 3?
3
Suppose 2*n + 5 = n, -2*n = 3*g - 188. Suppose 3*m + g = -105. 