v + 17 = t + 2*t, 0 = -f*t - 3*v. Is t > 2?
True
Let u = 3984455258387221309/66334654369692254 - -8/760910486243. Let f = -34/6227 - u. Let h = f + 119/2. Which is smaller: h or -1?
-1
Let j(s) = -s**2. Let k(q) = 7*q**2 - 7*q + 2. Let z(u) = 6*j(u) + k(u). Let w be z(6). Let t be 9/(-6)*w/(-6). Are t and -1 nonequal?
False
Let q(s) = -3*s - 12. Let f be q(-4). Which is smaller: -0.063 or f?
-0.063
Let w be 0/6*(-1)/2. Let n = 6 - 1. Let s be 5/15 + n/(-21). Is s != w?
True
Let w(k) = -54*k - 1. Let g be w(-1). Let i = g + -263/5. Which is smaller: 3/13 or i?
3/13
Let d(w) be the second derivative of w**5/20 - w**4 + w**3/6 + 3*w**2/2 - 4*w. Let i be d(12). Which is smaller: i or 14?
14
Let y = 644/11 - 38051/649. Let p = y - 63/649. Is 3/5 at most p?
False
Let b = 0 + 0. Let q = -1 + b. Let c = 3/11 + -16/99. Which is smaller: q or c?
q
Let p = -35 + 36. Which is bigger: 2/7 or p?
p
Let a = -4624/403 - -150/13. Let k(c) = -c + 14. Let q be k(13). Which is smaller: a or q?
a
Let p(k) = -k**2 + 4*k - 2. Let z be p(3). Let c = z + -2. Which is smaller: c or -2/3?
c
Let k(z) = -3 + 4 + 0*z - z. Let j be k(-3). Let i be -2*(-2)/(-28)*j. Is -2 less than i?
True
Suppose 0 = -4*x + 4*i - 5 - 7, 0 = 4*x + i + 2. Which is greater: x or 1/22?
1/22
Suppose -3*l - 121 = 2*r + 2*l, 0 = -r - 2*l - 63. Let w = -804/11 - r. Let m(c) = -c + 1. Let a be m(2). Is w equal to a?
False
Suppose -3*k - 1 = 2. Let w = k - -3. Suppose -w*s + 0*s = -6. Which is greater: 4 or s?
4
Let g be 4 + 114/42 - 5. Which is smaller: g or 1?
1
Let z be (2/(-6))/((-6)/12). Which is smaller: z or 1/5?
1/5
Let p(j) = -j**3 + j**2 + j. Let k be p(1). Which is greater: 2/7 or k?
k
Let h(o) = 2*o**3 - 4*o**2 + 2*o + 2. Let m be h(4). Let u be m/112 - (-8)/(-28). Is u > 0?
True
Let t = -6.9 + 3.9. Let p = 2 + 0. Is p smaller than t?
False
Let v = 0.5 + -0.6. Let p = 8/33 + 1/11. Which is bigger: v or p?
p
Suppose -n - 3*n = 72. Let p be n/27 - (-29)/21. Which is smaller: p or 2?
p
Let w = 3.1 - 3. Let k = -0.2 + w. Let v be (3/18)/((-1)/2). Is v bigger than k?
False
Let k(i) = 4*i. Let f(r) = 21*r. Let c(q) = 4*f(q) - 22*k(q). Let t(y) = y**3 - y**2 + y. Let n be t(1). Let b be c(n). Is -4 > b?
False
Let u = -79 + 79.27. Is 0.1 > u?
False
Let n be ((-2)/(-4))/((-2)/(-8)). Suppose 0 = 7*s - 3*s - 28. Let d = n - s. Are -5 and d nonequal?
False
Let c = -258 - -3360/13. Is 1/4 smaller than c?
True
Let g = -16 - -10. Let k = g + 3. Is 1 >= k?
True
Let a be (-6)/(-10) + (-4)/(-10). Suppose -c + 6*c - 23 = 4*j, -4*j + 2*c - 26 = 0. Let f be -2 - (32/j + 2). Is f < a?
True
Let l = -3.18 - -3. Let c = -624 - -3118/5. Which is smaller: c or l?
c
Suppose 5*f - 35 = -5*a, 3*f = a + 13 - 0. Is f smaller than -1?
False
Let i = -150/893 - 2/47. Is i greater than -0.1?
False
Let y be 3/12 - (-7)/4. Suppose 16 = y*b + 6. Is b > 5?
False
Let o be 9*(-3)/90*-3. Let n = 73/70 - o. Is n less than or equal to 1?
True
Let k be ((-2)/3)/(7/3). Suppose -o + 4*w = -13, -8 = -2*o + 5*w + 6. Is o equal to k?
False
Let c be (4/6)/(3/24*-6). Which is bigger: 0 or c?
0
Let l = -12 - -7. Let x = l - -8. Which is bigger: x or 1?
x
Suppose -5*c = -3*r + 132, c - 6*r + 44 = -r. Let x = c + 16. Which is bigger: -0.1 or x?
-0.1
Let n = -0.1 + 3.1. Let c = n - 3. Let q = c - 0.2. Do -2 and q have different values?
True
Let b(t) = -4*t - 7. Let h(u) = 5*u + 7. Let j(l) = -4*b(l) - 3*h(l). Let v be j(-9). Let m = 2 + -5. Is v != m?
True
Let v be (-32)/(-63) + (-4)/18. Is v less than -6?
False
Let o be (-10)/18 - 14/(-63). Suppose 5*a + 2 + 8 = 0. Let m = -2 - a. Is o at most m?
True
Let z(j) = j**2 - j. Let c be z(1). Suppose c = 5*g + 3*v - 4, 2*g + 2*v - 4 = 0. Let t = -28 + 85/3. Which is smaller: t or g?
g
Let p = -55 + 276/5. Suppose 3 = 6*z - 3. Is p greater than z?
False
Suppose 0 = 2*z + 2*z. Let a = 1 + -1. Let l = a + z. Which is smaller: -1 or l?
-1
Suppose -9 = 5*u - 39. Suppose 0 = -3*w + 30 - u. Do 8 and w have the same value?
True
Let v(b) = b**3 - 5*b**2 - 7*b + 7. Let s be 0/(-2) + 49 + 1. Let o be (-4)/16 + s/8. Let c be v(o). Which is smaller: 0.2 or c?
0.2
Suppose 0 = 2*k - 8 - 30. Let a = k + -39/2. Suppose 6 = 3*v - 4*y - 8, -23 = 4*v + 3*y. Are v and a unequal?
True
Let s be 4 + (3 - 1) + 1. Is 7 > s?
False
Let w = 2 - 1. Let u be 1 + 0 + -1 + -6. Let p be ((-9)/u)/((-114)/8). Is p greater than or equal to w?
False
Suppose -2*n = 2*g - 78 - 6, -4*n - g = -156. Are 37 and n nonequal?
True
Let l = -6 - -6. Suppose 4*c - x = 3*c - 1, l = -5*c + 4*x - 3. Is c <= 0.03?
False
Let j be (-98)/315 + 2/10. Which is bigger: 0 or j?
0
Let r be 1/(1 - (3 - 3)). Suppose -2*l - 4*o + 5*o = 3, 4*l + 4 = 4*o. Let p be 0/(l*(1 - 0)). Is p at most r?
True
Suppose 3*u - 3*w = 9, -6 = -0*u - 2*u - 3*w. Suppose -u*k = -5*k - 8. Let a be (7 + k)*(-1)/3. Is -0.3 > a?
True
Let g = -46/15 - -22/5. Which is smaller: 0 or g?
0
Let t = 4 - 0. Suppose t*o = 2*j + 20, 2*j + j - 5*o = -27. Let x be 2*2*j/(-2). Is x at most as big as 8?
True
Let u = -23/124 - 2/31. Let x be (-20)/(-8)*16/10. Suppose 0*v = -x*v - 4. Which is smaller: u or v?
v
Let l be 10/6*(-1 + -2). Let f be 2*1 + 60/l. Let y be (16/180)/((-4)/f). Which is smaller: 0 or y?
0
Let z(r) = r**3 + 10*r**2 + 9*r - 8. Let g(m) = -m**3 - 2*m + 3. Let d be g(2). Let i be z(d). Is i > -8?
False
Let f = -4 - -8. Which is greater: 0.3 or f?
f
Suppose 5*n - 4*q = -52, 2*n - 5*q = 7*n + 25. Let h = n + 12. Let z = 5 - h. Is z bigger than -0.2?
True
Let i be 35/(-196) - 2/(-8). Is i less than or equal to -3?
False
Let a(n) = -n - 4. Let j be a(-6). Suppose 4*m + 3 + 25 = -5*y, -m - j*y = 7. Are -5 and m unequal?
True
Let y = -4590/37 - -124. Is y at least as big as -1?
True
Suppose -2*v = -h + 1, 4*h = -v - h - 6. Is v greater than or equal to -6/23?
False
Let b = 27 - 28. Which is greater: b or -4?
b
Suppose -29 = -5*w - 2*o, 6*o + 19 = 5*w + 3*o. Let d = -6 + w. Do 2/9 and d have the same value?
False
Let l be ((-2)/(-4))/((-7)/6). Let h(r) be the third derivative of -r**6/120 + r**5/15 + r**4/6 + 2*r**3/3 + 2*r**2. Let z be h(5). Which is smaller: z or l?
z
Let v be (12/9)/(-3 - 119/(-14)). Is v at most as big as 1?
True
Suppose -5*a + 14 = 4. Suppose 0 = 3*l + 6, l = -0*p + 2*p - a. Is 8 at least p?
True
Let i = 1 + 0. Let n(p) = 2*p**2 + p - 1. Let d be n(i). Which is greater: 1 or d?
d
Let b(q) = -q**2 + 13*q - 15. Let v be b(10). Which is greater: v or 14?
v
Suppose -4*u = 9 + 7. Let h be 16/12*(-6)/u. Suppose -4*s + 0 = w - 1, 2*w = -s + h. Which is smaller: -3/10 or w?
-3/10
Suppose 2*t = -3*t - 150. Let u = -32 - t. Let x = -3/2 - -7/6. Which is greater: x or u?
x
Suppose 7*i - 15*i - 136 = 0. Which is bigger: i or -1?
-1
Let s = 1590 + 3243. Let k be (6/s)/(1/(-3)). Let d = -1036/10203 + k. Is -1 less than or equal to d?
True
Let n(z) = -z - 10. Let x be n(-5). Do 0.2 and x have different values?
True
Suppose -5*s + 4*o = -175, 144 - 47 = 3*s - 4*o. Are 39 and s non-equal?
False
Let c be (-32)/(-12) + 4/(-6). Suppose 0 = 3*i - 12, 4*b + 42 = 6*b + 3*i. Suppose c*q + q = b. Is q equal to 4?
False
Let w = 1.5 + 0.5. Let z = -10.17 - 1.93. Let a = 12 + z. Is a at most as big as w?
True
Let w be (-1)/(-20)*(-1)/((-1)/34). Is w < -0.1?
False
Let v be 5*(-2 - -3) + -1. Let k be ((-2)/v)/((-1)/2). Let r = 4/11 + 2/55. Which is bigger: k or r?
k
Let h = 86/3 - 29. Let n be (-2)/7*(-14)/(-6). Is h != n?
True
Let k = 50/3 - 17. Let w(m) = -2*m - 12. Let i(v) = -3*v - 13. Let z(b) = -3*i(b) + 4*w(b). Let a be z(8). Which is bigger: a or k?
k
Let x = -188 - -187.9. Which is bigger: x or 23?
23
Let q(d) = -2*d - 4. Let a be q(-3). Let g be (a - 0) + -6 + 3. Suppose -1 = -5*r + 5*z + 4, -1 = 5*r - 2*z. Do r and g have the same value?
True
Let q = 56 - 24. Let v be q/(-18) - (-4)/2. Is v greater than or equal to 1?
False
Let g = -1.11 - 0.09. Let p = g + 0.2. Let b(o) = -3*o + 1. Let d be b(1). Which is smaller: p or d?
d
Let t(a) = a**3 - 8*a**2 + 5*a - 9. Let d be t(7). Let u = d - -25. Is u != 0?
True
Let t = 1 + 7. Which is smaller: 4 or t?
4
Let s = 322/11 - 1318/33. Is s at least as big as -11?
True
Suppose 0 = 3*d + t + 20, -2*d + d = 2*t + 15. Which is bigger: d or -17/4?
-17/4
Let t(g) = g + 3*g - 8*g - g. Let k be t(-1). Which is smaller: k or 0?
0
Let y be 4/(-6)*4313/(-1