Let r be d(-16). Suppose r*c - 1 = -5. Let n be -62*((-1)/(-20))/c - 3. Which is smaller: n or 1?
n
Suppose 64*d + 101421 = -193299. Which is bigger: d or -4606?
d
Let g = -27.44 - 2.96. Let q = g - -30.5. Is q at least 0.57?
False
Let o be ((-4)/10)/((-2)/10). Let f be (-14 + (-3 - -7))/o. Let u be 20/(-6)*15/10. Is u less than f?
False
Let v be (-8)/4242*9/(-6). Let a = -14075 + 14075. Is a greater than v?
False
Let z = -953/5 + 199. Let w = z + -4919/585. Is 0 not equal to w?
True
Let b = 2366.77 - 2148. Let w = b + -203.8. Let z = w + 0.03. Are z and 0.2 unequal?
True
Suppose -4*f = 5*r + 1388, -3*r - 2*r = 3*f + 1041. Let i = 403 + f. Are i and 53 unequal?
True
Let g = 43 - 13. Suppose g*i = 36*i. Let o be 54/(-8) + 1/(-4). Is i bigger than o?
True
Suppose -7*m + 472 - 325 = 0. Suppose 2*l = 5 + 13. Let d be 2/(2/l)*1/m. Are 0.1 and d nonequal?
True
Let h be (-1)/6*(-1)/(-1). Suppose -13*v + 8*v = -140. Let q be (-16)/v*(-105)/10. Which is bigger: q or h?
q
Let o be (-6 + (-28)/(-21))*18/(-40). Let t = 383/15 + -1673/60. Let y = t + o. Do 2/7 and y have the same value?
False
Let k(h) = -h**3 - 20*h**2 + h + 2. Let q be k(-7). Let g be 3/(-2) + q/(-60) + -8. Is -1.3 <= g?
True
Let p(b) = 15*b + 48. Let t be p(-3). Let q be 3/72*6 - 5/(-4). Is t not equal to q?
True
Suppose 0 = 5*i - 2*x + 93, -3*i - 3*x - 25 = 35. Let h = -117 + 217. Suppose -5*r = -2*t + h, 3*t - 20 = -0*r + r. Which is greater: i or r?
i
Let p(g) = -259*g - 1038. Let o be p(-4). Are -39/43 and o non-equal?
True
Suppose q - 2*h = -h - 9, 2*q + 19 = h. Let z(i) = i**3 + 9*i**2 - 13*i - 25. Let k be z(q). Suppose -k*y + 6*r - 2*r = -25, 2*y - 22 = 4*r. Is y less than 5/7?
False
Suppose 5*b - 2*b + 19 = -2*t, -5*b - 40 = -5*t. Let f be (2/b)/(3 - (-88)/(-28)). Let x be (3658/(-730) + 5)*f/(-4). Which is greater: x or 1?
1
Let f = -23 + 11. Let t(z) = 2*z**2 + 23*z - 20. Let d be t(f). Let x(q) = -q**3 - 7*q**2 + 7*q + 20. Let g be x(d). Which is smaller: 26 or g?
26
Suppose 3*i - i - 34 = 0. Let s be 0/9 - (-1)/i. Let x be (-8)/(-12)*(99/6)/11. Does s = x?
False
Let i = -24.85 - -24.95. Is i > 4212/5?
False
Suppose -3*b = g, -2*b - 9 - 1 = 4*g. Let x be b*8*8/64. Which is smaller: 4 or x?
x
Let u = 22262 - 22200. Is u greater than 81?
False
Let s = 11883/301 + -598/43. Let d = 26 - s. Let p = -1 + 1. Which is smaller: p or d?
p
Let r = 2008 + -1682. Is r greater than or equal to 330?
False
Let x = 1639 + -369. Suppose -4*r = -4*f - 2*r + 1016, 5*f = -3*r + x. Is f equal to 253?
False
Let h(r) = 83*r**2 - 38*r - 170. Let u be h(-5). Is u less than or equal to 2101?
True
Suppose 3*w = 3*g - 1389, -2*g + w + 295 = -626. Let t = 458 - g. Which is bigger: t or 21/31?
21/31
Let f(u) be the second derivative of u**3/6 + 6*u**2 + 15*u. Let i be f(-10). Suppose -5 = -i*h + 35. Is 21 greater than h?
True
Let c be (-22)/165 + (-1564)/(-30). Suppose c*t - 6 = 50*t. Is t < 11?
True
Let a = 8017.4 - 7232. Let x = a - 786. Which is greater: x or -2/25?
-2/25
Let s = -217912 - -217756.893. Let a = 155 + s. Let f = 60.893 - a. Which is smaller: -0.1 or f?
-0.1
Suppose 3*v - 3*m - 150 = -0*v, 2*m + 151 = 3*v. Let t = 129 - v. Are t and 73 equal?
False
Suppose 27*i = z + 29*i - 11, 3*i - 23 = 5*z. Is z != -8/31?
True
Let t be 32219/(-87) + -2 + 1. Let x = -368 - t. Suppose -4*a + 6 = -2*q, 3*a = -0*q - 2*q + 15. Which is greater: x or a?
x
Let t = 3.09 - -2.91. Let d = t + -7. Is -225 at least as big as d?
False
Let a be 21 + -9 + 2224/208. Which is bigger: a or 23?
23
Suppose u + 2 = 7, -4*n - 5*u = -37. Let i be 570/(-147) - (n - -1)*-1. Is 1 less than i?
False
Let w be (-36)/(-14) - (-1 - -4). Suppose -8 + 37 = -j. Let v = -29 - j. Is w greater than v?
False
Let t be 1/3 + 6/(-8). Let i be -1 - ((-17 - -29) + -12). Are t and i non-equal?
True
Suppose 4*f - 123*y + 119*y = -2368, -3*f - 1790 = 4*y. Which is smaller: -4166/7 or f?
-4166/7
Let c = 10119 + -14253. Is 0.1 at most c?
False
Let h = -30.11 - -30.41. Which is greater: -794 or h?
h
Let d = -10 - 377. Let f = 365 + d. Which is smaller: f or -3?
f
Suppose -3*y + 14 + 4 = 0. Suppose 2*g - 896 = 5*z, -3*z - 5*g + y*g = 538. Let d be (-2*2/z)/(-1) - 0. Which is smaller: d or 0?
d
Let w = -5904 + 4142. Do w and -1762 have the same value?
True
Suppose -3*o = 5*s - 4131 + 4133, -o - 4*s - 3 = 0. Is -2/33175 at least as big as o?
False
Let m be (0 - 1) + (-92)/(-91). Let p(t) = -16*t + 158. Let d be p(9). Suppose 16 = d*u + 30. Is m at most as big as u?
False
Let g be -11 + 55/22 + 7 + 2 + 0. Which is smaller: g or 41?
g
Let n be 56/(-392) - 3460/(-14). Let o = n + -261. Is -40/3 bigger than o?
True
Let t be (-1)/(-25)*(26 - -6). Let i = t - 234/175. Which is greater: i or 0?
0
Suppose -p = p + 5*s - 17, 2*p + 2*s - 8 = 0. Let k be 35/(-58)*77196/(-15). Let q = -3106 + k. Is q at least p?
False
Let j = 126 + -206. Let p be 4*(7 + 756/j). Are -11 and p equal?
False
Let z = 0.0402 + -0.1402. Suppose -3*j = -5*j - 46. Is z less than or equal to j?
False
Let w = 8739 + -8690. Which is greater: 149/3 or w?
149/3
Let s be 1862/(-77) - ((-13)/11 + 1). Let k be (s/30)/(2/(-5)) - 14. Is -2 bigger than k?
True
Let j be 1 + 1 + -52 + 4. Suppose 1654*y - 12 - 3 = 1659*y. Which is smaller: y or j?
j
Let l(t) be the first derivative of -t**3 + 5 - 3*t + 7/2*t**2 + 1/2*t**4. Let u be l(3). Is u < 46?
True
Let j be (-2)/5 + 632534/451710 + 4 + -5. Which is smaller: 0 or j?
0
Let r = 0.96 - 0.9. Let a = 0.04 + r. Let o = 447 - 455. Does a = o?
False
Suppose 0 = -4*u - 1206 - 1182. Let d = -412 - u. Suppose 5*b = -n - 8 - 299, 0 = -3*b - n - d. Which is bigger: -62 or b?
b
Let q be (-51 - -52)*(-1 + 3)/(-38). Which is bigger: q or -395?
q
Let m be ((-3)/2)/((-5)/(-10)). Let t be 0/(2 - (2 + m)). Which is smaller: t or 1/36?
t
Let z = 2 - 3. Let v be ((-12)/33210*-3)/((-12)/(-10)). Let n = -1853/8856 + v. Which is greater: z or n?
n
Let o = -341.9 - -352.863. Let s = o + -11. Let c = s - 4.963. Which is greater: c or 3?
3
Let y = 11171/3 - 28615/6. Is y <= -1045?
True
Suppose -5*i + 2*i + 90 = 0. Suppose -193 = -7*r - u, 41 - 21 = -0*u - 2*u. Do r and i have the same value?
False
Let p be (-6)/(-14) + (-225072)/(-504). Which is greater: p or 4?
p
Let u be 225/(-525) - 63726/70. Let k = -696761/765 - u. Is k at least as big as 0?
True
Let o = -56 - -87. Suppose 134 = 4*u + u - 4*s, 0 = 4*s + 4. Suppose -u*x + o*x + 10 = 0. Which is greater: -19/10 or x?
-19/10
Let z be 90636/12950 - 1 - 6. Which is bigger: z or -1?
z
Let j = 206 - 274. Let q = j + 71. Is q less than or equal to 1?
False
Let s(m) be the third derivative of 14*m**2 + 0 + 17/24*m**4 - 1/60*m**5 - 10/3*m**3 + 0*m. Let x be s(9). Which is smaller: x or 53?
x
Let r = 22047 - 7892835/358. Is r at most 0?
True
Let q = 0.6466 + -1991.6466. Is q at most 0.2?
True
Let l = 58 - 57. Let w be (17 - 246/14) + (-832)/(-1505). Do w and l have the same value?
False
Let o(v) = 273*v. Let i be o(-1). Are 0.2 and i equal?
False
Let k be (-67286)/(-431613) + (2/52)/((-25)/100). Is k at least 5?
False
Suppose 4*g + 3*q = -0*q - 3, 0 = 3*g + q + 6. Let w be (-41)/(-10) + g + -1 + 0. Which is bigger: 0 or w?
w
Suppose 93*b - 4064 = 105142 + 79398. Which is smaller: b or 2029?
b
Let n(j) = 2*j**2 - 14*j - 9. Let p be n(-8). Let b = -299 + p. Which is smaller: -69 or b?
-69
Let i = -4837 + 4850.8. Is i equal to -0.3?
False
Suppose 4*n + 5*h = 221, -6*n + 2*h = -h - 279. Suppose -119 = -5*a + 106. Is a <= n?
True
Suppose -42*z - 30156 = -56*z. Which is smaller: 2155 or z?
z
Suppose 21853 = -47*d - 18332. Is d less than -858?
False
Suppose 5603 = 27*c - 1633. Let y be -5 + c/(-10)*(-130)/728. Suppose 2*f - 4*w + 1 = 3, -5*f - 6 = w. Is y at least f?
True
Suppose 4*m - 151 + 773 = -3*k, 5*k + 1054 = 2*m. Let n = k - -203. Which is greater: n or -82/13?
-82/13
Let r be (-26706)/(-176) + 570/912. Which is smaller: 151 or r?
151
Let s(i) = -i**2 + 6*i - 1. Let o be s(5). Let n(z) = -2*z**2 + 25*z + 17. Let k be n(13). Suppose k*g - 4 = 2*j - 18, 2*j = 3*g + 12. Which is smaller: g or o?
g
Let p = 41863619/48758 + -1/243790. Is p < 859?
True
Suppose -27*s - 49610 = -109*s. Let x = -604 + s. Let r be ((-1)/9)/((-35)/(-2)). Is r smaller than x?
True
Let t(f) = -f**3 - 10*f**2 + 130*f - 35. Let d be t(-13). Is d less than or e