 h or 1?
h
Let n(k) = -k + 13. Let v be n(11). Is 1 bigger than v?
False
Let x be 9/(-21) + 109/(-7). Which is greater: -15 or x?
-15
Let q(n) = -9*n**3 + 2*n**2 + n. Let t be q(-2). Let m = t - 393/5. Are 0 and m unequal?
True
Let c = -3 - -2.99. Let z = 0.99 - c. Which is smaller: 3 or z?
z
Suppose -50 = -5*v + 30. Let z be (27/12)/(6/v). Suppose -3*q + 5*q = -z. Which is bigger: q or -2?
-2
Let o(d) = 7*d. Let g(p) = -13*p. Let z(m) = 6*g(m) + 11*o(m). Suppose 0*t + 2*f - 6 = t, -t = 4*f - 12. Let i be z(t). Which is smaller: i or 1?
i
Let m = -88 - -90. Which is smaller: m or -8?
-8
Let a be ((-12)/10)/(4/(-40)). Is 13 >= a?
True
Let l be (-5*1)/(7 - 8). Let y be 2 + 2 + 1 + -2. Which is greater: y or l?
l
Let u be (-26)/3*(-81)/612. Let m = 6/17 + u. Is 0.2 not equal to m?
True
Let p = 17 - 15. Let f = -1 - -4. Which is smaller: p or f?
p
Let n be (4/(-3))/(-2)*-3. Let d be 7 + 1*n - 0. Let b be (-2)/d + 12/5. Is b at most as big as 1?
False
Suppose -4*i = z - 3*z - 14, -4*i - 4 = 0. Suppose d - 4*s + 7 = 0, -5*s = -2*s - 9. Let b = z + d. Is b bigger than -4?
False
Let k(g) = g + 28. Let n be k(-21). Suppose r + 0*r = 0. Suppose 45 = 5*z - 5*t, r = -z - 2*z + 5*t + 31. Is z equal to n?
True
Suppose -j = 2*j - 30. Let q(t) = -t**2 + 12*t + 11. Let p be q(10). Suppose p = 3*r + j. Does r = 8?
False
Let w = -3 + -3.2. Let s = 6 + w. Which is greater: s or 1/3?
1/3
Let l(x) = -3*x + 4. Let f be l(-6). Let z be 6/(-33) - (-1390)/f. Let m be (-3)/z - 4/14. Which is greater: 1 or m?
1
Let o be 4 - -2*(-3 - -4). Let p be (0 - o)*(-8)/(-16). Which is smaller: p or -4?
-4
Let f = -33 + 20. Let d = -8 - f. Let n = d - 4. Which is greater: 3 or n?
3
Suppose i = 3*d + d + 68, -3*d + i - 52 = 0. Which is smaller: d or -14?
d
Let r(z) = -72*z**2. Let b be r(1). Is b less than -72?
False
Suppose -3 - 2 = 5*f. Which is greater: f or -3/41?
-3/41
Let c = -53 + 54. Which is smaller: 2/135 or c?
2/135
Suppose 0 = 13*b + 17 - 394. Which is bigger: b or 57/2?
b
Let l(k) = -k**2 + 9*k + 7. Let j be l(7). Are j and 21 unequal?
False
Let a be 83/135 + (-8)/12. Let u = 1/45 - a. Suppose i - 4 = -3. Is u at most as big as i?
True
Let r = -0.2 - -0.4. Let x = r + -0.1. Let v = 1.8 - 1.6. Which is bigger: v or x?
v
Let p = 141 + -101. Let u be (90/p)/((-33)/(-8)). Which is smaller: 1 or u?
u
Let x = 0.74 - -1.2. Let z = x - -0.06. Suppose -3*d - 3 + 4 = 5*n, 0 = -5*d + 2*n + 12. Is d equal to z?
True
Let b(j) = 6*j - 2. Let w be b(-1). Let g = -11 - w. Is g not equal to -5?
True
Suppose -j - 2*w = 4*j - 9, -4*w = -8. Let i = -7 + 12. Suppose -2*u + i = 1. Is j < u?
True
Suppose -12*x - 10 = -11*x. Is -4 greater than or equal to x?
True
Let b(w) be the first derivative of -w**3/3 + 5*w**2/2 + 2*w - 16. Let o(u) = -u + 1. Let n be o(-5). Let t be b(n). Which is bigger: -5 or t?
t
Let j be (-2)/(432/330) + 6/8. Is -1 at least as big as j?
False
Let d be 1 + ((-4)/48*-111 - 2). Which is greater: d or 8?
d
Let c = 2.472 - -0.028. Is -0.1 bigger than c?
False
Let w be (-498)/198 - 1/(-3). Which is bigger: -1 or w?
-1
Let r = -2.9 - -3. Which is greater: 3 or r?
3
Let w be ((-1)/(-14))/(1/(-2)). Let n be (-2)/5 + (-2)/((-20)/(-6)). Which is bigger: w or n?
w
Let g(j) = 2*j**3 + 2*j**2 - 3*j - 2. Let r be g(-2). Let t be (r/16)/(11/8). Is 0 at most t?
False
Let m be 9/(-4)*32/(-12). Is 14/3 bigger than m?
False
Suppose -51 = 2*t - 5*q, -3*t - t - 57 = 5*q. Let v = -5 - t. Is 14 equal to v?
False
Let c = 7.8 - 8.8. Which is smaller: c or -35?
-35
Let k = -34 + 34.1. Let c = 3.7 + -5. Let g = 1 + c. Which is greater: g or k?
k
Let i = 23.8634 + 0.0366. Let o = 22 - i. Is o less than 1?
True
Suppose 0 = f + 4*s + 19, 2*f + s + 1 = 3*f. Suppose 0 = 2*c + 8, -5*j - 23 = -0*j + 2*c. Is j >= f?
True
Let y = 784/27633 + 2/453. Which is smaller: -1 or y?
-1
Let v be (15/(-4))/((-1)/(-60)). Let c be (-140)/v + (-2)/9. Which is smaller: 1 or c?
c
Suppose -4*h + 0*o - 3*o = -20, 4*h - 2*o = 0. Suppose g + h = -0*g. Is -2 less than or equal to g?
True
Let t be (-12)/30 + (-17)/(-5). Let n = 3 - t. Is -0.1 > n?
False
Let v = 1469/15 - 293/3. Is v less than 0?
False
Let k = -597/370 - -1/74. Let r be (32/48)/((-4)/12). Is r greater than or equal to k?
False
Let j(i) = -i**3 - 3*i**2 + 5*i - 4. Let m be j(-5). Let x be (4/7)/(18/m). Is 0 at most as big as x?
True
Suppose -4*d + 3*t - 1 = 0, -3*d + 2*t = 2*d + 3. Do 67 and d have different values?
True
Suppose -5*s + 42 = -0*w - w, 0 = 2*s + 2*w - 12. Suppose -4*z = -8*z + s. Suppose d = -z + 4. Is d smaller than 2?
False
Let q = 53 - 85. Let a = q - -65/2. Suppose p + 0*p + 2*c = -11, p = -5*c - 26. Is a at most as big as p?
False
Let g be (-2)/(-12) + (590/(-138) - -4). Is -1 at most g?
True
Suppose -3 - 1 = -4*m. Which is bigger: -0.1 or m?
m
Let j = -0.08 - 3.92. Let u = j - -4. Let n = -2 - u. Is n less than or equal to -2/3?
True
Let f = 7402 + -7397.857. Let i = 0.113 - f. Let b = i - -0.03. Which is smaller: 1/2 or b?
b
Let n(r) = -r + 39. Let w be n(0). Let s be (1/(-2))/(w/52). Is s <= 2?
True
Let u = -8643505/124 + 69705. Let i = u + -2/31. Let z = -6.1 - -6. Which is bigger: i or z?
z
Let p = 7 - 6. Suppose -4*u = 2*o - 20, 0 = -4*o + 2*u - 1 - 9. Let h = o + 1. Do p and h have the same value?
True
Let y = -15 + 44/3. Which is smaller: y or 1/6?
y
Let x(i) = -9*i**2 + i - 1. Let n be x(1). Let f be -3 + (-5 + 6)*-5. Which is bigger: n or f?
f
Suppose 3*t = t + 8. Suppose 16 = 3*o + m, 5*m - 1 = t*o + 3. Is 5 at most o?
False
Suppose -2*f + f - 1 = 0. Let u be 1 + (-5)/((-5)/(-2)). Is u less than f?
False
Let b be 12/(-18) + (-11)/(-3). Which is bigger: b or 2?
b
Suppose -2*y = -0*y + 12. Let w be y/(-15) + (-32)/30. Let n be 11/(-3)*1 - -3. Is w greater than n?
False
Suppose -5*z = -2*n + 5*n + 2, 4*n = -z + 3. Suppose 6 = 5*m + n. Suppose 0 = 4*d - 12. Are m and d unequal?
True
Let u = 2959 - 41453/14. Let y = u + 10/7. Which is greater: y or -2?
y
Let d(v) = 3 + 7*v**2 - 4 + 0*v - 8*v**2 + 8*v. Let k be d(8). Suppose 4*h + 9 = -5*y, -2*y = -2*h - 0*h. Is y != k?
False
Let d(l) = l**3 + l**2 + l + 3. Let t be d(0). Suppose 4*n = -t*w + 6*w - 10, -n + 7 = 4*w. Is -1/3 at least as big as n?
True
Let f(s) = -s**2 - 9*s + 7. Let p be f(-10). Let m be ((-6)/p + 0)*-4. Let j be (-6)/m - (-1)/4. Are -2/15 and j nonequal?
True
Let m = 8619/14 + -616. Let s = 49 + -344/7. Let g = s + m. Do 2 and g have different values?
True
Let d(n) be the third derivative of -n**4/24 + n**3/6 - n**2. Let c be d(-1). Which is bigger: c or 0.1?
c
Let q = -8 - 7. Let o = 16 + q. Which is smaller: o or -0.1?
-0.1
Let q = 86 - 90. Is 12 less than q?
False
Let d = -21 - -9. Are -10 and d nonequal?
True
Let k be -2 - -1*3*(-3)/9. Which is bigger: k or 3?
3
Let s be 4*((-3)/(-1))/3. Suppose s*v - 3*v = 0. Which is smaller: -1/9 or v?
-1/9
Suppose 2*s + 38 = -5*k, 3*s = -2*k - 12 - 12. Let g = k - -2. Suppose 4*u = 5*t + 7, -t + 3 = -4*t + 3*u. Which is smaller: t or g?
g
Let d = 0.13 - 0.13. Which is smaller: 0.06 or d?
d
Let y(d) = -d - 1. Let c be y(-6). Let s = -11 - -16. Is c <= s?
True
Let z be (33/18)/(8/60). Let r = -14 + z. Is -0.08 bigger than r?
True
Suppose 2 = -2*w - 0*w. Let k be (-126)/2*21/(-35). Let c = k - 38. Which is greater: w or c?
c
Let u(q) be the third derivative of q**4/24 + 4*q**2. Let a be u(0). Is 5 at most a?
False
Let s = 0.8 + -1. Let n = -0.3 - s. Let h = -0.04 - 1.96. Which is greater: n or h?
n
Suppose 15 = 5*b - 0. Let q be b*(-1 - -2) - 4. Is q at most 3/14?
True
Suppose 4*x = 5*l + 29 + 14, 3*l = -2*x + 5. Let c be (-4)/18 + x/18. Let q = -7 + 7. Which is smaller: q or c?
q
Let n(f) = f + 2. Let p = -8 + 4. Let l be n(p). Let q = -91/6 + 41/3. Which is greater: l or q?
q
Let c = -5 - -11. Let j = c - 5. Which is greater: j or 2?
2
Suppose 3*h + 7 = -4*t, 2*t + 6 = -0*h - 4*h. Which is smaller: 1/3 or h?
h
Suppose s - 4*t + 19 = 0, -4*s - 2*t = -0*s - 14. Does 4 = s?
False
Let n = -24 + 23. Let s = -2 - n. Which is greater: -2/55 or s?
-2/55
Let o = -796/1443 + 10/111. Is o greater than -1?
True
Let o = 0.65 - 0.53. Which is smaller: o or 0?
0
Let f be 0/2*1/(-2). Let d = 17/21 + -8/7. Is f greater than or equal to d?
True
Let r = -53 - -28. Let m be r/20 + (-2)/(-8). Which is bigger: m or -2?
m
Suppose 0 = -y - 2*d - 