5*j. Which is smaller: j or y?
j
Let c(j) = 64*j - 8. Let v be c(3). Let i be ((-171)/22)/9*v. Let k = 159 + i. Which is greater: -1 or k?
k
Let l = 75 - 51. Let i = 6.915 + -7.215. Which is greater: i or l?
l
Suppose 0 = -5*p + 5*m + 80, -m = -0*p + 4*p - 89. Suppose 10*a - p*a - 165 = 0. Which is smaller: a or -3?
a
Let n = -4469/488395 + -4/1843. Which is smaller: 0.1 or n?
n
Let z be (-4)/(-26) - 138/(-1365). Let i = -2/65 - z. Is 4/5 less than i?
False
Let l be -3 - ((-4)/(-6) + 60/(-9)). Suppose 0 = -l*f + 2*n + 7, 2 + 2 = -4*f - 4*n. Which is bigger: 3 or f?
3
Let b = 0 - 5. Let l = -33 - b. Let x = 28.1 + l. Which is smaller: 2/19 or x?
x
Let n = -1.835 + 1.935. Which is bigger: n or 0.1003?
0.1003
Let h be (4/40)/(282/(-15)). Is -1 less than h?
True
Let a = -825027/541 - -1525. Which is smaller: a or -1?
-1
Let p = 3538.3 + -3537. Let y(v) = v**3 - 5*v**2 - 6*v - 4. Let t be y(6). Let h be t/6 + (-2)/(-3). Is p less than or equal to h?
False
Let d be 1/((-7)/55) + (-4)/28. Let c be (20/8)/(2/d). Is -10 < c?
False
Suppose 194*x - 2*v = 198*x + 264, 2*v - 71 = x. Let a(t) = -2*t**3 - t**2 - 2*t + 3. Let q be a(3). Which is smaller: q or x?
x
Let f(s) = -s - 2. Let a be f(-10). Suppose 0 = 10*l - a*l - 2. Which is smaller: 2/103 or l?
2/103
Let a be (-4)/(-6) + 62/6. Suppose 0 = c + a. Let o be -1*(-7 + 4 - -13). Which is smaller: o or c?
c
Let p be (-5 - (26 + -1))*(6 - -21). Does -809 = p?
False
Suppose 0 = 34*q - 42*q + 96. Is 14 < q?
False
Let f = 3.29 - 4.29. Let i = -10 + 16. Which is smaller: i or f?
f
Let m = 136319/137 - 995. Which is greater: -1 or m?
m
Let h be 2/5 + (-212)/30. Let l = h - -22/3. Let w = 113255/3 + -37752. Which is bigger: w or l?
l
Let v be (-20 - -18)/(28/10). Let n be (3 + 44/(-20))/((-4)/10). Is v at most as big as n?
False
Suppose -4*n - 3*u - 46 = 0, 0 = -3*n - 2*u + 3*u - 28. Which is bigger: -12 or n?
n
Suppose -5*y = -16*y + 6*y. Let v = 407/4 - 101. Is v less than y?
False
Let n = 18 + -18.036. Let u = -0.036 - n. Is 0.27 at most as big as u?
False
Let q be ((-12)/9 - 0)*18. Let u be ((-9)/(-30))/((-6)/q). Is 0 > u?
False
Let w = 392 + -395. Is 0.7 >= w?
True
Let k = 39 - -19. Let w = k - 58. Is w at least -4.8?
True
Suppose -8*q + 7*q = 0. Suppose q = 3*z - 2*z - 2. Suppose 5 = 7*k - z*k. Which is bigger: 1/7 or k?
k
Suppose 2*g + q = -3*g - 33, -5*q = -g + 9. Let z be g/27 + (-8)/(-63). Suppose -5*t + 1 = 6. Which is smaller: t or z?
t
Let c(k) = k**3 - 17*k**2 + k - 13. Let r be c(17). Suppose 0*a = a + 6. Let t be 2/a - (-22)/(-33). Is t greater than r?
False
Let u(m) = -m**3 - 5*m**2 - 4*m + 2. Let r be u(-5). Let k = -32 + r. Let p be (2 - -2)*k/56. Which is smaller: p or 0?
p
Suppose -3*r + 34 = p, -4*r + 5*p - 50 = -7*r. Do 92/9 and r have different values?
True
Suppose 3*h - 22 = -4*b, -4*h + 9 = b - 3. Let g(s) = -b*s - s + 4*s + 10*s + 1. Let f be g(-3). Which is smaller: f or -27?
-27
Let v = 9 - 7.8. Is -2 smaller than v?
True
Let v be 4/(-22) - (-489)/(-33). Let i be ((-6)/v)/((-4)/100*1). Which is greater: -11 or i?
i
Let i(b) = b**2 + 9*b + 11. Suppose 19 + 16 = -5*c. Let o be i(c). Let r be (-2 - 3) + (1 - o). Is -7/6 equal to r?
False
Let v be 1 + -169 + 2 - (-5 - -8). Is -170 < v?
True
Suppose -3*u + 2*u = -1. Let a be (6/(-10))/(36*6/(-60)). Which is greater: a or u?
u
Let h be (-8)/24 + (-23)/3. Which is smaller: h or -9?
-9
Let y = 2/50177 - 10537304/3361859. Let j = -13159/201 - y. Let n = j - -63. Which is smaller: 1 or n?
n
Let u(z) = -z**2 + 6*z - 6. Let p be u(5). Let s be 20/16*4 - -49. Let q = 54 - s. Do p and q have different values?
True
Suppose 244 = 4*g - 5*j, 4*j - 38 = -5*g + 226. Suppose -2*l - g = 2*k, -4*k + 6*l = 3*l + 105. Is k greater than or equal to -26?
False
Suppose 5*z - 25 = 0, z = 11*v - 16*v - 1055. Which is smaller: -210 or v?
v
Let i be (-2)/6 + 196/516. Let o = 435 - 436. Which is smaller: i or o?
o
Let f = -19 - -73. Suppose -3*y = z + 2*z + f, -49 = 3*z + 2*y. Let a = 2/19 - -24/133. Which is greater: a or z?
a
Suppose -j + 4 - 1 = 0. Suppose -33 = 3*h + h - 5*t, -h = j*t - 13. Let d be ((-24)/(-90))/(h/(-9)). Which is bigger: d or 0?
d
Let k(h) = h**3 - 29*h**2 + 32*h - 126. Let i be k(28). Which is smaller: 15 or i?
i
Let h be (-4)/(-6)*(-1 + 7). Suppose 4 = i - 5. Let p be (i/(-12))/((-1)/h). Which is bigger: 7/2 or p?
7/2
Let k = -5 - -1. Let y be ((k - -3) + 1)/2. Are y and 4/15 nonequal?
True
Suppose 27*r = 21*r + 6. Which is bigger: 4/5 or r?
r
Suppose 3*s + 18 = h, 2*h - 36 = -s + 21. Suppose -8 = t + 5*g - h, 19 = 4*t + g. Let q = 58 + -176/3. Is q <= t?
True
Suppose l + 72 = 4*l. Let t(s) = s - 30. Let f be t(l). Let h = 2 - 4. Is h equal to f?
False
Let z = -149 + 138. Do z and -16 have the same value?
False
Let x(d) = -d**2 - 15*d + 18. Let m(n) = n**2 - 8*n - 1. Let j be m(5). Let f be x(j). Suppose -f*v + 33 = -5*v. Are -10 and v non-equal?
True
Let q be (-6)/(-4) + (-42)/(-4). Let m be (10/21)/(8/q). Suppose -18*h = -12*h. Is h greater than m?
False
Let h = 136918/9 + -15195. Which is bigger: h or 19?
19
Let o(u) = -7*u**2 - 14. Let s(x) = 3*x**2 + 7. Let z(r) = -4*o(r) - 9*s(r). Let y be z(-5). Does y = 18?
True
Let g = -489 - -31788/65. Which is smaller: g or 1?
g
Suppose 0 = -2*d + 23 - 65. Is d equal to -1?
False
Suppose -4 = 4*l - 5*w, 0 = 5*l + 6*w - w - 40. Suppose 0*v = l*v - 32. Suppose -n + 3*q = 3*n - 21, 2*n = -4*q + 38. Is v bigger than n?
False
Let z be (7*8/188048)/((-71)/(-1963)). Let f = 2/1679 - z. Is 1 not equal to f?
True
Suppose -35 = 2*b - 29. Let v be (-51)/84*-4 + b/7. Which is bigger: v or 0.14?
v
Let c = -81 - -83. Suppose -c*q + q = -17. Is q not equal to 17?
False
Let j = 450 + -453. Which is smaller: -45/13 or j?
-45/13
Let h(z) = 2*z**2 - 10*z + 15. Let d be h(5). Let q be (-60)/((-24)/(-60)*d/(-4)). Is 39 less than q?
True
Let b = -5 + 4. Let r be b/3 + (-328)/24. Let s = -12 - r. Does s = 3?
False
Let o = 88 + -88. Suppose -13*j + 11*j - 4 = o. Let m be -1*(4 + 1 + -2). Which is greater: m or j?
j
Let u be (-2)/(-8) + 1275/68. Let f = u + -18. Which is greater: f or -1/35?
f
Suppose 4*z + 12 = v + 40, 3*z - 5*v = 38. Let w(s) = 2*s**3 - 4*s**2 - 4*s + 1. Let f be w(3). Is z at most f?
True
Let p = -29569/183 - -91/122. Is p greater than -162?
True
Suppose 3*u - 3*b = u + 73, -3*b = -5*u + 178. Let a be ((-2)/(-5))/((-7)/u). Is -5 <= a?
True
Let f be 29 + (0 - 17 - -5). Is f equal to 54?
False
Let l = 4.37 + -4.27. Which is smaller: l or -71?
-71
Let t = -3251/47705 + 9/145. Is t greater than 0?
False
Suppose -16 = y + 50. Let o be (783/y)/(-3) - 12/3. Which is smaller: -1 or o?
-1
Suppose 0 = -13*n + 5*n + 8. Let s be (-2)/106*-2*4/(-8). Which is greater: n or s?
n
Suppose -3*r + 5 - 2 = 0. Let b(y) = -4*y**2 - 2 + 11 + 5*y**2 - 8*y. Let j be b(7). Which is smaller: j or r?
r
Let i = -29 - -39. Let n be ((-12)/(-54))/(i/6). Let t(l) = -l**2 + 1. Let r be t(-1). Which is greater: r or n?
n
Let w = 5 + -17. Let h be 533/(-78) - (-2)/w. Is -2/5 > h?
True
Let l = -181.958 + 182. Is l bigger than 14?
False
Let g(n) = n**3 - 10*n**2 + 7*n + 6. Let s be g(9). Let u be (-39)/15 + s/(-20). Let c be ((0 - -2) + u)/2. Which is bigger: c or -1/6?
c
Let c = 0.07 + 15.93. Let o = c + -15.85. Let x = -0.15 + o. Is 0 at least as big as x?
True
Let v = -102 - -122. Let q = 33 + -34. Do v and q have the same value?
False
Let n = -2/20151 - 100037/7234209. Is -1 > n?
False
Let k(g) = 3*g + 12. Let a be k(-5). Suppose 0 = -4*r - 1 - 3. Does r = a?
False
Suppose 7*z - 6*z = 0. Suppose -8 = -2*b - 0*b. Let m be 96/190 - b/10. Which is greater: z or m?
m
Let q(j) = -7*j - 7. Let x be q(-6). Let u(v) = 4*v**3 - 52*v**2 + 108*v - 3. Let l be u(2). Which is smaller: x or l?
x
Let f = -4615 - -4635.97. Let r = -0.03 - f. Is r at most as big as 0?
True
Let k be ((-2)/(-18))/((-98)/(-28)). Let w be 1/(2/(-4)) + 3. Is k smaller than w?
True
Let u(r) = -3*r**2 + 37*r + 26. Let f be u(13). Is 1/60 smaller than f?
False
Let m(d) = 4*d - 1. Let z be m(-4). Let p(s) = s**3 - 15*s**2 + 17*s - 58. Let h be p(14). Is z greater than or equal to h?
False
Let a = 19.3 + -17.3. Are a and 1/21 equal?
False
Suppose -107*x + 117 = -120*x. Is -9 > x?
False
Let j = -3 - -18. Let u be (0 + 2)*(-1360)/j. Let h = -3806/21 - u. Is h greater than 