- 375 = -3*w. Let j be (-1 - 4)/((-515)/c - 4). Are 130 and j non-equal?
False
Suppose -13*n + 327 = -16*n - 3*x, 3*n + 319 = -x. Is n greater than -115?
True
Let t(l) = -l**3 + l**2 - 2*l + 2. Let i be t(1). Suppose -4*u = -0*u - 4*c + 156, -2*u + c - 79 = i. Let f be (u/30)/((-1)/(-24)). Which is smaller: f or -31?
f
Let y = -244/10395 - -2/231. Suppose -3*i + 9 = f + 2*f, -i - 13 = -3*f. Are y and i nonequal?
True
Let o = 1457423/16932 + 101/996. Let f = -86 + o. Which is smaller: f or 1?
f
Let h = 33.213 - 33.133. Is h less than or equal to 1751?
True
Let f = -1137 + 1142. Which is bigger: f or 147?
147
Suppose -d + 5*a + 0*a - 10 = 0, 2*d - 4*a + 8 = 0. Suppose d = 7*y + y + 16. Let x be (21/14)/((-1)/y). Is -17 <= x?
True
Let l(b) = 12*b - 9. Let z be l(-2). Let t be (4/(-6))/((-22)/z). Which is smaller: -26/17 or t?
-26/17
Suppose 0 = -2*h - 11*j - 20, 2*h + 0 + 6 = -4*j. Are 1/2550 and h non-equal?
True
Let g(x) = -x**3 + 19*x**2 + 98*x + 46. Let p be g(22). Let t = p - 721. Is t at least 29?
True
Suppose -m + 17 = -5*k - 3, 0 = -5*m + 4*k + 58. Suppose m*a + 5 = 11*a. Suppose f + a = 6. Which is smaller: f or 2/29?
2/29
Let k = 3385 + -3384.67. Which is bigger: k or -0.084?
k
Suppose 0*m = 3*m. Let s be (-16152)/(-14) - (-2 - 24/(-14)). Let o = -10376/9 + s. Is m smaller than o?
True
Let f = 15.84 - 15. Let j = -5.06 - f. Let u = j - -5.8. Which is smaller: u or -1?
-1
Let f = -38 + 640/17. Let z be (270/(-180))/(85/54). Let l = f - z. Which is greater: 0 or l?
l
Let u be 1*(-2)/(-2) + 0. Let x be u/(-4)*1 - (-54)/(-40). Let a be (4 - 5) + (2 - 2). Is a less than x?
False
Let i be 4 - (-216)/30 - (-1)/(-5). Let y(d) be the first derivative of d**4/4 - 3*d**3 - 5*d**2 + 12*d + 2. Let x be y(10). Is x less than i?
False
Let s be (-1)/2 + ((-1807)/26)/(-1). Let z be 2/s*7*212/742. Suppose -5*c + 15 = 5*g, 5*g + 14 = 4*c + 2. Is z less than g?
False
Let r be -1*-1*(-1 - 0). Suppose b + 2*c - c = 10, -c - 4 = 0. Suppose 0 = -13*y + b*y - 27. Is y less than or equal to r?
False
Let a be (-20)/(-130) + (-100)/(-26). Let b(t) = -3*t + 5. Let s be b(-7). Let x = s + -19. Is x bigger than a?
True
Let p be ((-58250)/(-300))/((-12)/72). Which is smaller: -1163 or p?
p
Let z(f) = -8*f + 114. Let b be z(14). Let d = 2 - -1. Suppose -s = b - d, 2*a - 3 = 5*s. Which is smaller: 3 or a?
3
Suppose 2*m + 4*h = -3124, -3*m + 1375 - 6072 = -5*h. Which is bigger: m or -1566?
m
Suppose -5*r + 8108 = 3*j, 6*r - r - 8116 = -j. Suppose 10*q + 18*q - r = 0. Is q <= 57?
False
Let k be 28/112*(-15 - -11). Which is smaller: k or -21/80?
k
Suppose 0 = 5*f + m + 576, 0 = 4*f - 5*m + 486 - 31. Which is greater: f or -98?
-98
Let n = -161/4481765 + 5918990901362/1555172455. Let r = n - 3806. Do -1 and r have different values?
True
Let p be 4/12*((-45 - 0) + -9). Which is smaller: -1 or p?
p
Suppose 3*w - 416 = -419. Let t be w/(-7) + (-11718)/90258. Is 1 < t?
False
Let y be (2 + (-48)/22)/((-1024)/1408). Is y <= -1784?
False
Suppose 2*w + 69 = 5*w. Let y = 46 + -24. Let g = w - y. Is -2/7 at most g?
True
Let i = -674 + 489. Let c = -560 - i. Which is bigger: c or -1?
-1
Let s(r) = r - 1. Let f be -4*(-3)/12 - -3. Let n be s(f). Let p be n/(195/68) + 18/117. Is p smaller than 2?
True
Let r(x) = 210*x + 3886. Let u be r(-8). Is u > 2206?
False
Suppose 15 + 10 = -5*q, 4*q = 3*n - 149. Suppose n*v + 1710 = 5*v. Are 0 and v equal?
False
Let n be (-16)/(-7) + 0 + 2/(-7). Suppose n*l - 4*j = 5*l + 19, -5*j - 40 = 5*l. Suppose -35 = 2*t - 11. Which is bigger: t or l?
t
Let o(k) = 9*k**2 + 10*k + 1. Let v be o(-7). Suppose 362*q - v*q = 680. Which is bigger: q or -342/5?
q
Suppose 229 = -44*f + 2517. Let c be f/80 - (-5)/(-20). Do -3/17 and c have the same value?
False
Suppose -4*d = 2*y - 61 + 3, -5 = -5*y. Suppose -3 - 11 = d*r. Is r smaller than 2/759?
True
Let l = -96 - -98.04. Let k = l - 0.04. Let d be ((14/(-39))/((-51051)/63206))/(8/(-6)). Is d less than k?
True
Let l = -110966207/29 + 3825992. Let c(p) = -53*p**3 - 16*p**2 + 35*p - 11. Let q be c(2). Let j = q - l. Which is bigger: j or -1?
j
Let r = 10187 - 17745753/1742. Is r < -1?
False
Suppose -6513*h = -6538*h + 216750. Is 8670 not equal to h?
False
Let p be 9*2*8/12. Let n = 24 - p. Is n >= 12?
True
Let c = -25 + 26. Suppose 5*t - t + 16 = 4*q, 5*q + 3*t = -4. Suppose -q = -8*y - c. Which is bigger: y or -1/7?
y
Suppose 0 = -2*b + 338 - 336. Let h be (b + -7)/(80/40). Let g be (2 - 1 - 2) + -2. Are g and h unequal?
False
Suppose -4*a = 28*g - 33*g + 3649, 0 = 2*g - 2*a - 1458. Is g bigger than 733?
False
Suppose z = -3*b - 162, b - 40 = -4*z - 105. Let h be (-10)/(-80) + b/168. Which is smaller: h or 1?
h
Let d be 1938/765 + 16/(-6). Is 6.05 < d?
False
Let d = -267 + 267.248. Let l = d - 10.048. Is l > -1/4?
False
Let r = -130.184 + 130. Let d = -0.284 - r. Do 3/44 and d have the same value?
False
Suppose -4*r + 2 + 14 = 0. Let z be (-30)/9*(r + 2). Suppose -14 - 24 = 2*d. Is z at least d?
False
Let r be (-2)/(-22) - (11558/12)/((-1650)/(-60)). Which is bigger: -34 or r?
-34
Let u = 2731 - -2600. Which is smaller: 5332 or u?
u
Suppose 5*n = 5*m - 0*m + 2495, 5*m + 1489 = 3*n. Suppose 16*r - 1911 + n = 0. Which is smaller: r or 89?
r
Let l = -2123/34790 + 23/490. Which is greater: -0.19 or l?
l
Suppose 98 = -23*a + 98. Let x = 18072585/1162 + -15553. Which is greater: a or x?
a
Let c be (-5)/(10 + -25) + 166/(-3). Which is bigger: 27 or c?
27
Let z(h) = h**3 + 6*h**2 - 2*h - 3. Let w be z(-6). Let l(v) = v**3 - 10*v**2 + 9*v + 1. Let i be l(w). Let f be -4*11/(-176) - 20/48. Is i greater than f?
True
Let z be 57/51 + -1 + 98/(-833). Let n = 3251/19 - 171. Are z and n unequal?
True
Suppose 5*j + 3*v - 6455 = 0, 2*j - 116*v + 115*v - 2593 = 0. Is j less than -0.3?
False
Let g = 664/301 - 39688/2709. Let t(w) = w**3 - 4*w**2 - 3*w - 1. Let n be t(4). Which is bigger: n or g?
g
Let j be 1/4 + (-355)/(-4). Let t be ((-110)/15)/(184/(-2208)). Which is smaller: t or j?
t
Let s(i) = 4*i**2 - 11*i + 19. Let f be (-30)/8 - -2 - (-2)/(-8). Let y(u) = u**2 - 4*u + 6. Let v(a) = f*s(a) + 7*y(a). Let o be v(-8). Is o at least -11?
False
Let v = 3142 - 2968. Which is greater: v or 119?
v
Suppose 1 = r - 2*p, -3*r = p - 8 - 9. Suppose v + 2*v - 19 = 4*l, -5*l = -r*v + 25. Which is smaller: -3/37 or v?
-3/37
Let x = 0 + 0. Let n be ((-2)/(-20))/((-2)/4). Is n >= x?
False
Let j = -16264.5 - -16053. Which is smaller: j or -2?
j
Let i be 1224/(-144)*12/(-136) - (-2529)/4. Which is smaller: 632 or i?
632
Let l = 239 - 399. Let c = 160 + l. Is c not equal to -1/88?
True
Let d = 0.54 - 6.14. Let f = 5.8 + d. Is -0.07 <= f?
True
Let m = -751 + 490. Let h = m + 3917/15. Suppose -5*w - 5 = -6*w, 0 = 5*p - 3*w + 15. Is h less than or equal to p?
False
Let s be (3 + -5)*(-151)/(-4)*-2. Let n = -141 + s. Which is smaller: 26/3 or n?
26/3
Suppose -8*n = 113 + 231. Let i = 43/26 + -5831/130. Which is smaller: n or i?
i
Let f = -1747 + 92599/53. Let x = f - 293/1590. Is x not equal to 0?
True
Let r be -4 - (-2)/3*(19 + -16). Let v(c) = 2*c**3 + 2*c**2 + 3*c - 1. Let z be v(r). Is -0.1 >= z?
True
Let j = -484 - -614. Let z = -156 - -159. Is j >= z?
True
Let r be 0/(-2 - 0)*(-1)/(-1). Let i be r/(-3*(-2)/(-6)). Let q = -4 - i. Which is greater: q or -1?
-1
Let s be 38/3*12420/225. Is s > 700?
False
Let i = -0.22 + 0.36. Let f = 0.44 - i. Let g = -613 + 607. Which is smaller: f or g?
g
Let b be ((-7)/(-4))/((-155649)/10377 + 15). Does 3026 = b?
False
Let a(s) = -s**2 - 2*s - 1. Let p be a(-3). Let q(w) = -w**2 - 6*w - 8. Let r be q(p). Let h = -2/327 + -1298/1635. Which is greater: r or h?
r
Suppose -31383 - 2565 = 6*y + 30*y. Which is smaller: -933 or y?
y
Let k = -0.01 - -0.11. Which is smaller: k or -74?
-74
Let n = 12410 + -62762/5. Suppose 3368*f - 29606 - 8563 = -243958 - 272467. Which is smaller: n or f?
n
Let d = -444 - -514.2. Let v = d - 50. Is -1 >= v?
False
Let f = -32 - -109. Suppose 4*c = -p + f, -4*c + 69 = -2*p + 235. Suppose -2*d + p = -7. Is 44 not equal to d?
False
Let k(b) = -363*b + 1580. Let n be k(-5). Does 3393 = n?
False
Let a = 96 + -795. Is a > 1/2?
False
Suppose -7 = 6*k + 5. Which is greater: 496 or k?
496
Let y = 1345622/33 - 40781. Is -4 greater than or equal to y?
True
Suppose -3441 = 398*b - 367*b. Which is sm