q = r - -91.949. Which is greater: q or 1/3?
q
Let d = 206099126/7813 - 26379. Are d and 0 non-equal?
True
Suppose 54*x - 229278 = -55*x + 3*x. Which is bigger: x or 2162?
x
Let b = -96 - -106. Suppose 0 = -2*n - o - b - 34, -2*o + 22 = -n. Let t be 2*(-1)/n*(-33)/(-363). Which is greater: t or 1?
1
Let o be ((-14)/8)/(22015/(-7588)). Let v = -2675135/629 - -4253. Let p = v - o. Are p and 0 equal?
False
Let v = 1040.9 - 1040.9496. Which is greater: -1 or v?
v
Let f = -43.86 - -34.86. Which is smaller: f or 0.007?
f
Let o = -6.08 + 0.08. Let b = 4 + o. Let a = -41033/23428 + 17/11714. Is a <= b?
False
Suppose -48*c = 199 - 151. Let b be ((-2)/12)/((-10)/9). Is c greater than b?
False
Let m = -5 + -1. Let u = 6.045 + m. Let h = 21.045 - u. Which is bigger: 0.1 or h?
h
Suppose 4*m + m + 3*s - 20 = 0, m + 2*s - 11 = 0. Let d be (-3)/(-10)*((-10)/35 - (-11)/63). Which is smaller: m or d?
d
Let j = 1427 - 1091.2. Let b = j + -336. Which is smaller: -5 or b?
-5
Let z be (6/24)/((-3)/(-1188)). Which is smaller: z or 795/8?
z
Let r be -20*(56/(-20))/7. Let c be (-150)/432 - ((-33)/r + 4). Let d = 15 + -13. Is c not equal to d?
True
Suppose 4*a - 3*a - 9 = 0. Suppose 3*n - 3*i = 2288 - 2285, -3*n + 2*i - 4 = 0. Which is smaller: a or n?
n
Let z be 3 + -1 + (-832)/392. Suppose 0 = 1820*i + 1815*i - 3624*i. Which is smaller: z or i?
z
Suppose 0 = -124225*o + 124209*o + 16. Which is smaller: 79/82 or o?
79/82
Let k be 7*(-4 - -3) + -17. Suppose 100 = 4*c - 8*c. Which is greater: c or k?
k
Let z = -3992587 - -6264866. Let a = -397650271/175 + z. Let j = 4/175 - a. Which is smaller: j or 9?
j
Suppose 15*n = 10*n + 3*m - 3076, -n - 5*m = 632. Let a = n - -611. Which is bigger: 7 or a?
7
Let k be 34588/(-6916) + (3 - (15 - 17)). Which is smaller: -1 or k?
-1
Let z = -42.13 + 1.13. Let b = 39.49 - -0.51. Let i = z + b. Does 2/3 = i?
False
Let r = 0.3 + 7.7. Let f be (-34)/6 - 3/(-9)*1. Let j = f - -35/6. Which is bigger: r or j?
r
Suppose -4*n - p - 3*p + 40 = 0, 0 = -4*n + p + 15. Suppose -n*b + 23 = 53. Let s = -1094/3 - -358. Is b less than or equal to s?
False
Let i = -3973.798 - -8.798. Which is bigger: 0 or i?
0
Suppose 5*z - 58 = -2*p, -3*z + 18 = -0*p - 3*p. Let n = 4608 + -4609. Is n at least z?
False
Let v = 7423/7 + -1075. Let f = 15 + v. Which is greater: f or 1?
1
Let k = -4/10405 - -24198/8813035. Suppose 0 = -8*r + 240 - 232. Which is smaller: r or k?
k
Let g = -217 + 408. Let q = -767/4 + g. Let j = -10 + 10. Is q less than j?
True
Let r = -1053 + 969. Let c = -96 - -179. Let a = r + c. Which is smaller: 2 or a?
a
Let v(j) = j**2 + 5*j - 2. Let k be v(-10). Suppose 0 = 4*s + 2*s - k. Suppose -3*l + 22 = s*l. Which is smaller: 9 or l?
l
Let t be (-50)/6 + (-1)/(-3). Let u be (1 + 0)/(t/(-24)). Suppose -3*v + 0*v + 3*z = -9, u*z - 3 = 0. Which is smaller: v or 3?
3
Let y(x) = -24*x + 69. Suppose 4*g + 19 = 3*w - 0*w, 3*w = -3*g - 9. Let v be y(g). Are -1 and v equal?
False
Suppose 17*r = -96 + 96. Which is bigger: 2/1061 or r?
2/1061
Let a(c) = 4*c + 76. Let g be a(-13). Does 388/17 = g?
False
Let t be 9 + -3 + -19 - -1*2. Let c be (4/(-12))/(2 + t/6). Is -13/14 at most c?
False
Let g = 104612 - 104552. Let a(w) = w**3 - 3*w**2 - 5*w + 4. Let c be a(4). Are g and c nonequal?
True
Let s = 508/99 + -1220/253. Which is bigger: 0 or s?
s
Suppose o + 5 = 0, -2*t - 2*o + 59 = o. Suppose -255 - t = 4*j. Let a = -217/3 - j. Is 0 equal to a?
False
Let b be (2 + (-4)/(-3 + 7))/((-4)/4). Is 1/1814 <= b?
False
Suppose 0 = -89*q + 88*q + 68. Let k = -28 + q. Does 40 = k?
True
Let o = -186 - -98. Let u be ((-2)/o*11)/(106/12). Which is greater: 0 or u?
u
Suppose 34*f = 31*f + 15. Let v(x) = 9*x**2 - 5*x + 2. Let t be v(2). Let n = t - f. Does n = -2?
False
Let n = -641 + 648. Suppose -4*g - 2*s = 0, 0 = -2*g + n*s - 6*s. Is g < 7/8?
True
Suppose -3*i - n = -1426, -5*i + 4*n = -537 - 1851. Is i bigger than 477?
False
Let w = -205 - -216. Suppose -53 = w*g + 35. Which is smaller: g or 0.5?
g
Let k = -9/5204 + -103477/348668. Is k smaller than -1?
False
Let d = -220685 - -959759069/4349. Which is greater: 0 or d?
d
Suppose -j - 2*w + 125 = -7, 3*w + 107 = j. Let q = j - 138. Is q less than or equal to -16?
True
Let h be (-2 - (-2 + 1)) + 16492/1612. Are -0.1 and h non-equal?
True
Suppose y = 2*y + 5, -4*g - 5*y - 49 = 0. Let q be g/(-4)*(-228)/(-72). Let v be ((-82)/(-28) - 3)*-4. Is q < v?
False
Let c be (-1572)/787 + 2 + 0. Suppose 6 = -45*m + 51*m. Are c and m unequal?
True
Let n(l) = 4*l + 20. Let c(w) = w + 1. Let k(p) = 3*c(p) - n(p). Suppose -78*h = -61*h + 60 + 76. Let q be k(h). Which is smaller: -10 or q?
-10
Let q(f) = f**3 - 4*f**2 + 3*f + 9. Let m be q(4). Suppose 0*i - m = i. Let k(z) = -z**2 - 22*z - 20. Let v be k(i). Which is greater: v or 2/283?
v
Suppose -926*p = -879*p. Is p less than 24/641?
True
Let k be 130/(-28)*312/(-260). Let i(c) be the third derivative of c**5/60 - 2*c**3/3 + 3*c**2. Let z be i(3). Which is greater: k or z?
k
Let k = -0.1 + -0.5. Let p = -80.5 + 339.5. Let x = p - 259.1. Is k equal to x?
False
Let h(z) be the first derivative of 2*z**3/3 + 13*z**2/2 - 59. Let b be h(-6). Which is greater: b or -8?
b
Let y = -3443.41 + 3427. Let n = y + 16.5. Is n < -19?
False
Let j(m) = -10*m - 117. Let x be j(-14). Let a = -119 - -136. Is x at least as big as a?
True
Let c(l) = -l**3 + 6 - l**2 - 2*l + 2*l + 3*l. Let v be 20/(-4)*9/15. Let g be c(v). Which is greater: g or 14?
g
Let j = 19678 - 19679. Let s be 12/(-46)*(-2)/20. Which is greater: s or j?
s
Let h(a) = 10*a**3 - 7*a**2 - 4. Let i be h(3). Let y = -197 + i. Which is smaller: y or 7?
y
Let q = 5294 - 16240/3. Let d = q + 1046/9. Which is smaller: -4 or d?
-4
Let a(y) = -2*y - 119. Let d be a(0). Suppose 275*p + 12998 + 20002 = 0. Which is smaller: p or d?
p
Let z = 384 - 381. Suppose 3*i + 5*l + 304 = 0, -i + z*l = -0*l + 92. Which is greater: -487/5 or i?
-487/5
Let o = -124 + 218. Let v = 0.03638 - -0.06362. Are o and v unequal?
True
Suppose -43 = -2*j - 5*y - 16, 0 = 3*j + 5*y - 53. Let w be (-1005)/12 + j/(-104). Which is bigger: -85 or w?
w
Let r = 37826 - 37823.9. Is 703 greater than r?
True
Let m = 363029/2 - 208742717/1150. Let s = 2261 - 52022/23. Let i = s - m. Is -1 not equal to i?
True
Let k = -19 - -17.62. Let b = k + 1.54. Which is greater: 1 or b?
1
Let s = 5235 + -5204. Let u = 0.1 + -0.5. Which is smaller: s or u?
u
Let h be 21/14 - 2/(-4). Let d be -3*7/105*(4 + 1). Let m be ((-10)/(-40))/(d/h). Which is bigger: m or 3/2?
3/2
Let q = 1012 + -1897. Suppose 3*h + 4 = 4*c - 6*c, -h + 7 = -c. Let o be q/(-15)*1*h/(-2). Is -58 equal to o?
False
Let o be 133*(-4)/(0 + 4). Let u be (-4)/14 - (-760)/o. Let x = -25.9 - -26. Which is bigger: x or u?
x
Let t(w) = -w. Let m(q) = 18. Let d(a) = -2*m(a) - 4*t(a). Let n be d(9). Are n and -5/38 equal?
False
Suppose 5*p + 5 = -0. Suppose -f = 4*s - 27, -5*s + 3*f = f - 50. Let z(r) = 8*r - 69. Let q be z(s). Which is greater: p or q?
p
Suppose w + 0*w = 5. Suppose s + w*l - 93 = 3*s, 2*s + 5*l + 83 = 0. Let h = s + 30. Is h greater than -3?
False
Let l be (8/10)/((-34)/170). Let a = -0.504 - -0.324. Is a greater than or equal to l?
True
Suppose -33*c + 166 = -131. Which is smaller: -48/17 or c?
-48/17
Let u(k) = -23*k**3 + 3*k**2 + 2*k + 2. Let s be u(-3). Let w = s + -403. Does 242 = w?
False
Let l = 1.011 + -204.511. Let a = 202 + l. Is 14 not equal to a?
True
Let i = -28369/1476 - -173/9. Which is bigger: -2/9 or i?
i
Let v(z) = 32*z**2 - 1207*z + 45. Let o be v(38). Let w(f) = 23*f**2 - 4*f + 1. Let p be w(-4). Which is bigger: p or o?
o
Let n(t) = 26*t - 413. Let f be n(16). Suppose -5*k + 8 + 7 = -5*a, 9 = -2*a + f*k. Which is smaller: a or 4/271?
a
Let r = -11328.2 + 11328. Is r < -7.83?
False
Let c = -5546 - -5448. Which is bigger: c or -5?
-5
Let a(i) be the second derivative of i**5/10 - i**4/2 + 7*i**3/6 - 5*i**2 - 20*i. Let k be a(4). Suppose k = 6*y - 64. Which is smaller: 20 or y?
y
Let g(w) = -15*w**2 - 22*w - 78. Let h(o) = -16*o**2 - 24*o - 78. Let q(s) = -5*g(s) + 4*h(s). Let i be q(-4). Is i bigger than 198?
False
Let d = -0.081 - -90.081. Let l = -92 + d. Let k = -0.5 + 0.66. Are l and k equal?
False
Suppose -4 = -u + 29. Suppose 192 = u*l - 6. Is l > 6?
False
Let f = 4494 - 4495. Is -21/11 less t