+ 4*l = 34, 3*l = -3*j + 5*j + 33. Suppose 17*g + 309 = 20. Is j less than or equal to g?
False
Let n be 97/(-3)*(-42)/14. Suppose n + 113 = 6*w. Is 38 at most as big as w?
False
Suppose 528 = 270*q - 222*q. Let k be 4/22 + 423/33. Is k > q?
True
Let a = -1009 + 999. Is a less than 35/11?
True
Suppose 48 = 6*y + 36. Suppose -5*o = -3*g + 260, -4*o = -y*o - 5*g + 104. Let q = o + 85. Which is greater: q or 32?
q
Let d = -2528 - -2431. Are -482/5 and d nonequal?
True
Suppose 5*t - 1831 = -i, -1059 = -3*t + i + 46. Is t > 1838/5?
False
Let i = 761897339/8991 + -84740. Are i and 1 equal?
False
Let d = -19056.1 - -19056. Which is smaller: -0.858 or d?
-0.858
Let q(k) = 6*k**2 + 8*k - 5. Suppose 2*i + 15 + 10 = -5*d, -28 = 5*i + d. Let a be q(i). Is 105 != a?
False
Suppose -333 = 4053*u - 4050*u. Which is smaller: -134 or u?
-134
Let r(h) be the second derivative of -h**4/12 + h**3/6 + h**2 - 2*h - 21. Let l be r(-1). Which is greater: l or -7/45?
l
Suppose -6*j - 5*r = -7*j + 220, 2*j - 4*r - 470 = 0. Let z be ((-14)/j)/(3/(-45)). Suppose f + l + 0 = -2, 4*f + 4 = -3*l. Which is smaller: f or z?
z
Let i be 4 - (6 + -4 - 3). Suppose 4 = -4*y + i*y. Let l = y - -4. Does 5 = l?
False
Let d be ((2 - -2) + -3)/(4 - 1)*-3. Which is smaller: 4363 or d?
d
Suppose 153*f + 31078 = 532*f. Is f != 416/5?
True
Let c(r) be the third derivative of r**5/30 + 21*r**4/8 - 35*r**3/6 - 3*r**2 - 22. Let f be c(-32). Suppose -3*x + 1 = -2. Which is bigger: x or f?
x
Let j be -22 + -4 + (5 - -2). Is j != -210/11?
True
Let r(x) be the first derivative of -35*x**2/2 - 54*x + 83. Let k be r(-2). Which is bigger: -0.1 or k?
k
Let t = -5751520/9 - -633224. Let k = 5842 + t. Which is greater: 0 or k?
k
Let m = -242 + 123. Let r = 118.6 + m. Which is smaller: r or -21?
-21
Let w = -69875881618/162134661 + 2/12471897. Let m = w - -431. Which is smaller: m or 1?
m
Let a(x) = x**3 + 2*x - 13. Let h be 2/2*0 + -5. Let i be 0/((-20)/h + -2). Let n be a(i). Is -13 at least as big as n?
True
Let q be ((-1)/((-15200)/(-76344)))/(0 + 12). Let j = -980399/400 - -2451. Let d = j - q. Which is greater: d or 1?
1
Let p be (-1 - 344/174) + (-3 + 6 - 0). Let k(g) = g**3 + 4*g**2 + 3*g + 2. Let m be k(-2). Are p and m nonequal?
True
Let r be (-1)/3*18/312. Suppose -3*g + 6 = 0, -4*g + 42 = 4*j + g. Suppose 0 = -8*n - 0*n - j. Is r at least as big as n?
True
Let v be 0 + ((-168)/(-20))/(12/450). Let s be (-5)/v*(2 - -4 - -4). Are s and -2/3 equal?
False
Let q = 13860/17 + -222559/272. Suppose 5 = -o + 1. Is q smaller than o?
False
Let b be (72/15)/(-2)*2. Let p = 32 + -31.88. Let c = p + -2.12. Which is smaller: b or c?
b
Suppose -26 = 10*b - 6. Let c be b/(-16)*4*(15 + 5). Suppose c*p - 355 = 295. Which is smaller: 64 or p?
64
Suppose 0 = -2*c - 4*n - 432, -10*c + 5*c + n = 1014. Do c and -210 have different values?
True
Let a = 907/3 - 305. Let p = 267/35 + -125/14. Let v = p - -17/15. Which is smaller: v or a?
a
Let z be 1*(-1220)/(-5350) + -3 + (-18)/(-10). Is z bigger than -1?
True
Let v = 11 + -10.56. Let h be -20*1/(11 - 7). Let s be (h/((-500)/(-8)))/(1/(-5)). Are s and v non-equal?
True
Let t = -2954 - -3621. Which is smaller: t or 4678/7?
t
Let b be (24/(-10))/((-4)/(-30)). Let y be (-8)/12 - 66/b - 3. Is y at least as big as -1?
True
Let u be (-12)/28 - 10/(-7). Let x(r) = 4*r. Let l be x(u). Suppose 2*s - 20 = -2*s. Which is greater: l or s?
s
Suppose 6*q - 190 = q. Suppose -2*o - 3*x = -84, 130*o - 127*o + x = 112. Let i = o - q. Is -11/7 > i?
True
Let t = 13096 + -16356902/1249. Is t greater than -1?
True
Let p(j) = -j - 3. Let f be p(7). Let u be f/26 - 4/(-10). Let s be (-18)/(-4) - 728/208. Is s < u?
False
Let z be (3 - 2286326/879410) + (-4)/10. Is z smaller than 1?
True
Let t = 10.9447 - 0.2147. Let k = -9.73 + t. Are 507 and k unequal?
True
Let a(o) = o**2 - 17. Let m be a(0). Let r be m/(-102) - 3590/12. Let h = r - -2088/7. Are h and 1 unequal?
True
Let w be (-11 + (-376)/(-32))/((-2)/8). Let n be 8 + w - 3954*(-3)/(-2370). Is 0 <= n?
False
Let r be (18400/(-7680))/(2/(-56)). Which is smaller: r or 66?
66
Let q = 0.058 - 0.018. Which is bigger: q or 373?
373
Suppose 535 = 8*p + 5743. Are -651 and p non-equal?
False
Suppose 103987 = -7173*f + 7186*f. Which is greater: 8000 or f?
8000
Let n be (-10)/4 + 17/((-4590)/(-567)). Let m = -1.4 + 2.1. Let z = m + 0.3. Is n at most as big as z?
True
Suppose -d + 1 = -3*s, 0*s = 3*s - 5*d - 7. Let b be 2*638/24 + 10/5. Let k = b - 55. Which is bigger: k or s?
k
Let n = 1.91 - 0.91. Suppose 138 - 34 = -2*o. Let g be o/(-624)*((-3)/(-2) - 0). Is g at least as big as n?
False
Let u = 3297 - 3222. Which is greater: 28 or u?
u
Let t be 0/(-3) - (9 + (-13 - -5)). Let o = 4 - 3. Suppose -5*y + 26 = z - o, 0 = -3*z - 9. Which is smaller: y or t?
t
Let l be (-6)/(-8) + (-4)/(-16). Let p = 37.6 - 40.46. Let o = p + 2.76. Is o greater than l?
False
Let p = 3693 - 7151. Is p greater than -3458?
False
Let h be 80 - 1 - (-9 - ((-7 - -9) + -5)). Which is bigger: h or 27?
h
Suppose -q = -5 - 14. Suppose 0 = -5*s + 161 + q. Suppose -4*j + 5*g + 150 = 0, -2*j - 17 = -4*g - 95. Which is smaller: j or s?
j
Let b(f) = f**3 + 26*f**2 + 24*f - 15. Let t be b(-25). Suppose 2*a = d - t, -a - 2*a - 15 = 2*d. Let h be (-2)/(-8) - (-85)/(-260). Are h and d non-equal?
True
Let h = 21/4 - 103/20. Let j = 48.5 + -23.1. Let i = -25 + j. Is i greater than h?
True
Let w = 466 + -359.5. Let b = -107 + w. Which is bigger: b or -0.18?
-0.18
Let k be (3 + 1950/(-651))*(-4)/(-4). Let t(q) = -q**3 + 12*q**2 - 14*q + 34. Let j be t(11). Which is bigger: j or k?
j
Let v be -8491895*10/(-7105) + -1. Let b = v + -11951. Let r = b + 8934/1421. Which is smaller: 7 or r?
r
Suppose 4*y = -3*h + 315, 161 + 59 = 3*y - h. Suppose 0*c = -16*c + 1200. Is c bigger than y?
False
Suppose -5*i + 195 = 4*v + 68, 103 = 4*v - 3*i. Suppose 6 = v*c - 27*c. Suppose -12 = 7*s - c*s. Is s at least -11?
False
Let d be 2*26*216/(-288). Which is greater: 4 or d?
4
Let r be (1 + -89)*(6890/1240 + 42/(-7)). Which is smaller: 38 or r?
38
Let w = -13292 - -13203. Is w greater than or equal to -54?
False
Let w = -8155/119527 + -14/1343. Which is bigger: w or 2/3?
2/3
Suppose 579*w - 293*w = 290*w + 16. Which is greater: w or 3/28?
3/28
Let g = -119 - -125. Suppose 4*v - g*v + 2*n - 22 = 0, -3*n - 45 = 3*v. Let p = -38 - v. Is p at least as big as -25?
True
Let n be 4/(-86) - 134336/(-86). Which is bigger: n or 1560?
n
Suppose 0 = 2*g - 13*g + 6072. Let d = g + -69002/125. Let b = -17 + 16. Which is smaller: d or b?
b
Let p be ((-18)/(-19782))/((-3)/((-63)/(-6))). Which is bigger: p or -5?
p
Let c be (382854/(-86))/(-3) + 4. Let i(d) = 24*d**2 + 4*d - 16. Let u be i(-8). Let h = c - u. Which is smaller: h or 1?
h
Suppose 12496 = -3902*d + 3302*d - 5504. Let s(c) = -38*c**3 + 1. Let m be s(1). Let v = m - -7. Is v >= d?
True
Let x(j) = j**2 - 2*j + 4. Let d be x(7). Let c(g) = -g**2 + 37*g + 210. Let i be c(-5). Let q be i - -35 - (-32)/16. Which is greater: d or q?
d
Suppose -13*d - 5 = -8*d. Suppose -4*u - 2*v - 22 = 0, u - 5*u - 28 = 4*v. Let l be (3/u)/((-2)/(-4)). Which is bigger: d or l?
d
Suppose 192*q - 243*q = 3315. Let x = -0.3 - -0.5. Are q and x unequal?
True
Suppose -20*t = -18*t. Let b be (108/15498)/(1 - t). Which is bigger: b or 0?
b
Let j = 40 - -53. Suppose -6*o = j + 165. Which is smaller: -42 or o?
o
Let k = -1 - -1.2. Let f = 3381 - 3380.29. Are f and k unequal?
True
Let m be -190*27/(-20488) - ((-125)/(-20) - 6). Is 1 equal to m?
False
Let w = -2564 + 12778/5. Let n be 10/(-2)*5/((-25)/17). Let s = n - 25. Is s != w?
True
Suppose 4*j - 3*x - 48 + 218 = 0, -2*x = j + 48. Let p be (j - -42)/(5/4). Is -1/5 != p?
True
Let t(y) = 3*y**3 + 2*y**2 - 4*y + 2. Let f be t(1). Suppose -f*o = -12*o + 3*o. Which is smaller: 8/11 or o?
o
Let c = 0.26 - -1.94. Let g = 1.17 + -0.97. Let f = g - c. Which is smaller: f or -2/3?
f
Let g be (3/(-2))/(((-3540)/5782)/(10/(-28))). Suppose -4*q - 8 = -0*q - 2*t, -2 = q + 5*t. Are q and g equal?
False
Suppose -5*w + 1 = 2*g, -3*g + w - 4*w - 3 = 0. Let a be (-8)/12*(21/g + 0). Are a and 15/2 unequal?
True
Let n(g) = 2*g**3 - 2*g**2 - g - 5. Suppose -4*l - 9 = -7*l. Let w be n(l). Let z be 0 - 1/14 - 12/w. Which is smaller: z or 0.5?
z
Let l be (-138)/18 - 