 - 2*h - 27. Let j be p(r). Is -42 < j?
False
Let y = -23469951/107 - -219343. Do y and -2 have the same value?
False
Let h(s) = -s**3 + 4*s**2 + 14*s - 11. Let b(c) = c**2 - 20*c - 44. Let x be b(18). Let v be 12/(-78) - x/13. Let n be h(v). Which is greater: -8 or n?
n
Suppose -5*y + 765 - 210 = 0. Let p = 10315 - 10202. Which is greater: y or p?
p
Suppose -3*j + 4 = -5. Suppose -3*r - 2*z = 26, -6 + 29 = -j*r + z. Let m(a) = 94*a + 3940. Let s be m(-42). Are s and r equal?
True
Suppose -7*w + 5711 + 841 = 0. Let k be (-20)/w*-1*2/5. Which is greater: -1 or k?
k
Let c = 628.3 - 1262.3. Is -6 >= c?
True
Suppose 5*l + 4262 = -y, -2*l + y - 1053 = 642. Is -850 at most as big as l?
False
Suppose -7*p = -12*p + 15. Let g be 5 + (12/p - (-7)/(-1)). Suppose -5*r - 454 = -n - n, 4*r + 364 = g*n. Does -90 = r?
True
Suppose -316 = -5*y + 2*y + u, u - 2 = 0. Let c be (-3 + 70/15)/(5/315). Which is greater: y or c?
y
Let g = -456 - -324. Let d be (-254)/g + 70/(-84). Which is smaller: d or 0?
0
Let h = -783667541/1667772 - -1/185308. Which is bigger: -471 or h?
h
Let k = 827926 + -15730614/19. Suppose -i - x = -5*i - 88, 2*x - 8 = 0. Let p be 6/i - 2/(-7). Is k equal to p?
False
Let z be 0 - 4 - 880/(-80). Is 6 at most as big as z?
True
Suppose -4*b + 11 = v, -45 = -4*b + 5*v - 4. Suppose 15 = b*r + 132*s - 127*s, -4*r = 4*s - 12. Which is smaller: -2/167 or r?
-2/167
Let q be (22/(-550) - (1 + -1))*(-385)/(-504). Is -1 < q?
True
Let s = -52 + 61. Suppose 14*g - 6 = s*g + 2*k, -9 = -4*g + 3*k. Let r = 12/229 + -58/9847. Which is greater: g or r?
r
Let p = -94.13 - -2.13. Let c = p + 92.1. Are c and -94 equal?
False
Let a = -140 - -30. Let k be (-13)/a + (-43)/(-215). Which is smaller: k or 0?
0
Let x = 113461/15 + -7569. Let i = -280/57 - x. Let h = -4 + 5. Are h and i equal?
False
Let n be (-27)/(-24)*(-4)/(-3). Let y(l) = 47*l + 331. Let s be y(-7). Suppose -s*i + 2 = -3*f, 0 = -5*f - 3*i + 15 + 7. Which is smaller: n or f?
n
Let f = 391/1386 + -11/42. Let p = -16 - -12. Which is smaller: p or f?
p
Let d(m) = 104*m - 5639. Let z be d(54). Are z and 26 unequal?
True
Let o(z) = -z**3 + 6*z**2 - 16*z + 97. Let q be o(6). Which is bigger: 3/1933 or q?
q
Suppose g = -168 - 31 - 125. Is -310 greater than or equal to g?
True
Let k = 1052/27 - 24961/378. Which is greater: k or -28?
k
Let j be (241 + -239)*(-2)/(-4)*0. Let d be 2 + -2 + (-2)/(-117). Which is greater: j or d?
d
Suppose 0 = 38*z - 36*z - 372. Suppose -4*d - 426 = 5*s + z, -2*s = -2*d - 288. Are d and -148 non-equal?
False
Let v = 70 + -69. Let x be (((-24)/(-18))/(-2))/(4/(-126)). Let u be x/4 + (-2)/8. Which is greater: u or v?
u
Let o = 109/221 - 101539/1547. Which is greater: o or -1?
-1
Let n(l) = -53*l + 78*l - 19 - 22*l. Let z be n(7). Is 0.15 > z?
False
Suppose -21 = -4*y + 5*r, -r = -5*y + r + 5. Let h be (-2 + (1 - 42*y))*-1. Is h greater than -39?
False
Let s = 25 + -25.38. Let p = 774 - 5472/7. Let j = 148/21 + p. Which is smaller: s or j?
j
Let j be 91*12/(0 + -3). Let o be 160/j - (-4)/14. Let t(m) = m**3 + 33*m**2 - 64*m + 210. Let g be t(-35). Is o at least as big as g?
False
Let t be ((-64)/40)/(18/495). Suppose -9*m - m - 90 = 0. Which is smaller: t or m?
t
Suppose -6*c + 2 = 8. Let l be c + -7 + (-264)/(-32). Which is smaller: 1.2 or l?
l
Let d = 52.49 + -735.49. Are d and -1 equal?
False
Let k be ((-2892)/48)/(1/(-4)) + 3. Let a = k - 246. Is a bigger than -7?
True
Suppose f = 7*f + 144. Let t(u) = u**2 + 25*u + 25. Let s be t(f). Which is bigger: s or 9/28?
s
Suppose -3*i + j + 15 = -4*i, 4*j + 15 = i. Let n(v) = -6*v - 26 + 2*v - 11. Let g be n(i). Are -5 and g non-equal?
True
Let n be (4 - 51/9)*(-147)/(-245). Which is bigger: n or 12/4679?
12/4679
Suppose 125*o + 303 = -180*o + 2*o. Is 1/7526 != o?
True
Let q = -3.166 - -4.266. Which is greater: -30/11 or q?
q
Suppose -j - j = 3*k + 712, 5*k - 4*j + 1194 = 0. Let i(a) = -13*a**2 - 14*a + 26. Let u be i(4). Are u and k unequal?
False
Let x be ((-180)/292 - 5/(-3)) + -1 + 0. Which is bigger: 0 or x?
x
Let w be 1125/300 - 6/8. Suppose -6 = -w*l, l = 4*o - 3*l + 244. Does 7 = o?
False
Let n(t) = 2*t**2 + 31*t + 21. Let i be n(-15). Suppose -3*a - i = -0. Let h = -407/237 + 4/79. Which is greater: a or h?
h
Suppose 3*q - 7 = n + 4*q, 2*n - q + 5 = 0. Let v = 0.769 - 0.72. Let y = -0.001 - v. Which is smaller: y or n?
n
Suppose -14*b = -13*b + 41*b - 77700. Is 1854 at most b?
False
Suppose -28*z - 211 = -995. Suppose 2*h - z - 20 = -3*s, -s + 5*h = -33. Which is greater: s or 200/11?
200/11
Let x = -96 - -152. Suppose -2*z + 337 + x = -5*i, 4*z = -2*i + 846. Is 208 < z?
True
Let b be ((-36)/(-16489))/(384/2112). Is b < 0?
False
Let x = -2113 - -14034. Which is smaller: 11922 or x?
x
Let i be ((-3)/(-3) - 9)/((-8)/(-16)). Let y = i - -10. Let k(o) = -o**3 - 7*o**2 - 8*o - 4. Let g be k(y). Which is smaller: g or 11?
g
Let z be ((-25)/(-10)*-32)/(-1). Let h be 1098/14 + (-12)/28. Which is greater: h or z?
z
Let w be -5*((18 - 7) + -8). Let i be (6/(-9))/((-2)/(-3)). Let m be i/(-3*5/w). Which is smaller: 6/35 or m?
m
Let v = 30 - 26. Suppose v*g = 1 + 7. Let p = -3/121 - -865/726. Which is smaller: p or g?
p
Let h be (21 - -352)/(-2 - 14/8 - -4). Is 1494 less than or equal to h?
False
Let a = 296.56 + 304.2. Let w = a - 586. Let i = w + 0.24. Is 0.1 smaller than i?
True
Let q(k) = 2*k**2 + 14*k - 19. Suppose -4*w - 3*j - 51 = 0, -7*w + 5*w = -j + 13. Let o be q(w). Which is greater: o or 14?
o
Let w be ((-4)/(-89133))/(3078/5643). Is 0 greater than w?
False
Let i(w) = w - 8. Let q be i(6). Let l = 2608/63 - 303/7. Which is greater: q or l?
l
Let y = 2.02 - 2. Let z = -3410 + 3399. Is z != y?
True
Let j(z) = 16*z**3 + 12*z - 29. Let r be j(4). Is 1043 at most r?
True
Suppose -22*y - 280 = -29*y. Are 46 and y non-equal?
True
Suppose 0 = 3*o - 26 - 28. Let d be (-3)/o + 0 + 26/12. Suppose -2 = d*w - 46. Is 21 at least w?
False
Suppose -285 = -m + 6*m + 3*b, -3*b + 93 = -2*m. Let w = m - -55. Do w and 1/117 have different values?
True
Let s(t) = 14*t**2 - 25*t - 27. Let z be s(-6). Let g = -20711/33 + z. Is g equal to 0?
False
Suppose -33*w - 2 = 4 - 6. Is -2/13453 less than or equal to w?
True
Let l = -247 + 262. Let k = l + -17. Is k <= 0.3?
True
Suppose -408 = -19*y - y - 48*y. Do 362/57 and y have the same value?
False
Suppose 5*a = 3*d - 39, 36 = d + 2*d - 4*a. Suppose -192 = -5*h + d*h. Which is bigger: h or 1?
1
Suppose -2*u - 249 = u. Let y be -1*((-10)/(-5) - -152)/(-2). Suppose -2*x + 4 = 0, i + 2*x + y = -x. Is i > u?
False
Suppose -90 = 81*b + 11*b - 2*b. Is -18/263 < b?
False
Let i = -89 - -87. Let c be (-3)/(-138)*11519*i - -2. Let y = c - -499. Is -1 equal to y?
False
Let s = 2/2295 - -9637/2295. Which is bigger: -1.3 or s?
s
Let r be 312/220 + 2/11. Let p be (-4)/(-24)*1 - 1196/(-24). Let q be (-40)/p + 2/10. Is q smaller than r?
True
Suppose 2*g = -v + 5*v + 574, 2*v + 2*g + 272 = 0. Let k be v/240 - (-6)/15. Let a = k + 5/16. Which is smaller: a or -1?
-1
Let u(c) = -28*c + 61. Let y be u(2). Which is greater: y or 36/17?
y
Suppose -4*q + 7 = 15. Suppose -19 - 16 = -4*g - 3*c, -4*g - c + 25 = 0. Suppose g*y + y + 12 = 0. Is q less than y?
False
Let i be 8/48 - (-1790)/(-84). Let g be (-10)/(-14) - 13833/609. Is i less than g?
False
Suppose 3*w - 174 = -0*w. Let l be (16/(-282))/((8 - 28)/20460). Let y = w - l. Is y bigger than 1?
False
Suppose -85 = 3*u + 2*s, -u + 10 = 2*s + 45. Let a = 64 + u. Suppose -39 + a = 5*k. Which is greater: k or -1?
k
Let k = 1.208 + -0.018. Let u = -1.09 + k. Which is greater: 2/459 or u?
u
Let x be (154/(-4))/(8 + 90/(-12)). Is -78 bigger than x?
False
Suppose -27 = -7*f + 4*f + 2*p, -f + 1 = 2*p. Let j(o) = o**3 - 10*o**2 + 17*o - 15. Let a be j(f). Which is smaller: -45 or a?
-45
Let t be ((-19733)/9)/((-140)/168). Let h = -2632 + t. Suppose 0 = -3*a - 6. Which is greater: h or a?
h
Let i = 201/13 - 4111/260. Let f(b) = b + 3. Let h = -10 + 8. Let m be f(h). Which is smaller: m or i?
i
Let o be 1/2 - (-147)/(-318). Let p(s) = -s**2 + 16*s - 27. Let r be p(20). Let t = 106 + r. Is o smaller than t?
False
Let h be 2/3*(2704 - (5 + -7)). Are 1805 and h unequal?
True
Let z(f) = 3*f - 102. Let a be z(34). Which is bigger: 1/6998 or a?
1/6998
Let w be ((-48)/14)/((-20)/(-210)). Which i