ger: 3 or n?
3
Let n be -64 + -10 + (1 - -1). Let v = 33 + n. Is -40 > v?
False
Let v(k) = 17*k + 244. Let p be v(-14). Which is smaller: 33/7 or p?
33/7
Let f be ((-130)/(-27340))/13*(-8)/(-6). Let y be 2 + ((-40988)/(-45111) - 2). Let v = y + f. Which is smaller: v or 0?
0
Suppose -6*x - 2 + 2 = 0. Suppose 13*j - 16*j - 66 = x. Which is smaller: j or -21?
j
Let x be 117/126 - (-3)/(-7). Let y = 54 - 80. Is y equal to x?
False
Let z = -12 - -2. Let v be (14/15)/(2/z). Let j be (-1 + 13/7)/(4/(-28)). Is v at least j?
True
Let g be (217/(-14))/(2*(-10)/(-8)). Is g smaller than -7?
False
Let b be (-8)/10 - 1/(15/1008). Let t = b + 59. Which is greater: t or -3?
-3
Suppose -3*t + 8 = -y, 8 = 5*t + 11*y - 10*y. Which is bigger: t or 2/121?
t
Let r(a) = 12*a**2 + 7*a + 4. Let w be r(-3). Let t = 79 - w. Which is greater: -11 or t?
-11
Let a = 0.085 - 0.095. Let n = 15 - 11. Suppose n*l - 3*z - z = 8, 3*l = -2*z - 4. Is a >= l?
False
Let c(t) be the third derivative of t**5/60 - t**4/12 - 2*t**2. Let j(x) = x**2 + 5*x - 4. Let p be j(-6). Let w be c(p). Which is smaller: w or 1?
w
Let b be (2/3)/(14/21). Let j(x) = -5*x - 1. Let w be j(b). Let i be (9/(-54))/(w/(-8)). Is -1 < i?
True
Let u be -1*3*(0 + -7)/(-21). Is 1/1553 equal to u?
False
Suppose 622 - 3163 = -21*w. Is 121 less than or equal to w?
True
Let d = 33.7 + -33.6. Which is smaller: d or 99?
d
Let y(k) = k**2 + 8*k - 18. Let c be y(-10). Suppose -w + 2*w + c*s = -6, 0 = 5*w + 2*s + 6. Does 2/5 = w?
False
Let s = -156 - -154. Which is greater: -83 or s?
s
Let i(f) = -51*f**3 - f - 1. Let x be i(-1). Let a = x + -81. Is a less than -29?
True
Let f = -7.2 - 0.8. Let y = 97 - 97.096. Let q = y - 0.904. Which is smaller: q or f?
f
Let n = 255/4 + -71659/1124. Which is smaller: -1 or n?
-1
Let w(o) = 2*o**3 - 32*o**2 + 29*o + 13. Let d be w(15). Which is bigger: -82 or d?
d
Let f(a) = -a**2 + 27*a - 92. Let g be f(23). Which is smaller: -44/31 or g?
-44/31
Let g = -0.2 + -0.3. Let c = -1.5 - g. Let l = -10 - -11. Which is bigger: l or c?
l
Let b = -330.9 + 279. Let r = b - -52. Are -3/11 and r unequal?
True
Let l = 4.67 + 25.33. Which is smaller: -1.2 or l?
-1.2
Let w = -665/2031 + -4/677. Let x = 19 + 2. Is w equal to x?
False
Let d = 15 + -13. Suppose -d*z + z + 2 = 0. Is z at least -10?
True
Let u = -160021089493/49603100 + 8/496031. Let n = u - -3226. Is n greater than or equal to 0?
False
Let w = 49 - 48. Let b = 11.14 + -8.7. Let k = 0.34 - b. Which is smaller: k or w?
k
Let h be (-5 - (-309)/63) + 620/(-105). Let a = 0.9 + 0.1. Which is smaller: h or a?
h
Let u(k) = -3*k + 2. Let b be (-1 - (1 - -2)) + -1. Let v be u(b). Suppose 3*f = 3, 0 = 7*s - 2*s + 3*f - 93. Does s = v?
False
Let s be (-2)/(-3)*1989/26. Let m be ((-17)/s)/(176/9). Let f = 7/16 - m. Which is greater: 1 or f?
1
Let a = -915/637 + 44/49. Is a smaller than -1?
False
Suppose -l - 26 = -11. Let w be l/(-2)*(-4)/(-5). Is 6 > w?
False
Suppose -4*q + v = 0, 5*q = q - 2*v - 12. Which is bigger: 2/155 or q?
2/155
Let m(i) = -i**2 + 18*i + 18. Let y be m(19). Which is smaller: -5/19 or y?
y
Let w(z) be the first derivative of 2*z**3/3 + 7*z**2/2 - 3*z - 13. Let r be w(-3). Which is greater: r or 1?
1
Let w = 12 + -5. Let t be (3/(-5))/(w/(-315)). Which is smaller: 26 or t?
26
Suppose r - 42 = 3*n - 2*r, -n - r = 22. Let g be (n/9)/(3/6). Is g <= -3?
True
Let z = 424 + -387. Which is smaller: z or -0.05?
-0.05
Let g be 20900/(-304) - ((-3)/4 + 0). Let y = -89 - g. Which is greater: -2/3 or y?
-2/3
Let n be ((-4)/6)/(4/(-222)). Suppose 0 = -f - k + 3 + 8, k + n = 5*f. Suppose 4*b - f = 4. Are b and 3 nonequal?
False
Let g = -0.04 - -0.003. Let x = g + 0.517. Are x and 1/3 unequal?
True
Let c(g) = -g**2 + 8*g - 6. Let s be c(6). Suppose 4*l = -z + 2*l + 5, -2*z + 4*l = -10. Which is smaller: s or z?
z
Let w(c) = 5*c**2 - 2*c + 1. Let q be w(1). Let d = q + -1. Let r be (-4 - -4) + d/(-8). Is 0 smaller than r?
False
Let i(r) = -26*r**3 + 3*r**2 - r - 1. Let q be i(1). Let o be -7 + 5 - 10/q. Is -3 at most o?
True
Suppose -5*v + 10 = -23*x + 24*x, 0 = -3*x - 4*v + 41. Let p be (-168)/4*(-1)/(-2). Let z be (-321)/p + (-6)/21. Are x and z nonequal?
False
Let j(b) be the second derivative of b**4/12 - 2*b**3/3 + 15*b**2 + 8*b. Let q be j(4). Is q equal to 30?
True
Let g = -141 - -61. Let n be 2/(-10) + (-4)/(g/(-11)). Is -2 less than n?
True
Let p = -51 - -79. Let d = -30 + p. Which is greater: d or -7/5?
-7/5
Let p = -13 + 18. Suppose o + 10 = -2*j, 0 = -4*j - j + 5*o + p. Let g = 15 + -16. Is j <= g?
True
Let t = 294.17 - 276.3. Let o = t - -2.13. Let h = -0.3 - -0.2. Is o equal to h?
False
Suppose 2*f - 3*k = -15, 0 = -3*f - 4*k + 2*k - 29. Let y(g) = g**3 - g**2 + 12. Let q be y(0). Let w be (-40)/(-6)*q/(-10). Which is smaller: f or w?
f
Let f = 13 - 4. Suppose 3*s - d - f = 0, 0 = s - 5*d + 6 + 5. Let z = 2 - s. Which is smaller: -0.03 or z?
z
Let u = 55 - 93.5. Let t = u - -35. Is 1 greater than t?
True
Suppose 45*q - 16*q - 145 = 0. Do 1 and q have the same value?
False
Let c(j) = -j**3 - 4*j**2 + 44*j + 5. Let z be c(5). Is z bigger than -1/221?
True
Let f = 4/5481 + -2742331/5481. Let t = f - -506. Do t and 2 have the same value?
False
Let o be -1 - 3*(7 + -48). Is o at least as big as 122?
True
Let a be (-1)/(-4) + 265/(-740). Is 0.1 <= a?
False
Suppose 1 = -3*y - 0*y + 4*i, 2*y - 5*i = 4. Let s be -2 + 1 + 15/(-21). Which is smaller: s or y?
y
Let w = -644708923/2090 + 17065684/55. Let k = 1812 - w. Let d = k - -563/1330. Which is greater: 1 or d?
1
Let n be 134/(-4) + 4 + (-1)/(-2). Which is smaller: n or -30?
-30
Let s = 0.172 + -0.134. Let y = s - -0.062. Which is greater: -13 or y?
y
Let g = 2666746/371 + -7188. Which is bigger: 1 or g?
1
Let h = -45.8 + 42. Let i = h - -17.8. Which is smaller: i or -1/2?
-1/2
Let x = 3.3 - 2.3. Which is bigger: x or -16.5?
x
Let x = 37 + -35. Suppose 20 = g + 3*q + x*q, 5*g + 3*q - 56 = 0. Suppose -2*d + 50 = -5*m, g*m + 65 = 5*m - d. Does -13 = m?
False
Let t be 441/(-2) + (228/24 - 8). Is t not equal to -655/3?
True
Suppose 3 = 4*c + 5*j, -4*c = -0*c - 4*j - 12. Suppose -3*x = c*x + 40. Is -8 != x?
False
Suppose -5*p - u + 15 = 0, 42*u - 6 = -2*p + 41*u. Let i(c) = -c**3 + 3*c**2 + 4*c + 5. Let x be i(4). Which is smaller: p or x?
p
Let q = -444 - -435. Suppose -15 = -3*x, 2*x - 4*x = 4*r + 22. Which is smaller: r or q?
q
Let k = -44 - -44. Let r = 4 - -5. Let u be ((-1)/r)/(10/15). Are k and u nonequal?
True
Suppose 3*q = s + 2, -4*q = 3*s - 8 - 12. Suppose y + q - 5 = 0. Suppose -2*c + c = -3*a - 10, 3*c + 4*a = -9. Which is smaller: y or c?
c
Let h be 639/(-6)*12/30 - (-4)/(-10). Suppose -2*l = 3*l + 215. Do l and h have the same value?
True
Let q be (-80)/108*(-7)/(-168)*9. Is q at least 1?
False
Let q be (35/63)/((-13)/(-12)). Let p be 4/16 + 1 + (-228)/208. Let z = p + q. Which is bigger: -6 or z?
z
Let f = 585 + -586. Let o(y) = -3*y - 1. Let c be o(-1). Let t be (14/(-12))/(c/6). Which is smaller: t or f?
t
Let k = -331 - -192. Let x = k + 133. Let f(z) = z**2 - 1. Let h be f(-1). Which is bigger: h or x?
h
Let v be -2 - (14/(-10) - 1). Suppose -9*x - 4*x = -12*x. Suppose -i = 4*a + 4, -5*a + x*i = -3*i + 5. Does v = a?
False
Let j = -5.89 - 0.11. Let d = 7.7 - 5.7. Let g = d + j. Does -0.1 = g?
False
Let p(y) = -3*y + 9. Let r be p(-4). Let l be (-30)/r + (-5)/10. Let i = l + 10/7. Which is smaller: -6 or i?
-6
Let t = 306 - 307. Which is smaller: 1/243 or t?
t
Let q = -442 + 437. Which is greater: -7 or q?
q
Let i = -13 - -15. Suppose -10*k = -8*k + i. Is k at most -12?
False
Let f(h) = -h**2 + 3*h - 10. Let k be f(16). Is k <= -215?
True
Let o be (-10)/(-4*(-5)/70). Which is greater: o or -30?
-30
Let y be 10/((-1)/92*14). Let c = 66 + y. Let g = c - -4/35. Is g bigger than -0.1?
True
Suppose 119*d = 34*d + 9520. Which is greater: 107 or d?
d
Suppose g + 2*z - 1 = -0*z, 2*g - 3*z = 2. Do g and 5 have different values?
True
Let m(i) = 11*i + 13. Let z be m(4). Let y = z + -88. Is y < -30?
True
Let f = 0.477 - 0.51. Let x = 9.033 + f. Let s = -0.8 + -0.2. Are x and s nonequal?
True
Suppose x + 9 = b + 36, -5*b = 3*x + 103. Let s = b + 21. Let g be ((-90)/(-80))/(s/(-24)). Is g at least as big as 15?
False
Let u be (2/(-1))/(1/(-2)). Let s(a) be the third derivative of a