 (-18)/(-6)*2/o. Is d at most -7?
False
Let k = -26619/22 + 1210. Which is smaller: 6 or k?
k
Let o(z) = -20*z - 972. Let d be o(-49). Which is bigger: 14 or d?
14
Let g = -0.44 + -14.56. Let f = g + 15.5. Which is bigger: 4 or f?
4
Suppose -18 = -5*w - w. Suppose -54 = n - w*n. Let b be 3/2*36/n. Is 1 at least as big as b?
False
Let c = -51.8 - -38. Is c <= 0?
True
Suppose 2*f + 30 = -4*c, c + 3 + 2 = 0. Let z(w) = -2*w**3 - 2*w**2 + 2*w + 10. Let x be z(5). Let q be x/16*4/f. Is 1 greater than or equal to q?
False
Let j = -930.4 - -939. Which is bigger: 0.2 or j?
j
Suppose -3*c - 4*u = -129, 0*u + 106 = 2*c - 4*u. Let r(a) = -9*a + 3. Let k be r(-5). Are k and c nonequal?
True
Suppose 3*j - o = -3*o - 12, -o = 0. Let k be 1/(-2)*-3*(j + 2). Does -7/4 = k?
False
Let i be -7*(-5 - (-1703)/91). Suppose 2*t + 0*t + 191 = s, 1 = s. Which is bigger: i or t?
t
Suppose 6*c = 3*c + 177. Let y = 803 + -802.9. Is c <= y?
False
Let s(m) = 2*m**3 - 4*m**2 - 3*m - 12. Let l be s(3). Which is smaller: l or 8?
l
Let s(i) = -i**3 - 9*i**2 - 10*i - 20. Let d be s(-8). Let l be (18/(-27))/(4/18). Is d bigger than l?
False
Suppose 3*f - 8 = f. Suppose -4*v = -f - 16. Suppose 0 = -2*k + v*k. Which is bigger: -3/10 or k?
k
Let r be 3*(1/2)/(10/(-45)). Is r equal to 2?
False
Let q = 58851069726317487166/18721186694158343307 - -313/3993509826069. Let z = q + -7426/2279. Let a = z - 1/363. Which is greater: 1 or a?
1
Let m be ((-13)/36)/(-13)*(-1 + -1). Let g = 1 - 5/6. Let j = m - g. Which is smaller: -3/2 or j?
-3/2
Let f = 1.11 + -0.11. Let j(y) = -y + 6. Let x be (-9)/((-1)/(-2)*-2). Let d be j(x). Which is smaller: f or d?
d
Let g = 0 - -0.1. Let z = 52231/26 + -2009. Is g smaller than z?
False
Let w = -111 + 44. Let u = w - -65. Let l = -340/9 + 38. Is l >= u?
True
Suppose -l - 2 = -7. Suppose -3*a = -3*p + 2*p + 12, 15 = -l*a. Is 21/8 at most as big as p?
True
Let t = -0.175 + 7.175. Are t and 1.8 equal?
False
Suppose 0*i + 7 = i. Suppose 2 = -5*k + 2*x - 1, -4*k - 3*x = i. Let a be 2/9 + 10/(-126). Which is bigger: a or k?
a
Suppose -13*o = -18*o - 105. Let i = o + 19. Which is smaller: i or -4?
-4
Suppose -5*u - 2*j = -3*u - 2, 5*u - 4*j - 14 = 0. Let y(f) = f**2 - 5*f - 5. Let s be y(6). Do s and u have different values?
True
Let t = 0.4 - 0.45. Let u be (-2 + 4 + -2)/(-3 - -1). Suppose -g + 8 = -3*q - 0, -q + g - 2 = u. Is t at most as big as q?
False
Let o = 1 + 0. Let u(d) be the second derivative of d**4/6 + 3*d**3/2 - 7*d**2/2 + 13*d. Let m be u(-5). Does o = m?
False
Let a(u) = -u**2 - 10*u - 11. Let j be a(-9). Let n be (j + (-10)/(-4))/(2/60). Is n at most 15?
True
Let u = 973 + -903. Is -0.2 bigger than u?
False
Let f(k) = -6*k - 12. Let a be f(-3). Let t be ((-4)/a)/((-18)/(-81)). Let o be -2 + -2 + -1 + 1. Is o at least t?
False
Suppose 69*f = 59*f - 270. Let j = -14 + -13. Is f greater than j?
False
Let i = 2077/41065 + -12/215. Is 1 smaller than i?
False
Let o = 292 - -794. Let f be (o/105)/(15/35). Let i = f - 24. Which is bigger: i or 1?
1
Let w = 0 - -0.1. Let o = -187.56 + -18.04. Let d = 206 + o. Which is greater: d or w?
d
Let q = -936 - -934. Suppose -3 = n + 1. Which is bigger: n or q?
q
Let t be (-100)/(-120)*44/130. Which is smaller: t or -1?
-1
Let a be 5 + (-8)/4 + -1. Suppose -2*w - 1 = -2*l - 11, -4*w - a*l = -20. Suppose w*n + 28 = -2. Is n greater than -8?
True
Let c be 2/(-276)*(-2306)/(-15). Let d = c + 1/345. Let k = d - -16/9. Do k and 0.3 have the same value?
False
Let n be (23 + -26 - (-362)/(-5)) + -2. Which is smaller: -77 or n?
n
Let k(y) = -70*y**2 + 3*y - 1. Let v be k(-1). Let f(g) = 11*g - 7. Let w be f(-6). Which is smaller: v or w?
v
Let g be (-136)/100 - (5 + -7). Let w = g + -1926/275. Which is smaller: -7 or w?
-7
Let r = -2 - -1. Let l(b) be the second derivative of b**3/6 + 9*b. Let m be l(r). Is m != -1/5?
True
Let l = -32 - 20. Let d(q) = -q**3 - 6*q**2 + 4*q - 3. Let y be d(-4). Which is smaller: y or l?
l
Let q = 108 + -97. Which is smaller: 34/3 or q?
q
Let u = 17543/29 + -605. Is 0 at most as big as u?
False
Let n be ((-3)/9 - 0)*177 + -5. Do n and -66 have the same value?
False
Let k = -225677574923759018928106404958292557/71904678120 - -3138565957379450389063375. Let r = 3/181577470 - k. Let c = 483/8 + r. Which is bigger: c or -1?
c
Suppose -4*n - 671 = 3*b + 3325, -2*b + n = 2664. Which is smaller: b or -1331?
b
Suppose 79 = -12*x - 29. Is x greater than or equal to -9?
True
Let p be (8 - 9)*(-2 + 0 + 4). Let s = -313/5 + 62. Which is smaller: p or s?
p
Let m be 32/48*(-1)/(-2). Which is bigger: 4 or m?
4
Suppose -5 = -4*y + 7*r - 2*r, 5 = -y - 5*r. Suppose 5*z - 4*u - 19 - 25 = y, -4*u + 16 = 0. Is 11 <= z?
True
Let s be (96/(-672))/(2/(-908)). Which is smaller: 65 or s?
s
Let a be 4/40*34 + -3. Suppose -t = 3*t - 4. Suppose 4*y - z = -t, 4 - 3 = -y + z. Which is greater: a or y?
a
Suppose 14*d = 21*d + 28. Do d and 0 have different values?
True
Let t be 8*(7/(-2) - -1). Let s = 0.5196 + -0.6196. Do s and t have the same value?
False
Let c be 144/396 - 329/814. Which is smaller: 0 or c?
c
Let h = 34 - 85. Let s = -50 - h. Which is smaller: 1/4 or s?
1/4
Let p = 0.01 + -4.71. Let d = 4.738 + p. Is d equal to -1/3?
False
Suppose 60*j = 56*j - 4380. Are j and -1094 equal?
False
Let i be (-13)/(-2) - (-1)/2. Suppose -i*y + 9*y = 4. Suppose -2 = -p - 1. Which is smaller: p or y?
p
Suppose 2*v + 1 = q + v, 5*q + 1 = 2*v. Is -18/53 greater than q?
True
Let w be (2/4)/(10*(-6)/(-120)). Which is bigger: w or 6/67?
w
Suppose -3 = d - 2. Let z be 4*(1/(-3) - 328/(-48)). Let y = -181/7 + z. Does y = d?
False
Let p(f) = -32*f - 143. Let h be p(-5). Which is greater: h or 15?
h
Let g = -0.17 - -0.97. Let k = 1 + -0.9. Which is smaller: g or k?
k
Let o = 15578503/102 + -152729. Let w = 4/51 + o. Which is smaller: 2 or w?
w
Suppose 6 = z - 3*w, -2*z - 4*w + 1 = 9. Let u = -607774 - -69286807/114. Let o = 31/6 - u. Which is bigger: z or o?
o
Let r = 0.57 - 0.52. Let k = 0.416 + -0.216. Which is bigger: k or r?
k
Let h(b) = b**3 + 7*b**2 - 10*b - 8. Suppose -15 + 39 = -3*w. Let a be h(w). Let q = 7 + -8. Which is smaller: q or a?
q
Suppose 2*f - 4*n = 52 - 12, 5*n = -25. Let k = -83 + 59. Let q be (2/7)/(k/(-56)). Does f = q?
False
Let i be (-229 - -42)/(1/(-1)). Which is greater: i or 188?
188
Let r = -614 + 562. Is r smaller than -49?
True
Let z = -17 + 19. Suppose 0*n - 7 = -3*n + 4*x, 0 = -z*n + 2*x + 4. Is n > 1.8?
False
Let p = -8.537 - -0.137. Let i = p + 7.4. Which is smaller: 13 or i?
i
Let d be (21/189)/(2/(-6)). Let v(j) = -2*j - 9. Let u be v(-7). Which is greater: u or d?
u
Let a = -0.9 + 2.1. Let g = -0.6 + a. Let c = -0.7 + g. Is 5/3 equal to c?
False
Let w = -90 + 221. Let r = w - 128. Is 3 < r?
False
Let p = 15.15 + -15. Let b = -0.25 - p. Let w = 0.51 + b. Is w greater than or equal to -1?
True
Let g be 55/33*-3 - (-5 + -1). Which is smaller: g or 2/7?
2/7
Let o(k) = -96*k - 13. Let n be o(-11). Suppose 4*a + n + 1 = 0. Let z = -1824/7 - a. Is z less than or equal to 1?
True
Let o = 384 - 376. Are 6 and o equal?
False
Let h(y) = -57*y + 38. Let o be h(-8). Which is bigger: o or 495?
495
Let w be ((-93)/(-62))/((-22)/4). Which is smaller: w or 0?
w
Let f be (-7116)/52 + 1*14/(-91). Do -0.05 and f have different values?
True
Suppose 2*c - 13 = -c + 2*v, -30 = -2*c - 4*v. Let t = 624 + -622. Which is bigger: c or t?
c
Let u = -2270 + 2269.9. Is 1137 at least as big as u?
True
Let s(f) = f**3 + 8*f**2 - 7*f - 11. Let m be s(-8). Let p = -10 + 56. Which is greater: m or p?
p
Let c = -7 - -8.1. Let f = -29 - -30. Is f less than c?
True
Suppose -48 = -3*t - 12. Suppose -4*x + t = 8. Suppose 0 = -3*n - i - 1 + 35, 26 = 3*n - i. Are n and x unequal?
True
Suppose 0 = 4*g - 3*g - 2. Suppose 4*r - 5*r + 2*q - 13 = 0, -g = -q. Does r = -10?
False
Let o = 0.08 - 0.08. Let i(b) = b**3 - 5*b**2 - 7*b - 2. Let n be i(6). Let y be (-1)/21 - n/(-28). Is o at most y?
False
Let u(d) = 4*d - 21. Let z be u(-4). Is -188/5 smaller than z?
True
Let q = -4 - -1.2. Let a = 10.8 + q. Is -1 bigger than a?
False
Let v be 45223/2583 - (-2)/(-9). Which is smaller: v or 16?
16
Let j = 14 - 13. Let g be 285/120 + j + (-8)/2. Is g smaller than 0?
True
Suppose -5 - 6 = q - 2*g, q - 4*g + 9 = 0. Let v be -30*(-3)/15*-2. Which is