h is smaller: -435 or d?
-435
Suppose 31 = 5*u + t + 33, 2*u = -t + 1. Is u at least 5/48?
False
Let k = -214 - -108. Let u = k + 101. Is u at least as big as 3?
False
Let j(x) = -x + 8. Let z be j(6). Let r be (3 - -8) + z/(-1). Let l(a) = -4*a + 1. Let n be l(-2). Is r > n?
False
Let j = 143 + -143.1. Let g = 8.03 + -8. Which is smaller: g or j?
j
Let v = -1692.7 + 1735.685. Let t = -43 + v. Is t > 1?
False
Let r(f) = -f**3 + 21*f**2 - 40*f + 38. Let a be r(19). Let b be (-6)/(-100)*8/3. Which is greater: b or a?
b
Let g be 1 + -2 + -2 - -3. Suppose -p = -3*z - 9 + 23, 2*p - 3*z + 31 = g. Is -16 at least as big as p?
True
Let u be 1/5 + 2*5/(-25). Is u smaller than 4?
True
Let z be (-3762)/(-22)*2/(-6). Is -55 greater than z?
True
Suppose -2*j - j = -6. Let p(k) = -4*k**3 - 4*k**2 + 4*k + 1. Let r be p(j). Let b = r + 41. Which is bigger: b or 7/3?
7/3
Let d(n) = 177*n + 1063. Let m be d(-6). Is m at least as big as -10/753?
True
Let u = 33 - 31. Let k = 0.1 - -1.9. Let g = u + k. Do g and 1/3 have the same value?
False
Let o be 1 + 25 + 4/(-2). Suppose -12 = -3*d, 0*g + 5*d - o = -4*g. Does 2/57 = g?
False
Let k be (-60)/370*546/1004. Let y = 5/251 - k. Is y bigger than -1?
True
Let g be (28/24 - 1) + 118/12. Let p be 4/g - 2/5. Is p greater than 1/18?
False
Let a = -900.99 - -901. Which is smaller: a or -10?
-10
Let i be ((-1)/(-2))/(-24 + -2). Let t(b) = 2*b - 21. Let x be t(6). Let c be (2 - (-24)/x)/(4/(-6)). Is i at least as big as c?
False
Let r = -4.6 - -4.3. Let j = r + -0.4. Is 3/4 less than or equal to j?
False
Let i be (-541)/7 + (-46)/(-161). Let h = i + 78. Is h >= -2?
True
Let y = -50 - -201/4. Suppose o - 3 = 2*o. Let g be -1 + (-200)/(-36) + o. Are y and g non-equal?
True
Let y(z) = z + 12. Let u be y(11). Let f = -15 + u. Is 9 less than f?
False
Let d(a) = a**3 + 3*a**2 - 6*a - 9. Let s be (-6)/2 + (-2 + 1)/1. Let n be d(s). Which is greater: n or -10?
n
Let r = -215.897 - -216. Is r >= -1/3?
True
Suppose p = 5*q - 2, 19 = -2*p + q + 4*q. Let b(a) = a**2 - 5*a - 2. Let r be b(3). Let j = p - r. Is j != 2/7?
True
Let g(x) = 2*x. Let l be g(3). Let n be (42/4)/(-7)*l/(-9). Are 3/8 and n non-equal?
True
Let z = -262.06 + 262. Let w = -8.06 + 8. Is z > w?
False
Suppose -2*h = 3*h. Let s be 2/15 + 2912/210. Let q be (35/(-16) + 2)/(s/56). Which is smaller: q or h?
q
Let r(s) = 2*s - s - 2*s + 0*s - 10. Let y be r(-14). Suppose -y*u = -2*u + 2. Which is greater: u or 3/8?
3/8
Let x = 7 - -3. Let j be x/(-15)*6/394. Let w = j - -213/1576. Which is smaller: 1 or w?
w
Let d(z) = z**2 + 1. Let k be d(0). Let b be k + 34904/(-9130) + 3. Let w = -2/415 - b. Which is greater: -2 or w?
w
Suppose -p = -0*p + 5*r + 12, 0 = 2*p - 4*r - 46. Let w = p - 10. Suppose 0 = w*m - m. Which is greater: -8 or m?
m
Let v(w) = 5*w - 20. Suppose 3*j - 6*j = 4*q - 47, -j = 4*q - 37. Let d be v(q). Let k = d - 18. Is k > 0?
True
Let n(l) = 63*l - 10. Let j be n(-1). Is j less than -960/13?
False
Suppose 4*b = 5*z - 16 - 31, -2*z = -2*b - 20. Let j = z + -11. Let c = 6 + j. Do 2 and c have different values?
False
Let t = 247.55 + -234. Let r = -0.55 + t. Which is bigger: 0 or r?
r
Let q = -8.68 + 133.68. Which is bigger: -1/4 or q?
q
Let m = -0.865 - 0.057. Let c = m + -0.078. Is c < 27?
True
Suppose q - 6 = 2. Let j = 9 + 4. Is q equal to j?
False
Let u = -38 - -302. Is 264 at least u?
True
Let g(r) = 4*r**2 + 4*r + 9. Let w(u) = -3*u**2 - 5*u - 9. Let p(y) = 2*g(y) + 3*w(y). Let d be p(-8). Is d greater than -1?
False
Let o be (-6)/9*5/10. Suppose -3 = -3*v, 2*n - 4*v + 100 = 4*n. Let w = n - 385/8. Is w not equal to o?
True
Let x = -11.935 + -0.065. Let m = 9.02 - 0.02. Let p = m + x. Which is greater: p or -0.2?
-0.2
Let k = -410.697 + 1.697. Is k greater than 1?
False
Suppose -5*p + 5*v - 10 = 0, 5*v = 2*p + 1 - 3. Let r = -100 - -292/3. Does r = p?
False
Let l(p) = -5*p + 3. Let b be l(4). Let w = -5.5 + 5.489. Let q = w - 0.989. Which is smaller: q or b?
b
Suppose 2*b + 7 = 5*l, 2*b - 7*b + 26 = 2*l. Which is smaller: b or 0?
0
Suppose 2*b - 5*b = 5*s + 19, -4*s = -3*b - 1. Suppose 4*k - 3*o + 14 = -4*o, 5*k + o + 17 = 0. Which is bigger: k or s?
s
Let h be (8/(-5))/(3/(-5) - -1). Are h and -4 nonequal?
False
Suppose 0 = -164*r + 172*r - 352. Is 43 greater than r?
False
Suppose -11*c + 1 = -12*c. Suppose 0 = 5*y - 4*p + 6, 1 = -0*y + y - 3*p. Let g be y/11*(-1)/2. Is g > c?
True
Let k be (-2)/(-5) + (-3069948)/(-7130). Let d = -1115 - -684. Let i = d + k. Is i > 0?
False
Let l = -124309714/3705 + 436076/13. Let x = l - -112/15. Let u be (-2)/3 + 16/15. Is x less than or equal to u?
True
Let o = 0.66 + -0.06. Let t = -16.4 + 18. Let q = t - o. Is q bigger than 0?
True
Suppose -4*s - 153 = -21*s. Which is bigger: s or 2?
s
Let a = 926.4 - 923. Is 0.06 <= a?
True
Let i = -17/123 - -1/205. Let b(f) = f**2. Let z be b(2). Suppose z*g + 3*u - 2*u + 9 = 0, -4*g - 5*u - 29 = 0. Which is bigger: g or i?
i
Let s be 582/306 + 0 + -1 + -3. Let d = -30/17 - s. Is 2/3 greater than or equal to d?
True
Suppose 36*d = 22*d + 18284. Are d and 1306 nonequal?
False
Let d = 72 - 24. Let h be (-1)/(-4) + 1140/d. Let o be h + -26 - (-1 - -12). Do o and -13 have the same value?
True
Let q be (108/(-42))/(6/42). Is -15 at most q?
False
Let s = 9 + -19. Let y be 1/5 - (-1 - 2/s). Which is bigger: -2/37 or y?
y
Suppose -2*n + 11 + 19 = 0. Let c = -23 + 37. Is n < c?
False
Let x = -46 - -48. Let t be (-20)/(-2)*5/x. Which is smaller: 1/4 or t?
1/4
Let s = 1370/3 - 456. Are -188 and s unequal?
True
Let r = -228 - -446. Do 1/2 and r have the same value?
False
Let p = -91.1 - -94. Is p greater than -10?
True
Let d be 1/(-4) - 309/(-4). Let x be 0/(-1 - 0) + d. Let i = -461/6 + x. Is i >= -2/9?
True
Let i(s) = 3*s**3 + 7*s**2 + 5*s + 2. Let q be i(-2). Is q <= -32/11?
True
Let c be -2 - (-2 - (-6)/9). Let o = 26 - 36. Is c less than or equal to o?
False
Let i(g) = -g**3 - 6*g**2 - 4. Let k be i(-6). Suppose y = q - 16, 2*q - 9*y - 44 = -13*y. Suppose 8*u + q = -u. Are u and k unequal?
True
Let t be -31*2*69/(-138). Which is smaller: t or 342/11?
t
Let p = -255 + 340. Do p and 86 have the same value?
False
Let x(s) = -s**3 + 6*s**2 - 9*s + 7. Let f be x(4). Suppose 5*p - 3*r - 2*r = 0, -p - 8 = f*r. Which is greater: p or -61?
p
Let d(t) = t**3 - 10*t**2 - 5*t + 116. Let w be d(11). Is w greater than 180?
True
Let h be 14/(-133) + 208/1254. Which is bigger: h or 4?
4
Suppose -3*p + 4*a = -207, -345 = -5*p + 3*a - 6*a. Is 62 less than p?
True
Suppose 0 = 3*n - 5 + 2. Suppose -2*d = d - r - 2, -5*d - 4*r - 8 = 0. Let c be (d - -1)/(9 + -8). Is n != c?
False
Let x(r) = -3 - 2*r + 17*r - 14*r. Let n be (2/5)/(1/(-20)). Let l be x(n). Which is smaller: -12 or l?
-12
Let z be (-56)/(-98) - (-21870)/70. Is z < 313?
False
Let r be (-3)/(-45) + 4/(-10). Let k = 4 - 10. Let a = k + 6. Which is smaller: r or a?
r
Let d be (1 - 4)/((-2)/(-6)). Let n(f) = f**3 + 10*f**2 + 11*f + 9. Let z be n(d). Suppose -2*a = 13 + 3. Is z less than a?
True
Suppose -2*x + 3*x - 1 = 0. Let c be (x/15)/((-8)/(-20)). Which is smaller: 0 or c?
0
Let w(u) = -u + 7. Let l be w(3). Let d = 44 + -35. Let y be 2*4/24 + 24/d. Which is greater: l or y?
l
Let t = -51.1 + 57. Let b = t - 6. Is -22 less than or equal to b?
True
Let m(n) = n**3 - 8*n**2 + n - 10. Let f be m(8). Let b = 79.67 + -79. Let j = b + -2.67. Is j at most as big as f?
True
Let j = -15683/102 + -167/34. Let t be ((-70)/21 - 0)/((-1)/(-48)). Let y = t - j. Is y at least as big as 0?
False
Suppose 3932 + 7508 = 16*w. Is 716 greater than w?
True
Let g be (-84)/1246*(-12)/27. Is -1 at most as big as g?
True
Let p = 21 - 16. Suppose -2*d + 15 = 3*k - 10, 0 = p*d - 5*k. Which is smaller: d or 7?
d
Let l be (-1)/(-4) - 999/(-36). Is 0 greater than l?
False
Suppose -5*j = 3*u + 29, 4*u + 33 = -0*u - j. Let b = -8 - u. Suppose -a + 4 = 3*a. Which is greater: a or b?
a
Let c be (-23)/138*52/(-14). Do c and 0 have the same value?
False
Let i = 67 - 584. Is i >= -516?
False
Let r = -1/9 + 4/9. Let g = 15.1 + -15. Which is smaller: g or r?
g
Suppose 0 = 3*v + 1 - 16, 5*v - 2 = -q. Let x be (-106)/(-6) + 1/3. Let f = q + x. Are f and -5 nonequal?
False
Let m be 4/(-10)*((-80)/(-2))/2. Let k(q) = q**3 + 7*q**2 - 11*q - 32. Let x be k(m). Is -15 < x?
True
Let a(