 Is k smaller than 14?
True
Let k = 9625/4 - 2405. Which is bigger: k or -18?
k
Let z(w) = w**3 - 5*w**2 - 1. Let d be z(4). Which is greater: d or 0?
0
Let j = 320.009 - 320. Is 3 smaller than j?
False
Let o(y) = 30*y**2 - 7*y + 4. Let n be o(5). Let l = 369404849/512757 + -8/73251. Let f = l - n. Which is bigger: f or -0.1?
f
Let n = -32 - -35.5. Let t = n + -2.5. Is t > -11?
True
Let n = -1529 + 1511. Is -29 smaller than n?
True
Let m(p) = p**2 - 4*p - 5. Let k be m(5). Which is bigger: k or -7/24?
k
Let m be ((-9)/(-1))/(12/(-16)). Suppose -4*j = 2*j + 66. Which is smaller: j or m?
m
Suppose -52 = 42*w - 46*w - 5*r, 70 = 3*w - 4*r. Suppose 4*i - 132 = -48. Suppose 17 + i = 2*o. Is o less than or equal to w?
False
Let y be (-7)/((-14)/48) + 0. Let c(b) = -b**2 + 4*b. Let s be c(3). Let l be ((-2)/s)/(y/(-396)). Which is smaller: 10 or l?
10
Let o be -13 - (-19)/((-247)/455). Suppose 3*s + 67 = -5*p - 58, 2*p - 160 = 3*s. Which is smaller: s or o?
s
Let i be (-14 + 14)/(2*1). Suppose i = -z + 4*o + 35, 3*z - 2*o + 3*o = 92. Which is bigger: z or 30?
z
Let b = -4.7 + 6.8. Let t = -5.9 - b. Is t at least 0?
False
Let t(s) = -3*s + 17. Let j be t(6). Let y be (-5)/j + 378/(-72). Is y greater than or equal to -12?
True
Let l be (-31)/18 + 7/42. Suppose -4 + 14 = -5*n. Which is smaller: n or l?
n
Let v = -3534 - -3548. Let m be ((-4)/6)/((-1)/21). Is v at most m?
True
Suppose 37*q = 147 + 297. Which is bigger: q or 264/25?
q
Let k = 152 - 129. Which is smaller: k or 1?
1
Let k be -18*(18/(-12) - 22/(-12)). Which is greater: -41/7 or k?
-41/7
Suppose 23*v + 4790 = -8780. Is v at most as big as -591?
False
Let y = 2314/5 - 171221/370. Suppose -3*r + 5 = 8. Which is smaller: r or y?
r
Suppose -2*j - 4*o = 14, o - 1 = -j - 5. Which is greater: j or -1/20?
-1/20
Let c be (26/30 - 1)/((-12)/5526). Let t = c + -288/5. Are t and 3 non-equal?
True
Let v = -3.36 + 3.36. Let w = 2 - 1.7. Is v <= w?
True
Let a = -30 - -18. Let y = a + 16.2. Let p = y - 3.2. Which is smaller: p or -0.21?
-0.21
Let g = 108.8 - -17.2. Which is smaller: -2 or g?
-2
Suppose -4*f = -52*f - 47 + 239. Let y(w) be the third derivative of w**5/12 - w**3/6 - 2*w**2. Let q be y(1). Is f >= q?
True
Let y = 491/21 + -71/3. Let s = -11.048 + 11. Which is bigger: s or y?
s
Suppose -5*v = 4*q + 571 - 2298, -2*v = 4*q - 1730. Which is smaller: 435 or q?
q
Suppose 4*i + 20 = 3*n, 0 = -n + i - 0 + 5. Let r be (16/12)/((-9)/(324/(-328))). Which is smaller: n or r?
n
Let x = -5 - -9. Let v be 7/(490/(-14)) - 1/(-5). Suppose v = -0*h - x*h. Which is smaller: h or -0.03?
-0.03
Suppose 2*p + 0*p + 110 = 5*a, -4*a + 4*p + 88 = 0. Is 40 <= a?
False
Let x be ((-116)/57 - -2)/((-39)/(-234)). Let h = 0 - -1. Is h equal to x?
False
Suppose -3*y + 39 = l, y - 33 = -3*y + 5*l. Let d be (-651)/(-28) - 3/y. Is d >= 23?
True
Suppose u + 0 - 5 = 3*x, 4*u = 5*x + 13. Let z be (-12 + 3 - 0)*-1. Let t = z - 10. Is t at least as big as x?
True
Suppose -z = 4*z + 20. Suppose 2*w - 597*k + 595*k = -6, -4 = w - 2*k. Which is smaller: z or w?
z
Suppose 12*b - 2760 = -432. Is b smaller than 192?
False
Let u = 36048 + -322499/9. Suppose 3*d - 4*v + 592 + 61 = 0, 0 = 5*v - 10. Let q = d + u. Is q equal to -1/2?
False
Let l be (248/(-13020))/((-6)/(-20)). Let y(u) = -u - 1. Let g be y(-2). Which is smaller: l or g?
l
Let a = -1 - 7. Let w be (-2 + (-22)/a)/(-3). Let f = 0.4331 + -0.5031. Which is smaller: f or w?
w
Suppose 4*g + 13 = -19. Suppose -45 = 4*d - 5*i, 0*d + 2*d - 3*i + 23 = 0. Let b = d + 2. Is b smaller than g?
False
Let m(h) = h**3 - 13*h**2 + 27*h. Let j be m(9). Are j and -83 equal?
False
Let k = 1281 - 1281. Is k != -1246?
True
Let h(i) = 5*i + 1. Let p be h(-3). Let t = -9 - p. Suppose 3 = t*r + 4*v, 3*r - 22 + 1 = 4*v. Is r smaller than 5?
True
Let x(r) = 2*r + 10. Let j be x(-9). Let k(i) = -i**3 - 7*i**2 + 9*i + 11. Let d be k(-8). Let a(v) = -v**2 + 2*v - 1. Let n be a(d). Which is smaller: j or n?
j
Let f = 288 - 288. Are 7/18 and f non-equal?
True
Let d = -1.45 - 28.55. Is -1 greater than d?
True
Let u(f) = 5*f**2 - 8*f - 2. Let n(v) = 4*v**2 - 7*v - 4. Let y(i) = -4*n(i) + 3*u(i). Let t be y(-2). Is -7/10 > t?
True
Let b = -1032 + 1027. Let x = 0 + -1. Which is bigger: x or b?
x
Let g = 24 + -30. Let u be (27/g)/9*2. Does u = -9/7?
False
Suppose -p - 11970 = 14*p. Are -799 and p equal?
False
Suppose -4*y + y = 2*a + 61, -3*a + y - 75 = 0. Suppose 0 = -4*p + 8*p - 400. Let k = p + -125. Is a >= k?
False
Let i = -1186 + 1062. Is -128 at least as big as i?
False
Let p(q) = q + 5. Let z be p(3). Let r be (36/z - 4)*-46. Is -23 < r?
False
Suppose 255 = -3*m - 4*h, 3*h - 8*h = -15. Let g = -0.99 + -0.01. Is m >= g?
False
Let j be -3 + 2774/1078 - 12/(-66). Is j <= -1?
False
Let l = 271 - 272. Is 2/483 != l?
True
Let k(s) = s**2 - 5*s + 10. Let g be k(3). Suppose -v = -4, -g*w + 7*w + 2*v - 62 = 0. Is 18 >= w?
True
Let j = 169 + -214. Is j > -1?
False
Let m = 53 + -796/15. Suppose 4*x - 116 = 2*x. Let j = 404/7 - x. Which is smaller: j or m?
j
Let g = 20 - 18. Suppose 5*b - 2*h = 2*h - 4, g*b = -2*h + 2. Let d be 14/12 + 10/(-5). Which is smaller: b or d?
d
Let a(n) = 2*n**2 + 40*n + 39. Let o be a(-19). Which is smaller: 1/165 or o?
1/165
Let w = -794 - -69859/88. Is 1 < w?
False
Let i be 6/(-8) - -21*248/(-96). Which is greater: -56 or i?
i
Suppose -2*v - 2*o = -194, 5*v - 264 - 237 = -o. Are 105 and v equal?
False
Suppose 1544 = -3*i - 5*v - 1576, 0 = -3*v - 9. Let d be i/(-23)*1/3. Is d at least 11?
True
Let c = -167.9 + 175. Let u = c - 5.1. Which is smaller: 15 or u?
u
Let a be (145*(-8)/60)/((-2)/(-6)). Is a > -628/11?
False
Let j = -41 + 35. Let i be (1 + 73/(-67))*j/54. Which is bigger: 1 or i?
1
Let c = -2.01 + 2.21. Which is smaller: -72 or c?
-72
Suppose -2*s + 1 = 3*d - s, -5*d - 25 = -5*s. Which is smaller: -38 or d?
-38
Let f = -15.79 - -20.7. Let y = f + -4.6. Is y != 1/2?
True
Let r(j) = 64*j**2 - 4*j - 2. Let m be r(-1). Is m at most 66?
True
Let n be -49 + -2 - (1 - 3). Suppose 0 = -21*a - 686 - 343. Is n greater than a?
False
Let x(m) = -m + 10. Let y be x(3). Suppose 3*d - 5 = -5*r + 6, -y = -d - 5*r. Let a = -0.95 + 1. Is a != d?
True
Let b = -5 - -5.09. Let c = -2.91 - b. Let f = -6.27 + 0.27. Is c >= f?
True
Suppose -3*x + 5*x - 2 = 0. Let r = 28 - 13. Let q be r/10*(2 + 0). Which is smaller: x or q?
x
Suppose 4*o = 2*o + 234. Is 117 less than o?
False
Let h = 9 + -6. Suppose -l - 240 = h*l. Let z be (-6)/10 + 4/l. Is z greater than -3?
True
Let p be (-29)/12 + -3 + 6. Let k = p + -11/60. Let t = -55/2 - -28. Which is smaller: t or k?
k
Suppose -7*q + 4*q + 5*w - 18 = 0, -3*w = 5*q - 4. Let p(r) = 3*r**2 + r. Let v be p(q). Let y = -368 + 1481/4. Which is greater: v or y?
y
Let v = 5812/635 + -46/5. Is v at most as big as 1?
True
Let n = 536 - 536. Let d be (90/(-44) + 2)/(-1). Which is smaller: n or d?
n
Let g = 24 + -23. Let d be (-21)/(-14) - 87/50. Is d less than g?
True
Let g = -0.253 - -0.053. Let d = -0.4 + -1.3. Is g greater than d?
True
Suppose -3 = m + 4. Let w be (-3 + 1)/(1/2). Does w = m?
False
Let x = -24 + 23.89. Let u(f) = -f + 7 - 8 + 0*f + 10. Let c be u(9). Which is smaller: x or c?
x
Let k = -2133 + 2135. Are 10/47 and k equal?
False
Let d = -47.562 + 4.532. Let j = 43 + d. Which is smaller: j or -3/7?
-3/7
Suppose 24 + 0 = -4*u. Let j be 2/u - (-14)/42. Suppose 1 = s - 2, -2*p - 2*s + 12 = j. Is p smaller than 0?
False
Let t be ((-77)/(-198))/1*1182. Are t and 460 equal?
False
Let z be 102/105 - (-8)/(-10). Which is smaller: z or 0?
0
Let m(h) = -4*h - 4. Let y be m(-3). Suppose 0 = -13*u + 6*u + 28. Let f = y - u. Which is greater: f or 5?
5
Let o be (-2 - 5)*(0 + -1). Let i = o + -4. Let c be (i/(-9))/(2 + -3). Which is smaller: c or 0?
0
Let c = 126 + -440. Which is greater: 2 or c?
2
Let j be ((-214)/(-12))/(760/(-372) - -2). Let n = j - -414. Let z be 0 - (3 - 0 - 1). Is n equal to z?
False
Suppose 33*g - 32*g = 2. Let d be 12/99*((-15)/(-6) + g). Which is smaller: d or 2?
d
Suppose 4*d + 776 = 85*m - 89*m, -3*m - 4*d = 579. Are m and -193 unequal?
True
Let t be 3/(115/(-16) - -7). Which is smaller: t or -120/7?
-120/7
Suppose -4*a + 3*u + 23 = 0, 4*a - 48 = -5*u - 1. Let c be a + -1*(-3)/(-3). Let g be -8 + c - 3/1. Does -4 = g?
True
Let p = 9 + 10. 