 Let j = 0.1468 - d. Is -5 bigger than j?
False
Let f be (21 - 9666/(-36))*(28 - (2 - 0)). Is f equal to 7527?
True
Suppose 79 = -j - 2*t - 53, 296 = -2*j + 4*t. Let s(z) = -2*z**2 + 17*z + 78. Let d be s(-7). Does j = d?
False
Let t(w) = -4*w - 23. Let a be t(-8). Let x(z) = z**2 - 6*z - 27. Let o be x(a). Suppose -3*j - 18 = 4*u - 1, 4*j - 2*u - 14 = o. Is 3 bigger than j?
True
Let c = -3/217 + 509/5425. Which is smaller: c or -0.38?
-0.38
Suppose 540 = b - 5*n, 3*b - 2*n - 2327 = -642. Does 565 = b?
True
Suppose 5*v - 2*v = -420. Let f = -11 - 129. Do v and f have different values?
False
Let f = 11 - 12. Is f equal to -1/1399?
False
Let i(x) = -41*x**2 - 110*x - 10. Let s be i(-5). Which is greater: s or -486?
s
Let j = -64 - -69. Let b be (-2)/j + 15/(75/452). Let t = b - 79. Do -1 and t have the same value?
False
Let z(u) = -6*u - 141. Let q be z(-17). Is q equal to -500/13?
False
Let b be (7 + -9)/((-2)/25). Let p = -927 - -951. Is p less than or equal to b?
True
Suppose 10*k + 16 = 66. Suppose -k*p - 44 = -149. Is 25 less than or equal to p?
False
Suppose -3*u + 2*v = 7, -5*u + 48*v - 50*v = -31. Which is smaller: u or 98/51?
98/51
Let p be (-2)/78*2*660/1008*3. Which is smaller: p or -1?
-1
Let w = 6 - 2. Let h be -3*w/(48/76). Let i(x) = 3*x**3 - 40*x**2 + 14*x - 32. Let f be i(13). Is f <= h?
True
Let a = 23067 - 8373323/363. Is a less than or equal to 0?
True
Let f = 6 - 7. Let x be 9200/(-825)*18/596. Let a = x + -4/149. Is a smaller than f?
False
Let x be 6941/33*11 + 8. Does 2321 = x?
False
Let d = -5 + 5. Suppose c + l + 4 = d, 5*c - 2*l + 7 = -13. Let b be ((-20)/(-80))/((-15)/24). Is c < b?
True
Let x be (-9)/5*(-250)/15. Suppose 30 = -5*k + 4*s, -19*k + 14*k - 3*s - x = 0. Which is bigger: k or -21?
k
Let x(h) = -h**3 - 3*h**2 + 5*h. Let c be x(-4). Let l be 8/2*7/c. Let w = 164 + -173. Is l >= w?
True
Let c = 26483 - 768138/29. Which is smaller: -6 or c?
-6
Let s = -11 + 138. Let y be (-4 - (-8)/((-4)/(-4))) + s. Do y and 131 have the same value?
True
Suppose -2*u - 352 = 9*u. Let p be ((-2)/(-10))/(u/(-160)). Which is greater: 5/117 or p?
p
Let j = -426.68 - -426.6. Which is bigger: j or -2.1?
j
Let k be (12 - 434/35)/((-82852)/105). Is k smaller than 1?
True
Suppose -83 - 206 = -5*y + 4*k, 5*y - 3*k = 293. Let i be ((-21)/(-7) - 1) + (-124)/(-2). Is i not equal to y?
True
Let j be 1*(2 - 35/(-15)). Let p = -17/6 + j. Which is bigger: p or -23?
p
Suppose -5202 = -579*r + 581*r. Which is greater: r or -2602?
r
Suppose -47*p + 51*p = -1752. Let v be (-2172)/p - (1 - -4). Which is greater: v or 1?
1
Suppose 2*x + 7 = 3*r, 0*r - 17 = -r - 3*x. Let p be (-2)/123*r/(-220)*-3. Let c = p - -80283/4510. Which is bigger: c or 19?
19
Let u = 49.958 - 49.92. Do -3 and u have the same value?
False
Let m be 1 + (-9)/7 + 66378/422688. Is m <= 1?
True
Let f = 27950/3 - 9317. Are 551 and f equal?
False
Let w = -3906 + 5706. Suppose 22*a - 480 + w = 0. Which is smaller: a or -61?
-61
Let b = -1060 - -1061. Which is bigger: b or -1/512?
b
Let v be 3 - (-1)/(3/33). Let x = v + -19. Let u(f) = f**3 - 41*f**2 - 43*f + 42. Let p be u(42). Is p > x?
True
Let y = -12 - -10. Let m = -0.03919 - 14.96081. Do m and y have different values?
True
Let h(n) = 879*n - 443*n - 7 + 4*n**2 - 435*n + 6*n**3. Let g be h(-3). Which is bigger: -133 or g?
-133
Let f(h) = h**3 + 4*h**2 - 15*h + 2. Let y be f(-4). Let v be 9889/y + (-2)/4. Which is smaller: 158 or v?
158
Let l = -0.3 + 0.25. Let g = -441140 + 35732342/81. Which is smaller: g or l?
l
Suppose 4*a - 12372 = 2*r, -23*a - 4*r = -18*a - 15439. Which is smaller: 3092 or a?
a
Let u(l) = 70*l + 4. Let d be u(1). Let b = d + -72. Suppose -b*c + 385 = -5*n, -7*c + 5*c - 247 = 3*n. Is n > -79?
False
Let m = -5837 + 6077. Which is greater: 245 or m?
245
Suppose -885*t + 110 = -896*t. Is -6 > t?
True
Let p be (-5203)/(-9174) - (114/(-152))/((-3)/2). Which is smaller: 0 or p?
0
Suppose -3*p - 3*q = 24, -68*p + 2*q = -73*p - 28. Which is greater: p or -162/53?
-162/53
Let h be 210/(-385) - ((-3)/(-110))/(18/(-393)). Which is bigger: h or 29?
29
Let o = -159 + 103. Suppose j = -4*k - 0*k + 106, -224 = -2*j + 4*k. Let i be 3*(j/(-6))/1. Which is greater: i or o?
i
Let q = -2.15 - -167.15. Let x = -230 + q. Which is smaller: 1 or x?
x
Let i(f) = 16*f**3 + f**2 + 2*f - 2. Let n be i(1). Suppose 148 = -n*z + 13*z. Let a be z/5 + 32/80. Which is greater: a or -0.03?
-0.03
Let i = -85617/5 - -17123. Are i and -99/151 non-equal?
True
Let p(l) = -l**3 - 13*l**2 + 51*l - 542. Let v be p(-20). Which is bigger: v or 1243?
1243
Let q = -97817/6 - -16239. Let f = -169 - -105. Let z = f - q. Are -1 and z unequal?
True
Let m = 11151.095 - 11151. Does 48 = m?
False
Let s be 112/(-816)*-3*-1*1. Let b be (-1)/(-2) - 39/6. Let u be (-6)/(-4)*b/(-9). Which is bigger: s or u?
u
Suppose -5960*s + 5980*s + 1820 = 0. Suppose 3*y + 97 = -173. Are y and s unequal?
True
Let t(a) = 12*a**2 - 5*a - 8. Let l = -11 - -6. Let h(s) = -s**3 - 6*s**2 - 4*s + 3. Let w be h(l). Let u be t(w). Is u less than or equal to 50?
True
Let v(q) be the first derivative of 2*q**3/3 + 4*q**2 - q + 21. Suppose -90 = 25*p + 10. Let s be v(p). Which is bigger: 1/35 or s?
1/35
Let x = -35 + 90. Let f = 639.68 + -12.68. Let c = -626.9 + f. Are c and x nonequal?
True
Let i be (1130/60 - 26)*4/6. Which is bigger: -4 or i?
-4
Suppose i - 87 = -5*r, -i + 91 + 16 = -5*r. Is 0.4 not equal to i?
True
Let s = 2890 - 4678. Are s and 0.07 nonequal?
True
Let c(a) = 2*a**2 + 35*a + 14. Let l = -809 + 792. Let r be c(l). Let k be ((-8)/10)/((-52)/(-110)). Which is greater: k or r?
k
Suppose 17*a = -4*z + 8*z - 415, -92 = 3*a + z. Suppose 3*u = 7*u + 100. Which is smaller: a or u?
a
Let z(v) = v**2 - 16*v + 61. Let c be z(14). Let k be 0/(c/9 + (-25)/15). Which is bigger: -4/135 or k?
k
Suppose -111 = -5*z - 86, 3*y - 2*z - 368 = 0. Is y smaller than 0.79?
False
Let f(l) = -l**2 + 19*l - 84. Let m be f(12). Suppose 0*w - w - 3*i + 40 = 0, m = 3*i + 3. Is w greater than 40?
True
Let o = 41 - 39. Suppose 4*f - 2 = -0*f - o*g, g - 7 = -4*f. Suppose f*b + 20 = -2*b. Is b less than -5?
False
Let s = 37 - 55. Suppose 1720*x + 5*b = 1730*x + 145, 0 = -x - 3*b - 39. Is x not equal to s?
False
Let q(h) = -h**3 + 6*h**2 + 45*h - 11. Let o be q(-7). Which is smaller: o or 312?
o
Let g(k) = k**3 - 5*k**2 + 6*k - 5. Suppose -3*c + 14 = -2*a, 0*a + 22 = -2*a + 5*c. Let f be (-1)/(4/(-3) - a). Let i be g(f). Is i < -1?
True
Suppose 17 = -2*p + 23. Suppose -d - p + 46 = 0. Let u be (-513)/(-12) + 1/4. Is u at most as big as d?
True
Let q(x) = x**3 + 36*x**2 + 10*x + 11. Let n be q(-35). Let s = n - 248. Is s >= 638?
True
Let x = 346.6936 - -0.3064. Is x > -2?
True
Suppose -3*x = 5 - 335. Let w = 156 - x. Let l = w + -46. Which is bigger: l or 2?
2
Suppose -1847*c = -1896*c. Let y be 1/((1 - 2)/(-4)). Suppose -3*x + 5*m = -20, -m = x - c*x + y. Is x equal to 4/47?
False
Let j be ((-34)/(-36) + -1)/(10/(-66920)*-2). Which is greater: j or -185?
-185
Suppose -4*a + 81 = 2*o - 63, 4*o + 120 = 4*a. Suppose 0 = -2*g - 65 + 177. Let q = g - a. Is q > 23?
False
Suppose 2*p - 18 = 132. Let q be 28/154 - 1646/(-22). Is q less than p?
False
Let t = -143 + 2001/14. Suppose -c = -3 + 2. Let a = c + 0. Is a less than t?
False
Suppose -5*s + 202 - 406 = 4*x, 147 = -4*s - 5*x. Let b be (2 + 0)*(-153)/6. Is s greater than or equal to b?
True
Let t = 5.2 + -5.53. Let r = t + 0.2. Let b be (-16)/(-4) - 2/14*26. Is r less than b?
True
Let g = -42.7 + 253.7. Let u = -211.06 + g. Which is smaller: -8 or u?
-8
Suppose -1 = -4*l + 3. Let c(f) = -3*f**2 - 8*f - 25. Let t(m) = 2*m**2 + 7*m + 20. Let o(y) = 3*c(y) + 4*t(y). Let n be o(5). Are l and n non-equal?
True
Let w = 238 + -212. Let f = w - 24. Is f < 84?
True
Let n(g) = -15*g**3 - 17*g**2 + 4*g - 19. Let k(s) = -3*s**3 - 3*s**2 + s - 4. Let c(y) = 11*k(y) - 2*n(y). Let b be c(-2). Are b and 13 unequal?
True
Let d(a) = -a**3 + 17*a**2 - 50*a - 73. Let j be d(13). Let t be (286/8)/(6/(-8)). Which is greater: j or t?
j
Suppose 7*s - 20 = 2*s. Suppose s*x - 5*q = 25, 5*q - 1 = 2*x - 16. Suppose -2*k - 13 = -x*h, 2*h = -2*h - 4*k - 12. Which is smaller: h or -2?
-2
Let h(y) = -291*y - 11058. Let u be h(-38). Which is bigger: -5/2387 or u?
u
Let x = 9238 + -9172. Supp