5. Which is bigger: x or 62?
x
Let t be (5/2 - 3)*(-59 - 2225). Is 1142 bigger than t?
False
Suppose 6*j - 1511 = 8*j - m, -4*j - 5*m - 3029 = 0. Is j at most as big as -757?
False
Let z = 2/46103 + -830476/14338033. Which is smaller: z or 1?
z
Suppose -7*y + 717 = 171. Let j = y + -50. Are 1 and j nonequal?
True
Let a(x) = -3*x - 5. Let m be a(-4). Let q = 193 - 189. Suppose 3*c = k + 9, 9*c - 4*c - q = -2*k. Is m less than or equal to c?
False
Let h = -2 - 3. Suppose -4*q + 2*q = -3*q. Which is smaller: q or h?
h
Let v be 583/22 + 9/(-6). Suppose -g - v - 5 = 0. Is -0.1 at most as big as g?
False
Let v = 2187 - 2230. Is -34 smaller than v?
False
Let m = 220.12 - 216. Let p = -0.12 + m. Are p and 1 equal?
False
Let u = -21 + 73. Are 54 and u equal?
False
Let x = -2.4 - -2.55. Let o = 0.25 - x. Which is smaller: 1 or o?
o
Let c be (-7 + 9)/(12/(-270)). Which is bigger: c or -47?
c
Let r = -39 + 14. Let m = r + 24. Is -0.5 not equal to m?
True
Let v be ((-12)/(-7))/((-42)/147). Let u(c) be the second derivative of c**5/20 - 5*c**4/12 - c**3 - 7*c**2/2 - c. Let f be u(6). Which is smaller: v or f?
f
Let c be (3/(2 - -28))/((-4)/(-24)). Let l = 230 - 229. Is l > c?
True
Let j = 52 - 51. Let s be (-3)/34*(-8)/(-6). Which is smaller: j or s?
s
Let m be -10 + 11 + (-8)/(-6). Let s = m + -2. Which is smaller: 0.2 or s?
0.2
Let v = 568 - 579. Suppose -3*m + 15 = 5*n, 0 = -5*n + 5*m + 5 + 10. Suppose 4 = 2*x, -51 = 4*s - n*x - 5. Which is smaller: v or s?
v
Let t be (238/(-197421))/(7/(-3)). Do t and 0 have the same value?
False
Let s be (-1)/(1 + (-48)/52). Let y(w) = -3*w**2 - 3*w + 1. Let a be y(2). Are a and s unequal?
True
Let a be (-14)/(-42)*(-5 - -5). Is -2/1657 less than a?
True
Let z = 6594 - 6571. Let t(v) = -7*v - 1. Let g be t(-1). Let k be ((-9)/g - -2)*44. Which is greater: z or k?
z
Let m = 135 + -273/2. Which is smaller: -3 or m?
-3
Suppose -32*o + 189 = 1085. Are -28 and o nonequal?
False
Suppose -4*f + 19 = 3*k - 19, -2*f - 5*k + 26 = 0. Let p be ((-14)/609)/(f/(-6)). Which is smaller: p or 1?
p
Let n(f) = -3*f - 37. Let d be n(-13). Suppose u - 3 = -d*m, 7*u - m + 9 = 5*u. Let c = -7 - -7.03. Is c > u?
True
Let c = -42 - -15. Let t be (-45)/c*9/20. Is -1 <= t?
True
Let l = 370/99 + -32/9. Which is smaller: 0.2 or l?
l
Let o = -0.45 + 0. Let a = o - -0.26. Let t = -1.19 - a. Is t at most as big as -6/5?
False
Let x(l) = -1197*l - 3. Let h be x(15). Let t be 12/18 - h/117. Let b = t - 154. Is 0 less than b?
True
Let h = 10.32 - 12.32. Which is bigger: -38 or h?
h
Let q = 7 + -7. Let y = 109.7 - 110. Which is smaller: q or y?
y
Let p = 792 - 870. Is p at least 0.03?
False
Let i be 8319/(-45) - 2/6. Which is bigger: i or -185?
-185
Suppose 2*j = -4*n - 6, -4*j - 2 = -359*n + 362*n. Suppose 5*a - 41 - 29 = 0. Do a and j have the same value?
False
Let s = -22 + -9. Let j = s + 14. Let b = j - -16. Is 7 < b?
False
Let k(f) = f - 3. Let b be k(-3). Let p be ((-36)/15 - 0)*-10. Suppose 6*t + p = 2*t. Is t smaller than b?
False
Let r = -0.39 - -0.404. Let p = -0.004 + r. Which is bigger: 1 or p?
1
Let p = -11443418 + 143374583801/12529. Let y = p - -2/187. Which is greater: -1 or y?
y
Let l be (80 + 25/(-5))*-1 + 1. Does l = -74?
True
Let s = -19 + 30. Suppose 4*u - 2*u + 4*q = 10, 4*q = -u + s. Let o(w) = -2*w**2 - w. Let p be o(-1). Does p = u?
True
Suppose 5*z = -3*x + 132, 0 = -5*x + z + 4*z + 260. Which is smaller: x or 13?
13
Let k be (-7)/(-4 + 490/60). Is -1 at least k?
True
Suppose 361 = -5*z - g, -5*g - 53 = z - 0*g. Which is bigger: -76 or z?
z
Let r be -3 - 1/((-16)/34). Let c = -9/40 + r. Let x = 137/120 + c. Which is greater: 1 or x?
1
Let b = 733/63 - 76/7. Is b bigger than 2?
False
Let i(w) be the first derivative of w**4/4 - 2*w**3/3 - 2*w**2 + 3*w - 2. Let q be i(3). Let b be (-3)/((-27)/2)*6/(-16). Which is smaller: b or q?
b
Let g = 144/97 + 3/194. Suppose -4*d - 3 = 3*h, 4*h = -d - 0*d - 4. Let l = h + 4. Is l < g?
False
Suppose 43*s + 30 = 38*s + 5*u, -29 = 4*s - 5*u. Which is greater: s or 1.83?
1.83
Let z(h) = -h**3 + 3*h**2 + 3*h + 2. Let m(w) = 3*w**3 - 7*w**2 - 7*w - 5. Let q(b) = -2*m(b) - 5*z(b). Let n be q(-2). Is 5 less than or equal to n?
True
Let d(j) = -4*j**2 + j + 1. Let v be d(-2). Let s(m) = m**3 - 6*m**2 - 10*m + 4. Suppose -f + 5 + 2 = 0. Let x be s(f). Is x greater than v?
False
Let a(r) = -r**3 + r**2 + r + 6. Let b be a(0). Let v(z) = -z**2 - 9*z + 24. Let i be v(-10). Suppose -27*y = -25*y - i. Is y <= b?
False
Suppose 0 = -71*m - 184 + 823. Which is greater: 2/9 or m?
m
Suppose -17*o = -23*o + 180. Let q(c) = -c**2 - c. Let v be q(-2). Let u be (16/(-312))/(v/o). Is u greater than 0?
True
Suppose 119*s + 1170 = 137*s. Which is bigger: 70 or s?
70
Let c = 1/132 - -83/660. Suppose -j - 2 = v, -3 = -j - 4. Let w be -1 + v + -7 + 8. Is c greater than w?
True
Let z = 68 - -51. Let p = z - 110. Which is greater: 2 or p?
p
Let v = -14 - -1. Let i = 26 + v. Let a = 31 + -18. Are i and a unequal?
False
Let m = 0.077 - 1.357. Let z = 0.22 - m. Let h = 8 + -9. Which is greater: z or h?
z
Let v(p) = p**3 - 13*p**2 - p + 12. Let y be v(13). Let u be ((-5)/10 - y) + -2. Is u bigger than -1?
False
Let p(s) = s**2 - 36*s + 34. Let l be p(35). Which is smaller: l or 5/41?
l
Let z = 24 - 45/2. Suppose -5*t = -101 + 86. Which is smaller: z or t?
z
Let f = 93 + -45. Let t = 33 - f. Which is bigger: 0.1 or t?
0.1
Suppose 5*t - 7*z = -5*z - 9, -5*t - 15 = -5*z. Which is bigger: 2/93 or t?
2/93
Let n be 1/3 - 143/660. Do n and 0 have the same value?
False
Let z(d) = -d**3 - 5*d**2 + 21*d + 20. Let c be z(-8). Let u be (2 - 0)/(c/(-36) - -1). Is u > -9?
False
Let b = 2597 - 10177/4. Which is smaller: 54 or b?
b
Let c be 8/(-18)*-3 + (-616)/588. Which is smaller: c or 9.1?
c
Let j(l) = -748*l + 103. Let v be j(1). Is -647 smaller than v?
True
Let b = -0.133 - -3.533. Let f = 0.6 + -0.2. Let l = f - b. Is l less than 1/3?
True
Let g = -308 + 311.03. Is g less than 1/3?
False
Let m(g) = -21*g**2 + g - 1. Let x be m(1). Let h = -22 - x. Suppose o - 4 = -5. Is h greater than or equal to o?
True
Let f be 1/(-1*(3 + -2 + 0)). Let h = 4 - 17. Which is smaller: h or f?
h
Suppose -z + 56 = -31. Let m = z + -88. Do m and 0 have the same value?
False
Suppose -6*i + 2*i = -56. Let b = i - 12. Which is smaller: b or 12/5?
b
Let h = -69/128 + -31867/128. Are -251 and h unequal?
True
Let b(r) = -15*r. Let x be b(-1). Let c = x + -17. Which is smaller: -13/6 or c?
-13/6
Let x be 2*(-5 + 4) + 10. Suppose -b = -3*j - 102, 0 = -2*b - x + 2. Is -35 > j?
False
Let d(q) = -3*q**2 - 19*q + 57. Let c be d(6). Which is bigger: c or -164?
-164
Let f be (0/(-4))/(-2 + (-2 - -3)). Let c(j) = -3 + 0*j + 2*j - 4 - 6*j**2 + j**3. Let s be c(6). Is s not equal to f?
True
Let p = -0.34 + -0.36. Let c = -0.039 - 0.161. Is c bigger than p?
True
Let w = -0.111 + 52.111. Let z = w - 53. Is -15 >= z?
False
Suppose -640 = 2451*u - 2441*u. Which is smaller: u or -58?
u
Let d = 254/3 - 84. Let x(p) = p + 7. Let j be x(-7). Do j and d have different values?
True
Let t = -3.57 + 3.17. Which is smaller: t or -0.3?
t
Suppose -12*d + 17*d = 35. Suppose 4 = -3*z + d. Is -3 smaller than z?
True
Let t be (-2 + -1)/(243/81). Is t greater than or equal to 2/12417?
False
Suppose 3*s - 1 = -52. Let l(y) = 2*y + 14. Let d be l(s). Let m be (-3 - 63/d)*-12. Is -3 equal to m?
False
Let y = -86.9 - -49. Let j = 0 + -38. Let x = y - j. Which is smaller: -9 or x?
-9
Let i = 23 - 25. Let j = -29.2 - -15. Let z = j + 3.2. Is z at least as big as i?
False
Let i = 69/5 + -15. Suppose -c + 3 - 2 = 0. Suppose 5*w - c = -11. Which is greater: i or w?
i
Let k = -42.29 + 42. Let u = -2.29 - k. Are u and -4 nonequal?
True
Let i = -68.4 - -73. Is i < 1/7?
False
Suppose -11*a - 12 = -14*a - 4*z, 2*a = -3*z + 9. Is a greater than -2/333?
True
Let s be (-9246)/540 + 3/(-6). Let b = s - -53/3. Which is bigger: 0 or b?
b
Let j be (-1 - -1) + 32 - 2. Suppose -2*l - j = l. Are l and -11 non-equal?
True
Suppose 2*o = -3*o + 55. Let c(a) = 17*a - 15. Let w be c(4). Let h = w + -41. Which is smaller: o or h?
o
Suppose -2*r + 2*j = -14, 3*r - 4*j = -0*r + 18. Suppose 4*n - r = -3*q, -5*q + 8 = -3*n + 1. Which is smaller: n or 28/17?
n
Let b = 40064/742203 + -2/3969. Which is bigger: b or -1?
b
Let