 t?
t
Let j be 8/12 + (-6254386)/33. Let v = j + 189712. Let z = v - 186. Which is bigger: z or 2?
2
Let s = -6 + 3. Let j = 3 + s. Is j not equal to -0.2?
True
Let w = 430 + -2169/5. Let t = w - -4. Let j be 0 - -3 - 4/2. Which is bigger: t or j?
j
Let y = -7 + 2. Let j = 3.8 + 0.8. Let g = y + j. Is g not equal to -0.1?
True
Let q be (-6)/(-8) + 85/20. Suppose q*w - 11 = -6*m + 4*m, -2*w + 16 = -5*m. Let s be ((-12)/18)/(8/6). Is s greater than m?
True
Let q = -103 - -102. Which is smaller: -1/71 or q?
q
Let z(f) = f**3 + 5*f**2 - 7*f - 8. Let v be z(-6). Let r = 0 - 4. Let k be v/r - 4/8. Is k at most as big as 0?
True
Let x be 2 - 2*(-3)/(-2). Is 5/18 > x?
True
Let c = -131.9 + 125. Let t = -7 - c. Is 0 bigger than t?
True
Suppose 0 = -6*g + 2*g + 40. Suppose 4*m - 50 = g. Let l be (-4)/m + (-6)/15. Which is smaller: l or -1?
-1
Let d = -3.1 + 3. Suppose 3*i - 4 = 2. Is d less than i?
True
Let n = 30 - 25.2. Let o = n - 5. Which is smaller: 0 or o?
o
Let c be 16/(-90) - 6/27. Let r be 4/120*6*-5. Is r less than c?
True
Let t = -69 - -205/3. Which is smaller: 3 or t?
t
Suppose 0 = y - 0*y. Let i be (y + -2 + 1)*-1. Which is smaller: 2 or i?
i
Let c be 18/3 - (2 - 0). Suppose c*d - 3 = -7. Which is greater: 1/3 or d?
1/3
Let h be ((-6)/30)/((-8)/(-10)). Let m(v) = -2*v - 10. Let b be m(-7). Suppose -r - b*r = 5. Which is bigger: h or r?
h
Suppose -a - 13 = -12. Let f = 0.2 + -0.4. Is f at least a?
True
Let l = -124 + 123. Does l = -1/123?
False
Let v = -10 - -17. Let f = v + -7. Do -0.03 and f have the same value?
False
Let u = 4 + -3.93. Let p = u - -0.03. Let q = 0.03 - 2.03. Which is greater: q or p?
p
Suppose -2*o - 4*d + 16 = 0, -6*o - 3*d = -o - 19. Let s be 0 - 6/o - 5. Which is bigger: -7 or s?
-7
Let v = -1 - -1.02. Let s = v - -0.06. Suppose 2*x + 2 = 4. Which is smaller: s or x?
s
Let b(u) = -u**3 + 2*u**2 + 4*u - 2. Let c be b(3). Which is smaller: 2/13 or c?
2/13
Suppose -6 = -2*u - u. Suppose u*p = 2*g - g + 6, -p + 8 = 2*g. Suppose 0 = g*i - 3 - 1. Is i <= 0?
False
Suppose 5*k + 66 = 4*n, -5*n + 23 = -4*k - 37. Let t = -13 - -19. Let r be t/15 - (-4)/k. Which is smaller: r or -0.2?
-0.2
Let d(k) = k**2 + 4*k - 1. Let q be d(-4). Let v(y) = -y**2 + y + 7. Let h be v(0). Let l be ((-4)/(-10))/(h/5). Which is bigger: q or l?
l
Let j = 9 + -12. Let s(c) = c + 3. Suppose -w - 13 = 4*z + 6, -2*z = -w + 11. Let n be s(z). Is j <= n?
True
Let r be (412/(-205) + 2)*5. Let u = 4/10519 - -304067/2587674. Let n = u - r. Which is smaller: -1 or n?
-1
Let o be (-118)/70 + 1 - (-8)/28. Is o not equal to 0.05?
True
Let o(x) = 0*x - 3 + 4*x - 1 - 3*x. Let a be o(4). Does -2/9 = a?
False
Let z = 0.3 + -0.2. Let m be 2 - (-14 + 0)/(-2). Which is greater: m or z?
z
Let g = 1 + -1. Let s(r) = 3*r + 3. Let o be s(-5). Let k be o/10 + 4/20. Which is smaller: g or k?
k
Let n(p) = p**3 + 6*p**2 - 2. Suppose 37 = -5*i + 7. Let z be n(i). Which is greater: -1 or z?
-1
Suppose -3*t - 10 = 2. Let w be -4*t/8*-1. Is -2/9 equal to w?
False
Suppose 2*m + 18 + 12 = 0. Let q = m - -19. Which is smaller: q or 5?
q
Let t = 1 + -11. Let f be 15/(-4)*t/(-25). Which is bigger: 0 or f?
0
Let b = 496/1105 + -12/85. Is b at least as big as -1/2?
True
Suppose 3*t + 0*t = 12. Which is smaller: 1 or t?
1
Let q be 16/(-180) - 1/(-5). Let g be 0/(0 + 2*-1). Which is greater: g or q?
q
Let p = -675/14 + 97/2. Let b = -0.0596 + 0.0596. Which is smaller: p or b?
b
Let q be 16/3 - (-14)/21. Let g be q + 3/(-3) - 2. Is g != 3?
False
Let v = -15 + 14. Does -1 = v?
True
Let f(v) = -v**2 - 6*v - 4. Let w be f(-6). Does -1 = w?
False
Let p = -19 + 20. Which is smaller: p or -1/35?
-1/35
Suppose 2*t + 7 = 5. Let d = -7/68 + -1/68. Is d equal to t?
False
Suppose -y = -2*y. Suppose y*x = -x - 2*j + 15, x - 3 = 4*j. Do x and 11 have the same value?
True
Let b be (10/175*10)/((-4)/14). Which is smaller: b or -8/3?
-8/3
Let b = 6 - 7. Let x = 1.1 + b. Are 3 and x non-equal?
True
Suppose 5*t - 1 - 4 = 0. Suppose 8*q + 34 = -9*q. Is t not equal to q?
True
Let d(s) = -1 + 1 - s**2 + 1 + 5*s. Let i be d(5). Let n = -47 + 140/3. Which is greater: n or i?
i
Let u be -25 + 0*(-3)/6. Let v = 449/2 - 249. Let l = v - u. Does l = 2?
False
Let j = 18 + -8. Suppose t - j = -0*t. Is t >= 1/3?
True
Let q = -1127/4 + 278. Let t = -167 - -681/4. Let s = q + t. Is s at least 0?
False
Suppose 0 = 2*u + u + 18. Let l = -7 - u. Let s be (l - 2/(-14))/(-2). Are s and 0 equal?
False
Let r be 8/2*(-1)/(-5). Let t be 1 + (166/(-180) - 6/(-27)). Let d = r - t. Which is smaller: 2 or d?
d
Let w be (-9)/15*-10*1/2. Which is greater: 13/5 or w?
w
Let v be 623/(-36)*(1 - 5). Let r = v + -69. Is 1 less than r?
False
Let l = 1250/7 + -178. Which is greater: l or 2?
2
Let y be -1 + 6 + 324/(-60). Is y at least as big as 1?
False
Let g(i) be the second derivative of -i**5/20 - i**4/3 - i**3/2 - i**2/2 + i. Let x be 2/(-2) + 1/(-1). Let f be g(x). Does f = -1?
False
Let v(g) = -g**3 + 5*g**2 - g + 5. Let d be v(5). Let x be (0 - (d - 3))*1. Is 3 less than or equal to x?
True
Let j be 3 - -296 - (2 + -2). Let y = 3287/11 - j. Let q be -1*1 + 3 + -3. Is y <= q?
False
Let f(a) = a - 3. Suppose -t = n - 3, 0*n + 5*n + 4*t = 19. Let o be f(n). Which is smaller: o or 5?
o
Let t = 102 + -97.1. Let g = 15 - 10. Let x = t - g. Is -2 > x?
False
Let s(t) = -t**3 + 11*t**2 + 11*t + 12. Let r be s(12). Is 4/7 at most as big as r?
False
Let c = -1/2438 + 78099/202354. Let b = c - -36941/415. Let w = b - 88. Is 2 > w?
True
Let o = -3.84 + -0.06. Let y = o + 4. Is y greater than -2?
True
Suppose -4*c = -0*c - 4*w, c = 3*w - 2. Let x be -8 - c*(-1 - 0). Which is greater: -5 or x?
-5
Let m = 1.15 - 0.3. Let h = 0.15 + m. Which is smaller: 2 or h?
h
Let s = 2 + -2.06. Which is smaller: 1 or s?
s
Let l(c) = -c**2 + 8*c + 11. Let b be l(8). Suppose -4*o - o + 8 = 2*q, -b = q - 5*o. Is q greater than or equal to 8?
False
Suppose -6*u + 2*u + 25 = -5*y, 0 = 2*u - 5*y - 15. Let q = 0 - u. Which is smaller: q or -2?
q
Let q be (8/(-6))/((-8)/12). Let c(o) = o**q + 0*o - 7 - 4*o + o. Let n be c(5). Is n at least as big as 3?
True
Let i(b) = 2*b - 2. Let q be i(2). Let f be (q/(-4))/(2/(-4)). Let a be 1/(-1)*-1*-1. Which is greater: f or a?
f
Let f = 93 - 93. Is -5/31 at least f?
False
Suppose 8 - 17 = p. Which is bigger: p or -8?
-8
Let w(h) = -h - 7. Let l be w(-7). Suppose l = -2*g + 7*g. Suppose g = -3*v - 2*v. Which is bigger: v or 2?
2
Let i(q) be the third derivative of -q**4/24 - q**3/6 + 2*q**2. Let l be i(-2). Let h = -0.2 - -0.3. Is l bigger than h?
True
Let h = 1.18 - 1.28. Is -1/29 greater than h?
True
Let j be -5 + 43 - 2*1. Let d be 6/27 + (-4)/j. Let n be -1 - (-1)/(2/4). Is d less than n?
True
Let q = 12 + -17. Let i = -4 - q. Let m = -1 - i. Is m at least as big as 2?
False
Let w = 1.1 - -0.1. Let p = 1 - w. Let n = -1 - -1. Is p at most n?
True
Let a = 17 + -24. Let c = -9 - a. Which is smaller: -1/2 or c?
c
Let b = -238111 + 7144123/30. Let j = 79/3 - b. Let v(i) = i**2 + 3*i - 3. Let p be v(-4). Which is greater: j or p?
p
Let q = 104 + -103. Is 27 greater than q?
True
Let g = 88 - 133. Is g less than or equal to -46?
False
Let g = 0 + 1. Let l be ((-1)/13)/(g/2). Suppose -c = -4 + 3. Which is bigger: c or l?
c
Let o(x) be the third derivative of -x**4/24 + 7*x**3/6 + x**2. Let p be o(11). Let u be p + 2 + 18/7. Which is bigger: 0 or u?
u
Let l = -1.86 - -0.06. Let m = l + 2. Let t = 32.6 - 32.8. Is m <= t?
False
Let r = -28.23 - -28. Let s = 0.03 + r. Is -1 bigger than s?
False
Let w(x) = 0*x**2 + 3*x**2 - 2*x**2 - x + 1. Let n be w(0). Let y be (-6)/15*n*10. Which is bigger: -2 or y?
-2
Let s(n) = -n**2 - 6*n - 6. Let d be s(-5). Let p be 74/(-12) - d/6. Is p at least -14/3?
False
Let m(s) = -s + 0 + 0*s + 8. Let h be m(6). Suppose -q + 6 = h*q. Is q != 1?
True
Suppose 9*y - 50 = 4. Is 8 equal to y?
False
Let n = -6 - -5. Let u = -526/7 - -75. Which is bigger: u or n?
u
Let y = -2.1 + 0.1. Let b = 1.8 + y. Which is greater: 2 or b?
2
Let v = 2074249/54111 - -2/18037. Let i = -39 + v. Which is smaller: 0 or i?
i
Let m = 2 - 1. Let j be -3 + m/(-34)*-98. Is j at most as big as 0?
True
Suppose -36 = 20*j - 296. Which is bigger: j or 14?
14
Let b(l) = 12*l - 43. Let j be b(6). Which is greater: 31 or j?
31
Let z(c) = c**2 -