alse
Let b = 634 - 269. Let f be (-43)/86*(4 + -2). Which is smaller: f or b?
f
Suppose -22 = -4*o + 102. Let r = 37 - o. Suppose 91 = -r*c - 161. Which is smaller: -43 or c?
-43
Let u = 197861 - 197590. Suppose 0 = -4*w + 234 + 846. Is u at most as big as w?
False
Let x be (8/6)/((-32)/(-408)). Suppose -x*n - 96 = -n. Is n greater than -44/7?
True
Let s(d) = -d - 1. Let j(w) = -3*w - 4. Let b(v) = j(v) + 3*s(v). Let f be b(6). Let i = -63 - f. Which is smaller: i or -21?
-21
Let r(o) = -15*o**2 - 26*o**2 - 3 - 13*o + 40*o**2. Let z be r(-13). Does -21/11 = z?
False
Let b = -25860613/79704 + -7/39852. Let k = -324 - b. Is k >= 1?
False
Let z(n) = -n**2 + 18*n + 21. Let u be z(19). Let b be u + (-117 - -1)/4. Let k be (2/b)/((-3)/72). Which is bigger: k or 1?
k
Let b = 72 - 75. Let j be (((-10)/(-15))/(-2))/(b/108). Let s(c) = -c**3 + 12*c**2 + 4*c - 42. Let w be s(j). Does w = -2?
False
Let d be 13/((-39)/10) - 2. Let y(m) be the first derivative of -2*m**3/3 + m**2/2 + m + 7. Let a be y(2). Is d > a?
False
Suppose -j - 2 = -6. Suppose 3*d + 57 = 4*v, -j*d - 59 = v + 17. Suppose 19*k + 335 = 119 - 126. Which is smaller: k or d?
d
Let f = 798 + -757. Suppose f*w - 900 = -9*w. Is w < 200/11?
True
Let f be (-470)/24158*(-6)/(-5). Which is smaller: 1 or f?
f
Let j be (7/((-2170)/1725))/((-9)/18). Which is greater: 12 or j?
12
Let v = 0.16 - 1.46. Let n = v + 0.6. Let s = 4126/18081 - 12/2009. Which is smaller: s or n?
n
Let g be ((-2107)/735)/(2/6) - 2. Let n(s) = -s**2 - 9*s + 6 + 2*s**2 + 0. Let t be n(6). Which is bigger: t or g?
g
Let j = 9168 - 9167. Are j and 2/20991 unequal?
True
Let q be (4 - 0) + ((-38)/(-3705) - 4). Is 1 at most q?
False
Let w be ((-9)/(-27))/(8/6). Let n = 17 - -249. Let p = 241 - n. Which is greater: p or w?
w
Suppose 3*c + 68 = -11*c + 194. Which is smaller: c or 6?
6
Let n be (12/42*3)/((-2)/(-168)). Let r = n + -56. Suppose 5*p = -5*a + 4 + r, -4*p + 4*a = 16. Which is bigger: -1/96 or p?
p
Let u = -166 + 154. Let i be (-561)/44 - 2/8. Which is bigger: u or i?
u
Let u = -42 - -44.5. Let z = -0.12 + u. Let b = 0.38 - z. Which is smaller: b or -0.3?
b
Let o be 2*(-3 + (-490)/(-4)). Let y be (-9264)/(-39) - (-2 - (-200)/130). Which is smaller: o or y?
y
Let f(n) = 3*n**2 + 80*n - 474. Let o be f(5). Is -7229 less than or equal to o?
True
Let n(f) be the second derivative of -f**4/12 - 13*f**3/6 + 5*f**2/2 + 28*f. Let u be n(-14). Let v be (-1295)/(-42)*(-9)/30. Which is smaller: u or v?
v
Suppose 5844 = -3*g + 5559. Which is smaller: -106 or g?
-106
Let p = 1114.1 + -1065. Let v = 19.1 - p. Which is greater: v or -1?
-1
Let b be 48820/(-12210) - 1 - -5. Which is greater: 0 or b?
b
Suppose 0*m + 2*m - 152 = 3*z, 4*m + 3*z = 286. Let t = m + -362/5. Let r = 6041/3224 + 1/806. Which is smaller: t or r?
t
Suppose 0 = 2*n - 3*n + m, 4*m + 4 = 5*n. Suppose -u - 75 = n*u. Let k = 16 + u. Is k at least -1/16?
True
Suppose -47 = 20*c + 75 + 38. Are -129/19 and c unequal?
True
Let r be 67 - 1*(-1)/1. Suppose -41*s + 107*s - 4422 = 0. Is r bigger than s?
True
Let z = -458 - -467.93. Let m = -42.93 + 43. Let q = z + m. Is 0.2 bigger than q?
False
Let g = -1.85 + 1.48. Let m = g - -3.37. Which is bigger: m or -2/45?
m
Suppose -45 + 128 = 3*i + 5*a, 0 = 2*a - 2. Let w(l) = -l + 61. Let t be w(15). Suppose 6*b + i = -t. Which is smaller: b or -14?
-14
Let r be ((-12)/(-3)*-1)/((-2)/11). Suppose -r = -2*j - 9*j. Let x(n) = 4*n. Let q be x(1). Which is greater: j or q?
q
Let t be (-2)/(1/(42/4)). Let y be t*(-4 - (-34)/6). Let m be (21/y)/((-27)/2). Is m bigger than -1?
True
Let v be ((-1720483)/(-324510))/(-41) - 4/(-30). Are v and 1 unequal?
True
Let o = -5.754 + 5.9. Let s = 1.146 - o. Which is greater: s or -0.019?
s
Let o = -68.9 - -10.9. Let y = -194 - o. Are y and -0.2 equal?
False
Let y = 58 + -67. Let g be ((-87)/y)/(12/(-360)). Let o be g/26 + (-2)/(-13). Which is smaller: o or 1?
o
Suppose -8*t + 5*t = -4*t + 17. Which is smaller: t or 30?
t
Let o be ((-80)/(-12))/(2*1/6). Suppose o = -7*i + 2*i, 5*i + 10 = 5*t. Is -24/11 equal to t?
False
Let x(g) = -2*g**2 + 188*g - 547. Let z be x(91). Are z and -3/11024 equal?
False
Let r = 1394 + -2002. Let m = r + 49853/82. Which is bigger: m or -1?
m
Let n = 1703955/33182 + -2414/47. Do 1 and n have different values?
True
Let f(l) be the third derivative of l**6/3 - l**5/60 - 5*l**4/24 + 5*l**3/6 + 2*l**2 - 6*l. Let z be f(1). Is 1 at least as big as z?
False
Let c = -0.3929 - 0.9671. Do c and 0.16 have different values?
True
Let i be (-163)/(-3097) + (-1882)/(-342). Is 6 less than i?
False
Let j be 3/4*688/516. Which is bigger: 81/74 or j?
81/74
Suppose 5*r = 25, -3*u - 265 - 138 = r. Let o = 245 + u. Which is smaller: 1/4 or o?
1/4
Suppose 53 = -3*a + 83. Let l = -9 + a. Which is bigger: -1/35 or l?
l
Let r = -5941699093/3404 - -1745505. Let s = -3377225/296148 + r. Let b = -7/29 + s. Which is smaller: -11 or b?
b
Let l(f) = -f**3 + 2*f - 1. Let g be l(-2). Let x be ((-21)/(-5) - g)/(-2). Let b = 3479 + -3480. Which is smaller: x or b?
b
Suppose 131 = 2*p - 1. Let a(u) = 6*u - 30. Let t be a(16). Let y = t - p. Is 1/97 equal to y?
False
Let o = -54.5 + 455.5. Let n = 400 - o. Is 2/37 greater than or equal to n?
True
Let s be ((-1167)/7740 + 20/150)*-1168. Which is bigger: 20 or s?
s
Let s = -0.147 + 31.947. Let r = s - -9.2. Do -0.1 and r have the same value?
False
Let s = -91 - 134. Let l = s - -224.879. Is l not equal to -1?
True
Let h(o) = o**3 + 6*o**2 + 10*o + 10. Let k be h(-4). Let y be 5/(-2)*k/(-5). Suppose -23 = -8*r + y. Which is smaller: 3/2 or r?
3/2
Let m = -0.05547 - -0.12547. Which is smaller: 322 or m?
m
Let k = -1.19807 + 0.27807. Do 1/7 and k have the same value?
False
Suppose 21035 = -4*b - 13824 + 11919. Which is smaller: -1 or b?
b
Let g be 6/(-1) - (-2)/(-10)*(-15660)/(-972). Is -8 less than or equal to g?
False
Suppose -4*z - 2*o + 86 = 516, 3*o - 405 = 4*z. Let j = 17 + z. Which is greater: -89 or j?
j
Let j = -522692 + 72654920/139. Is j smaller than 4?
False
Let i = -38 + 38. Let b be (-24)/72*(1 + i - -2). Is b less than 2/11?
True
Let y be ((-3)/2)/(204/(-16)). Let j = y - -5/102. Let n(s) = 7*s + 141. Let h be n(-20). Which is bigger: h or j?
h
Suppose 0*u - 2*u + 4*w = -42, 4*w - 42 = -2*u. Let h be ((-9)/2)/(4/(-8)). Suppose -4*y + h*y = 105. Is u at least y?
True
Suppose -4*a - w - 18 = 0, 5*a + 4*w = 2*w - 21. Which is bigger: -224/59 or a?
-224/59
Let o = 3707649/112714 - 3192/97. Which is greater: o or 1?
1
Let p = -12996 + 402852/31. Is -2 != p?
True
Suppose -6*l - 87 - 51 = 0. Let s = l - -27. Suppose -6 = -s*o + 5*o. Is o equal to -0.01?
False
Let j = 0 + 2. Suppose 0 = -4*c - 5*f - 32, 3 = -5*c + 1163*f - 1160*f. Which is smaller: j or c?
c
Let p = -7 - 441. Let z = p - -7165/16. Does 8 = z?
False
Let v(j) = -22*j. Suppose -7*t = t + 64. Let w = t + 9. Let l be v(w). Which is smaller: l or -21?
l
Let s = 671 - 347. Suppose -3*c - s = -3*f, -4*c + 3*f - 464 = 7*f. Is c >= -111?
False
Let q = -3 - -5. Let m be (q/(-147))/(8/(-12)). Let f = -32182.1 + 32182. Which is greater: m or f?
m
Suppose -51*p = -47*p + v + 3643, 1826 = -2*p - 2*v. Which is smaller: -916 or p?
-916
Let t = 728 + -681.9. Let r = t + -45.1. Which is smaller: -0.01 or r?
-0.01
Let r = 933 - 1017. Which is smaller: r or -88?
-88
Suppose f - 118 + 113 = h, 2*f - 5 = -3*h. Is h > 16/1049?
False
Suppose 4*g + 41 = -5*q - 220, -5*g = q + 300. Let k be g + (8/1)/4. Let b = 59 + k. Is -2/39 at least as big as b?
False
Suppose 37 = 5*a + 7. Let y be (2 + 0)*a/4. Are y and 1 nonequal?
True
Let u be ((1 + -7)/(-42))/((-36)/126). Which is smaller: u or 1.0197?
u
Let x = 5.47 - 5.5. Let o = -2.97 + x. Which is smaller: 1 or o?
o
Let t(o) = o**2 + 9*o - 54. Let s = -1113 - -1102. Let n be t(s). Suppose 4*d + 121 = -7. Is n less than or equal to d?
True
Let c(a) = a + 177. Let x be c(-13). Let u be (41/x)/(-1*4). Which is smaller: u or -9/4?
-9/4
Suppose 0*i = 8*i + 72. Let b be 79/i + 6/81*-3. Suppose -5*p - 11 = 29. Is p greater than b?
True
Let c be (18/40)/((-2)/(-8)). Let i = -344878 + 344877. Is i > c?
False
Suppose 0 = 3*o + 9, 0 = 5*d - 6*d - 2*o - 4. Suppose 4*t + 14 = d*t. Let m be (-6 - t) + 0 + 14. Is 17 > m?
True
Let l(h) = h**3 + 5*h**2 + 8*h - 65. Let x(d) = -d**3 - 4*d*