65?
1/65
Let v be (3/(-30))/((-3)/(-11)). Let g be 280/975 + (-4)/26. Let s = v - g. Does s = 5?
False
Suppose 2*d + 5*t - 42 = 0, 0 = 5*d - 2*t - 24 - 52. Let s be ((-4 - -2) + 2)/(d/(-8)). Are s and 1/61 nonequal?
True
Let t be (200/12)/((-4)/(-6)). Suppose 4*q + 3*y = -12, q - 3*y = -0*q + 12. Let m be ((-10)/t)/(-1 + q). Which is greater: -0.3 or m?
m
Let j = -38.6 + 38.7. Is -1/41 less than or equal to j?
True
Let l = -1 + 3. Let u = -38 + 27. Let d = -8 - u. Are d and l nonequal?
True
Suppose -10*b = -15*b - 10. Let m be (-1 - 0 - 1)/(b/(-19)). Is m smaller than 0?
True
Let l = -4.18 - -3.18. Which is smaller: l or -189?
-189
Let c(g) be the first derivative of -g**4/4 - 11*g**3/3 - g**2/2 - 16*g + 2. Let r be c(-11). Let d(p) = p**2 + 4*p - 6. Let j be d(r). Is j > -1/29?
False
Let o(t) = -t**3 + t**2 + t + 1. Let r(b) = 4*b**3 - 3*b**2 - 3*b - 5. Let q(n) = 5*o(n) + r(n). Let d be q(3). Let f be -3 + (-2)/((-2)/d). Does f = -5?
False
Let w = -333 + 330.7. Is w <= 0.3?
True
Suppose 5*w = -0*a + 3*a - 165, w - 220 = -4*a. Let k(u) = -u + 8. Let o be k(6). Let i be (a/10)/(5 - o). Which is smaller: i or 1?
1
Let n be 3/((-3)/(-6)*3). Let f(z) = -z**2 - 18*z + 22. Let k be f(-19). Which is smaller: n or k?
n
Let y(f) = -f + 60. Let x be -1 + 0 - (2 + (-2 - 1)). Let q be y(x). Which is smaller: q or 61?
q
Let h = -46865994541/54183920 + -1/1548112. Let v = 865 + h. Is v at most 0?
False
Suppose 2*k - i = -128, -k - 58 = -4*i + 5*i. Which is smaller: -317/5 or k?
-317/5
Let f be (((-315)/(-24))/7)/((-33)/4). Let y = f + 3/110. Which is greater: y or 1?
1
Let t(y) = 7*y - 57. Let h be t(9). Let w be h/45 + (-44)/30. Which is smaller: -1 or w?
w
Suppose -2*k = -3*k - 2. Let h be 1 + 3/((-3)/5). Let c be k/h*10/5. Which is smaller: c or 2/9?
2/9
Let y = 16 - 127/7. Suppose 4 = -q - l - 4, 36 = -3*q + 3*l. Let j = q - -8. Is y <= j?
True
Suppose 6*t - 105 + 129 = 0. Is -8 less than t?
True
Suppose 4*z + 13 = -u, 3*z + 5*u = u - 26. Let s be 8/2 - (-75)/(-3). Let v be (2/3)/((-14)/s). Is z < v?
True
Let y be (17/(-4))/(-1) + -3. Suppose 3*u - 4 = -5*s + 6, 3*s - 2*u - 6 = 0. Which is smaller: y or s?
y
Let w(p) = -110*p + 441. Let n be w(4). Is n <= 287?
True
Let t = 86/213 + -5/71. Which is smaller: t or -35?
-35
Suppose -3*f - z = -f + 20, -5*f - 55 = 5*z. Which is greater: -87/10 or f?
-87/10
Let z(d) = -d**2 + 51*d - 354. Let h be z(9). Which is greater: 163/7 or h?
h
Let m = -18.144 - -0.144. Let p = 23.9 - 5.7. Let o = p + m. Is o at most -0.02?
False
Let v be 18/(-27) - 14/(-3). Let y be 5 + (1 + -2)*v. Suppose -4*o - o + r = -12, 0 = 2*o - 4*r - 12. Which is greater: o or y?
o
Suppose -2 = 4*u + 6. Let m(y) = -34*y - 4. Let b be m(-2). Let t be (-14)/(-42) + b/(-30). Which is greater: u or t?
t
Let x be 3417/1122 + (6/(-4) - -1). Are 4 and x nonequal?
True
Suppose -6*a = -3*a - 4*u + 1, 9 = 5*a - 4*u. Let w be (5 - a)*(-2)/(-4). Let b be (-1)/(-15) - (-9)/15. Which is smaller: b or w?
w
Let n = -0.23 - -13.23. Let f = n + -13.22. Let a = f + 0.12. Is -6/5 at least as big as a?
False
Suppose 8*z - 3*z - 60 = 0. Suppose -34 = 4*o + i, -2*i + 4*i = -o - z. Is o > -6?
False
Let m = 1 + 0. Let o = -6229.063 - -6223. Let s = o + 0.063. Does m = s?
False
Suppose -339*p = -353*p. Let b = 61/6 + -787/78. Which is smaller: p or b?
p
Let h = 82 - 25. Let x = -27 + h. Suppose r - x = 2*n + 3*r, 4*n + 15 = 5*r. Which is bigger: -11 or n?
n
Let s = 670 - 712. Are s and -38 unequal?
True
Let b(n) = -2*n**3 + 11*n**2 - 5*n - 1. Let u be b(5). Is -15/46 <= u?
False
Let q(h) be the second derivative of -10*h**2 + 0 - 9*h - 1/3*h**3. Let m be q(-9). Do -30/13 and m have the same value?
False
Let g = -790/21 + 282/7. Is 3 smaller than g?
False
Let n = 15 + -28. Which is smaller: n or -15?
-15
Let k = -10325 - -5193481/503. Is -1 smaller than k?
True
Let y(b) = 18*b + 95. Let i be y(10). Is i less than 274?
False
Let g be (-51)/9 - (-1)/(-3). Suppose 3*m - x + 26 = 4*x, -2*x + 10 = -m. Is g less than or equal to m?
True
Let d be 2*(-1)/(-2)*-1. Let m(v) = -v**2 + 7*v + 2. Let b be m(10). Let q be 13/b - (-24)/32. Which is bigger: d or q?
q
Suppose -5*m = -12 + 2. Suppose -2 = u, -m*u = a + 7 - 4. Is 2/3 >= a?
False
Let m = -28 - -36. Let r = -8.1 + m. Let z = -11 + 3. Do r and z have different values?
True
Let q(w) = -50*w + 4. Let t be q(4). Let a = -62 + t. Let s be 21/(-14)*8/a. Are s and -1 unequal?
True
Let o = -8.9 + 8.9. Which is greater: o or 0.05?
0.05
Let w(k) = -2*k - 11. Let u be w(-5). Let b be -3*4*u/30. Suppose -2*o = 6, 0*c - c = 5*o + 15. Is b bigger than c?
True
Let g = -2/4355 - 56583/69680. Which is greater: g or 0?
0
Let x = 2668 - 2745.68. Let k = x - -1.68. Which is smaller: k or -1?
k
Let k be 26/1521*9 - (-15)/(-13). Suppose 4*c - 25 = 5*u, -u - 13 = -3*u - 3*c. Let v = 2 + u. Which is smaller: k or v?
k
Let u = -172/3927 + -2/119. Let k = -4 - -5. Is k greater than u?
True
Suppose -5*f + 4 = -3*f. Suppose -3*a = -f*a. Which is smaller: a or -1/9?
-1/9
Suppose -2*x - 8 = -2*m, -5*m = -0*m + 5*x. Let q be 18/(-39*(-2)/4). Is q at least m?
False
Suppose 56*k + 2052 = -k. Which is bigger: -37 or k?
k
Let v = -1098 + 1112. Which is smaller: v or 11?
11
Let p = 2398.5 + -2347. Is 3 >= p?
False
Let s(d) = d**3 - 6*d**2 - 11*d - 4. Let g be s(8). Let q be -3 + 183/g + -1*2. Which is greater: q or 0?
q
Suppose -3*b = -5*b. Suppose -5*d + 2*f - 6 = b, -3*f = d - 5*f - 2. Let l be 2/d - 16/12. Is l smaller than -1?
True
Let j = -13.1 - -11.7. Are j and -0.05 nonequal?
True
Let f = -1 - 0.1. Let l = -23 + 22.1. Let j = f + l. Are j and -2 equal?
True
Suppose -4 = 2*c - 0. Let i be (-38)/14 - c/(-7). Suppose 0 = -2*y - 5 - 5. Is y less than or equal to i?
True
Let w be (3962/(-28) - 13)*10/3. Is -513 at least as big as w?
True
Let s = -115 + 121. Which is bigger: 10/9 or s?
s
Let k = -4499.07899 + 0.07899. Let l = -4475.91 - k. Let t = l - 23. Which is bigger: t or 2/7?
2/7
Let b be (-154)/(-6) + (-1)/(-3). Suppose -k + b = 3*k - 2*i, -i = -k + 7. Let j = -1.91 - -2.01. Which is smaller: j or k?
j
Suppose -2*s = 4*y - 8, -2*y - s + 16 = 3*s. Suppose y = f - 27 + 2. Is f at most 24?
False
Let b be (1 + (-1)/(-2))*2. Is 44/17 not equal to b?
True
Let g = 18 + -14. Suppose g*z + 6*h = 4*h + 10, 0 = z - 3*h + 15. Suppose z = 3*v - 6*v. Is 0 smaller than v?
False
Let z be (18/(-36))/(1/(-22)). Suppose 2*c + 5*a + 27 = 0, -5*c - 9 - z = 3*a. Which is smaller: -2/17 or c?
c
Suppose 6*r + 108 = 10*r. Let x = r - 27. Is -1 greater than or equal to x?
False
Let z be (32/(-5) + 6)*40. Suppose 0 = d - 2*d - 16. Is d at least as big as z?
True
Suppose 2*o - 12 = 3*o. Let z(p) = -4*p - 55. Let s be z(o). Are -10 and s nonequal?
True
Let d be 3/(-5) + 3*(-1)/(-180). Let o(k) = k**3 + 8*k**2 - 10*k - 10. Let q be o(-9). Is d greater than or equal to q?
True
Let z = -34 + 14. Let m = 15 + z. Which is bigger: m or 3?
3
Let y = 65 + 210. Is y greater than or equal to 275?
True
Let a = -94 - 35. Let x = 73 + a. Which is smaller: -1 or x?
x
Let m = -274 - -250. Which is greater: m or -15?
-15
Let c be (-676)/(-1665) + ((-30)/25)/3. Which is bigger: c or -1?
c
Suppose -6*r + 3*r = 18. Let t = -4 - r. Let s be (-64)/78 + t/3. Are 1 and s non-equal?
True
Let j(v) be the first derivative of v**2 - v + 16. Let l be j(6). Is l less than 9?
False
Suppose 0 = -5*p - 112 - 98. Let z be 224/p + (-2)/3. Let w be 2/16*z/3. Which is smaller: w or -1?
-1
Let d = -1.9 - 92.1. Which is smaller: 0 or d?
d
Let o(c) = -41*c + 80. Let z be o(2). Suppose 0 + 20 = i. Suppose -h - i = -6*h. Which is greater: z or h?
h
Let o be -3*5/21 - 4/14. Which is bigger: 11 or o?
11
Let f(n) = 15*n**3 + 4*n**2 - n + 2. Let b be f(3). Let v be b/50 + (-1)/(-5). Does 9 = v?
True
Suppose g - 5 + 1 = 0. Suppose -g*m - 4 = -2*m. Which is smaller: -16/11 or m?
m
Let y(s) = -s**3 + 2*s**2 + s - 693. Let u be y(0). Let f be 4/18 - 1034/u. Which is bigger: 0.2 or f?
f
Suppose 48 = 3*f + f. Let j(k) = -4*k**3 + k**2 + 2*k + 1. Let t be j(-1). Suppose t*b + 5*r - 34 = 3, -5*b = 5*r - 50. Which is smaller: b or f?
f
Let w be (-2)/(-9) + 48/27. Suppose 3*z + 5*s + w = 0, 5*s + 3 = -4*z + 7. Are 17/3 and z unequal?
True
Let i(l) = 2*l + 2. Let w be i(2). Suppose -3*z + 0 = -w. Suppose 4*o = -5*s + 2*s - 10, 5*