h is smaller: y or 1.04?
y
Let q = 15.9 + -15.9. Suppose -101 = -5*a + 9. Which is greater: a or q?
a
Let d = 25251/16 - 1579. Do d and -1 have the same value?
False
Let n = -2873/6780 - -4/565. Which is smaller: 1 or n?
n
Let h = -79 + 139. Let a be (2/(-8))/(9/h). Which is smaller: -0.3 or a?
a
Let q be (-8525)/(-1683) + -8 + 3. Which is smaller: q or -1?
-1
Suppose -2*u - u - 120 = 0. Let m = 51 + u. Is m less than or equal to 10?
False
Let k = 0.264 + -0.464. Which is greater: k or -1/74?
-1/74
Let w(l) = -5*l**3 - 10*l**2 - 3. Let x(m) = -m**3 - 1. Let r(u) = w(u) - 4*x(u). Let z be r(-10). Let d be z + 1/(-12) - 1. Which is smaller: d or -1?
-1
Let k = 0.014 - -27.986. Let v = 30 - k. Which is greater: v or -0.09?
v
Suppose 33 - 9 = -4*w. Suppose -2*b = -4*n - 12, 4*n - 7*n + 2*b = 8. Which is smaller: w or n?
w
Let a be -8 - ((-15714)/(-15))/(-9). Which is greater: 107 or a?
a
Suppose v = 4*h + 1 - 8, -1 = 2*h - 5*v. Suppose 5*w + 2*j - 56 = -h*j, 5*j + 12 = 4*w. Is -1/4 less than or equal to w?
True
Let c be (-3)/2*88/(-33). Is 6 less than or equal to c?
False
Let d(j) = -4*j + 9. Let f(x) = 16*x - 37. Let l(p) = 9*d(p) + 2*f(p). Let b be l(2). Which is smaller: 3/11 or b?
b
Let h be (-2)/4 - 45/10. Which is smaller: -6 or h?
-6
Let i be -5*(-1 + 3/5). Suppose -42 = -i*o - o. Let w = o - 19. Is 2/3 != w?
True
Let a = 9 - 11. Let h be (-9)/(-6) + (-36)/8. Let k be h*2*12/18. Which is smaller: a or k?
k
Let z = 40 + -28. Suppose 17*n + 5 = z*n. Which is smaller: n or 5?
n
Let n be (-84910)/(-28294) - (-15)/(-5). Which is smaller: n or 1?
n
Let v = -7977/5 - -1611. Which is greater: v or 15?
v
Let y(u) = u**2 + 4*u + 3. Let g be y(-3). Suppose -5*j - n - 3*n = g, -9 = -4*j - 5*n. Let a be (2/(-2))/(5 + j). Which is smaller: a or 0.4?
a
Suppose 8 = -2*c + 2. Let d be ((-1)/((5 + c)/1))/(-2). Which is bigger: 0.04 or d?
d
Let d = 4.3 + -7.6. Let l = d - -3.4. Let i = -0.09 + 0.89. Which is smaller: l or i?
l
Let r = -0.1 + -0.05. Let u = 1.1 + -1.05. Let o = r + u. Which is smaller: 2/41 or o?
o
Let h(g) be the third derivative of -g**4/12 + 5*g**3/6 + 21*g**2. Let o be (-1)/(-3) - (-121)/33. Let s be h(o). Is s at most -2?
True
Let i = -633749 + 634382851/1001. Let j = i - 1/91. Is j greater than -1/3?
True
Suppose 4*c - 28 = 12. Suppose -2*t = -14 - 2. Suppose -5*i = -i + t. Which is bigger: i or c?
c
Suppose 16*g = -48*g + 12352. Which is bigger: g or 967/5?
967/5
Let w = 0.38 - -0.02. Let j = -1.05 - 0.7. Let a = j + -0.25. Is a at most as big as w?
True
Suppose 5*x + f - 94 = 0, -5*f = 3*x + 2*x - 110. Let d = x + -3. Which is bigger: 13 or d?
d
Let x = -352/285 + 2/57. Let j(p) = 11*p - 43. Let a be j(4). Is x at most a?
True
Let i(d) = -10*d**2 - d + 1. Let w be i(1). Let t be w/(-4)*8/70. Suppose -5*c + 4*v = -0*v + 13, 5*c - 5*v = -15. Is t >= c?
True
Let i be (108/20)/((-3)/(-15)). Let w be 666/i + (0 - (-4)/(-6)). Which is bigger: w or 26?
26
Suppose -78*q + 3100 = -103*q. Which is greater: -122 or q?
-122
Let n(u) be the second derivative of -u**5/20 - u**4/4 - u**3/3 + u**2/2 - 2*u. Let b be n(-3). Let d = -93 - -98. Is d < b?
True
Suppose 7*y = 4*y - 24. Let o(u) = 5*u - 11. Let a be o(y). Is -51 at least as big as a?
True
Suppose -18*x + 15*x = -6. Let s be ((-14)/8 + x)/((-11)/(-330)). Is s at least 7?
True
Let c(m) = m**3 + 2*m**2 + m - 2. Let t be c(-2). Suppose 4*u - 100 = -0*u. Let a be (t/(-70))/((-5)/u). Is -3/2 at least a?
False
Let v = -74 + 76. Suppose v*x - 54 = -5*r, -8*r = -6*r + 3*x - 15. Which is bigger: 38/3 or r?
38/3
Let j = -0.195 + 0.595. Let a = -1062/7 + 152. Which is smaller: a or j?
a
Let w(u) = -u + 9. Let m be w(4). Suppose f = -5*n - 17, 0 = f + 5*n - 3*n + m. Let h be (4 + 0 - 5) + f. Is -0.7 at most h?
True
Let t be (9/(-402))/(4/24). Let o = t + 383/3350. Is o < 1?
True
Let v = 7 - 7. Suppose 4*h - h + 21 = v. Is h >= 0.2?
False
Let d(c) = c**3 + 10*c**2 - 2*c - 19. Suppose -24 + 64 = -4*r. Let g be d(r). Is -2/71 != g?
True
Let l be (-96)/(-486) + (-4)/18. Let k = l + -227/648. Is k bigger than 3/11?
False
Let f = -1 - -2. Let a be f/((-4)/(48/(-3))). Suppose 0 = 3*z + 1 - a. Which is greater: -3/13 or z?
z
Let m be (-7 - -19)*(-4)/(-6). Suppose -m*n = -3*n - 5*t - 40, 0 = 3*n + 4*t - 3. Suppose 5 = -s, 2*u + 9 + 14 = -n*s. Which is bigger: u or 1/7?
u
Let c be 129/(-10) - 1/(-5). Let m = -21/10 - c. Let p = m + -381/35. Which is smaller: p or -0.1?
p
Suppose 5*m + 2*m - 28 = 0. Suppose f = 0, -5*c = -4*c - m*f. Let d be 1/3 + 4/(-15). Is c at least d?
False
Let c = 383979/9320 - -1/1864. Is 42 <= c?
False
Let k(r) = r**2 - 3*r - 7. Let u be k(-3). Let m be 1/((-20)/6 - -3) + u. Which is bigger: -2/5 or m?
m
Let a = -40.3 + 36.3. Is 0.22 smaller than a?
False
Suppose 4*n + 19 = -5*p, 0 = -4*n + 2*p - 5*p - 21. Let w be 2 + (-2 - -8 - 3). Suppose 3*c + w*h + 17 = 3*h, 14 = -3*c + h. Which is greater: c or n?
c
Let c = 323 + 34. Is 357 less than or equal to c?
True
Let d be 10/3*8/(-60)*-27. Suppose -4*t - 2*l = 3*l + 5, 4*l = -4*t. Suppose t*u - 28 - 32 = 0. Is u <= d?
True
Suppose 0 = 77*n - 1468 - 996. Is n at most 28?
False
Let n = 1454 + -1336. Is n less than or equal to 118?
True
Let b = 775 + -978. Which is smaller: b or -204?
-204
Suppose 75*u + 240 = 63*u. Is -7 != u?
True
Let x be (0/(-6))/(1 - -1). Let r be -1*x/4 - -6. Suppose r*j - 10 = j. Is 8 less than or equal to j?
False
Let s = 3.7 - 3.6. Let h = -45 + 47.9. Let y = h - -0.1. Do y and s have different values?
True
Let y = 9.2 + -1.2. Which is greater: 6 or y?
y
Let t = -755 + 756. Let o be (-8)/60 - 1/5. Which is greater: t or o?
t
Let a(v) = v**3 - v**2 + 2*v - 1. Let x be a(1). Let i = -4227953/209 - -220578/11. Let u = i - -177. Are u and x equal?
False
Let p = -6.8 - -1.8. Are p and 7 unequal?
True
Let z = 1653 - 1644. Is z greater than 5?
True
Suppose -2*n + 5*n - i + 8 = 0, 2*i - 15 = 5*n. Which is smaller: n or 122?
n
Let y = -2518/6665 - 2/215. Is 0 <= y?
False
Suppose -749*y + 745*y + 4 = 0. Is y < -10/37?
False
Let g = -1 - -19. Let a = -8 + g. Let n = 12 - a. Which is smaller: n or 2/3?
2/3
Let h = -1754 + 1230. Which is smaller: -525 or h?
-525
Let v(m) = 13*m**3 - 17*m**2 + 4*m - 71. Let c(t) = 7*t**3 - 8*t**2 + 2*t - 36. Let a(s) = -11*c(s) + 6*v(s). Let h be a(14). Which is smaller: h or 1?
h
Let o be (-165)/(-99)*(-2634)/(-10). Is 440 at least o?
True
Let j be 10970/312 - (-2)/8. Let q be ((-6)/(-21))/((-6)/(-742)). Let m = j - q. Which is greater: m or -1?
m
Let m be (25 - 28)*3/219. Which is bigger: -1 or m?
m
Let q be (9/(-3))/(48/176). Is -12 at most as big as q?
True
Suppose 0 = -q - 0*q. Suppose -f + 30 = -3*f. Let m be (f/(-140))/(1/12). Is q at most as big as m?
True
Let a be (-2 + (-10)/(-6))/(5/(-15)). Which is bigger: 3/434 or a?
a
Let c = 397 + -181. Which is greater: 215 or c?
c
Let c(h) = 60*h + 599. Let b be c(-10). Is b not equal to 5/101?
True
Let d = -1/21 + -1/28. Let i = 534 - 535. Is i less than d?
True
Let t be (12/(-54))/(5/(-45)). Which is smaller: 24/31 or t?
24/31
Let k = 5.8 - 5.79. Let b = k - 0.29. Which is bigger: -2 or b?
b
Let s be (68 + -78)*(-5)/(-16). Is -2 at most s?
False
Let q(h) = 3*h**3 + 6*h**2 + 4*h + 7. Let j(u) = 16*u**3 + 31*u**2 + 20*u + 36. Let f(w) = 2*j(w) - 11*q(w). Let i be f(-3). Is i bigger than -2?
False
Let w = -2427 + 4350. Does w = 0?
False
Suppose 6*j - 2*j - 8 = 0. Let d be ((-6)/(-108))/(33/2). Let l = 1195/2079 - d. Which is bigger: j or l?
j
Let q = 0.153 - 0.153. Which is smaller: q or -1/24?
-1/24
Let p = 1137 - 1126.2. Are 0.07 and p equal?
False
Suppose 0 = 3*f - 13 + 1. Let p be (-5)/((-20)/(-16)) + f. Let o be 7/(-5) - 0/(-2). Which is smaller: p or o?
o
Let h be 42/12 - ((-12)/(-8))/3. Suppose 15 = 2*t + 3*t. Do h and t have the same value?
True
Let m = 203 - 4667/23. Is 1/4 equal to m?
False
Let z = -0.0585 - 0.9415. Let k = 0 - 0.3. Let j = k - -0.34. Which is smaller: j or z?
z
Let x be (-1054)/(-16260) + 12/(-180). Is 1 not equal to x?
True
Suppose -3*q = 4 + 8. Let k = -3 - q. Which is bigger: -2 or k?
k
Let k(w) = 15*w + 95. Let x be k(-16). Which is greater: x or -146?
x
Let y = -260 - -251. Which is greater: y or 1?
1
Let o = -815/3 + 273. Are o and 2 unequal?
True
Suppose 2*q = -0*q - 130. Let y be (-358)/(-5) - 26/q. Let p be (-7)/