-3)/(-12) + 1/y. Which is smaller: 0 or p?
p
Let c = 18 + -18.07. Let z = 117.888 + -118. Let p = 0.212 + z. Which is smaller: c or p?
c
Let d = 5.441 + -0.071. Let x = d - 0.37. Let s = -0.4 + 0.3. Which is bigger: x or s?
x
Let l be (-13 - 0/4) + 0. Let a = l - -18. Suppose a*s + 2*v = -10, 0 = 3*s - 5*v - 6 - 19. Which is bigger: s or 2?
2
Suppose 0 = 9*n - 6*n. Let v be n/2*3/(-6). Is v greater than -2/223?
True
Suppose -5*u = -6*u - 27. Let y be (3/(u/(-30)))/(-2). Suppose -2*q + 0 = 2*j + 6, -3*j = 3. Is q smaller than y?
True
Let c be 10 - 8 - 7*1. Let w(u) = u**3 + 5*u**2 - 1. Let h be w(c). Let r be -9 - -11 - h/4. Which is smaller: r or 3?
r
Let h(k) = k**3 - 4*k**2 - 2*k - 1795. Let v be h(0). Is v at least as big as -1794?
False
Let v be 19/(6/(-4) + 1). Let t be (11 + -13)/(4 - 1). Which is greater: t or v?
t
Let o = -831/994 - 3/142. Let i be 8/6 + (-20)/6. Which is smaller: i or o?
i
Suppose 639*p - 2 = 638*p. Let f(d) = -2*d - 2. Let z be f(-2). Do p and z have different values?
False
Let i = 45 - 44.55. Let y = 21.55 + i. Are y and 0 equal?
False
Let t = -0.16 + 0.03. Let b = 0.01 - t. Let x = b + -0.14. Which is bigger: 1/3 or x?
1/3
Let l(m) = 3*m**2 + 4*m - 2. Let b be l(-2). Suppose -b*d = -d - 7. Is d greater than 5?
True
Let i = 42 - 32. Let s = -18 + i. Which is smaller: -7 or s?
s
Let n = 14.41 - 277.71. Let g = n + 251. Let u = g + 12. Is u at most 0.1?
True
Suppose 0 = -0*z + z + w - 7, 2*z - 20 = -4*w. Suppose -1 = -s - z. Is -2 > s?
True
Let k = 21 + -12. Suppose 5*n + 25 + 50 = 0. Let j = n + 15. Is j at most as big as k?
True
Suppose 3*s - 2*r + 17 - 12 = 0, 2*s + 1 = -r. Do 229 and s have different values?
True
Let m(n) = 4*n**3 + n**2 - 2*n + 1. Let u be m(1). Let c = 94 - 121. Let i = c - -31. Is i >= u?
True
Let j be ((-96)/(-21))/((-6)/(-14)). Let i = j - 178/15. Are -1 and i equal?
False
Let r = 5719/93 + -10517/1395. Let m = r + -272/5. Which is smaller: m or -1?
-1
Suppose 3*b + 2*w + 1357 = 0, -5*b + 10*w - 2240 = 9*w. Is -450 at most as big as b?
True
Suppose 7*h - 21*h - 1694 = 0. Is -121 >= h?
True
Let u = 30 - 55. Let z be (u + 10)*4/10. Let m = 5 - z. Which is smaller: 10 or m?
10
Let w = 7954037/15 - 529913. Let h = w + -356. Let c = 2323 + -2324. Is c less than h?
True
Let x be 5 + -7 - (-5)/2. Are x and 0.23 equal?
False
Let d(p) = -12*p**3 + 3*p + 2. Let x be d(-1). Suppose 2*v - 4*u + 1 + 3 = 0, -v - 2*u = -10. Suppose 3 = -v*s + 51. Is s greater than or equal to x?
True
Suppose 2*h = -0*a + 4*a - 26, -5*h - 33 = -2*a. Suppose 3*o + 1 = a*o. Suppose o = 4*s + 5. Which is bigger: 2/29 or s?
2/29
Suppose 0 = 5*b + 3*f - 90, 2*b - 3*b + 2*f + 5 = 0. Suppose p - 7 = -3*z + 7, 4*z - b = -5*p. Which is bigger: p or -21?
p
Let f = 0 - -1. Let m be (-37)/(-740)*-10*(-10)/(-2). Which is smaller: f or m?
m
Let q(v) = -2*v - 8. Let b be q(-6). Let x(i) = i**3 - 7*i**2 + 14*i**2 - 8*i**2 - 3*i**2. Let n be x(b). Is 3/14 < n?
False
Let t = 6.35 + -6.37. Which is smaller: 5.9 or t?
t
Let l = 256 + -372. Let p = -113.05 - l. Let j = -3 + p. Which is bigger: 2 or j?
2
Let v(a) = -2*a + 9. Let w be v(-2). Suppose 0*u = -3*u + 9. Suppose -u*d + d = -28. Which is greater: w or d?
d
Let y(x) = x**3 - x**2 - 3. Suppose 0*g + 4*g - 8 = 0. Let o be y(g). Which is smaller: o or -1/16?
-1/16
Let l be 12/(-16)*(-20)/45*-751. Is l less than or equal to -251?
False
Suppose 2*t = -3*u - 22, -t - 2*t = -2*u - 6. Let v = 8 - -1. Let b = v - 16. Which is bigger: u or b?
u
Let r = -371/4 - -22623/244. Is -0.2 < r?
True
Suppose 3*k - 7*k = 0. Let m = 1149 - 36765/32. Which is smaller: k or m?
k
Let u(q) = -4*q**2 + 3*q - 3. Let k be u(-3). Let m be -33*(3 + 130/k). Let g = -1455/152 - m. Is g at most as big as -1?
False
Suppose 24 = 3*d + 18. Let g = -4 + 2. Let i = -2 - g. Which is bigger: i or d?
d
Let b be 4/(-7)*(-882)/(-84). Which is smaller: -18 or b?
-18
Let k be (-126)/(-8) - 4/(-16). Suppose -3*r - r = 3*f + k, -r - 5 = f. Let d be (-2)/(-30)*5 - 6/21. Which is bigger: d or r?
d
Let s be ((-460)/(-60))/(4/(-6))*2. Which is smaller: -19 or s?
s
Suppose -4*u - 14 = -3*r, -4*u - 8 = -3*r - 3*u. Let t be r/2*5/(30/(-12)). Let q be 6/(-21) - 30/(-56). Is q greater than t?
True
Let o = 878/3 - 290. Let g be (1 - -3)*(222/(-24) - 2). Let s = 47 + g. Is o > s?
True
Let k be (-2 - (-35)/20) + (-49)/(-4). Which is bigger: k or 4?
k
Let h = 0 - 0. Let d be 564/200 - (-3)/(-2). Let j = -3/25 + d. Which is smaller: h or j?
h
Let p(b) = 5*b**3 + b**2 - 2*b + 1. Let a be p(1). Suppose 2*h - 3 = c, 5*h = -a*c + c + 27. Does h = 2?
False
Let j = 0.08 - 0.1. Let k = -149 + 152. Is k < j?
False
Let y = 10 + -9. Which is smaller: -7/36 or y?
-7/36
Let i = 868 - 995. Are -126 and i non-equal?
True
Let v = -7254 + 29021/4. Let p(f) = -f + 7. Let s be p(5). Do v and s have the same value?
False
Let x = -49 - -70. Let s be 16/72 + (-182)/9. Let p = x + s. Is 2/25 < p?
True
Suppose -3*z + 51 - 202 = d, 3*d - 86 = 2*z. Do -18 and z have different values?
True
Suppose 4*c - 1 = 5*f - 2*f, -c - f + 9 = 0. Let i = 119/2 + -57. Are i and c unequal?
True
Let l = -0.34 + -8.66. Let r = 8 + l. Let n = 1.9 + 0.1. Which is bigger: r or n?
n
Suppose -3*q = 5*d - 3*d + 483, 10 = 2*q. Is -249 >= d?
True
Let k be (2 - 3) + -1 + 3. Suppose -39*h = -40*h - k. Is h bigger than -1/12?
False
Let v = 395288/167 + -2367. Is v > 0?
False
Suppose 95*x - 89*x = -30. Are -2.8 and x unequal?
True
Let y(n) = n**2 - 24*n + 25. Let x be y(16). Is -106 smaller than x?
True
Let a = -229/3 + 79. Suppose -2*u + 2 = -o, 4*o - 5*u = -3 + 1. Is a less than o?
False
Let u be (-2)/(-5) + (-71664)/(-1540) + 4. Let h = 368/7 - u. Which is greater: h or 2?
2
Suppose -5*p + 9*p - 40 = 0. Let d be (140/50)/((-2)/p). Is d at most -14?
True
Suppose 3*w - 5*w - t = -6, -4*w - t + 8 = 0. Which is greater: 2/413 or w?
w
Let g = -63.97 + 64. Let z = g + 8.97. Which is greater: -2/7 or z?
z
Suppose -5 = -3*t - 2*t. Let c be (-61*1)/((-27)/(-9)). Let f = 21 + c. Is t at most as big as f?
False
Let u = 2 + -7. Suppose 7*z - 1 = 8*z. Is z bigger than u?
True
Suppose 7*t + 32 = 3*t. Let r(p) = -2*p - 1. Let a be r(t). Suppose -7*w = -4*w - a. Which is bigger: w or 7?
7
Let n = 9802/19 + -516. Let w = 2 - 4. Is w greater than or equal to n?
False
Let g = -417 + 416.8. Let v = 5 + -13. Is g <= v?
False
Let f(h) = -h**3 - 2*h**2 + 8*h + 3. Let i be f(-4). Let c be -17*i/42 - 9/(-9). Suppose 0 = -0*v + 3*v. Which is greater: v or c?
v
Let b(q) = -49*q**2 + 4*q - 3. Let s be b(1). Let w = s - -49. Which is smaller: 1/24 or w?
1/24
Let d(l) = -7*l**3 + 3*l**2 - 6*l + 7. Let g(r) = -7*r**3 + 2*r**2 - 5*r + 6. Let v(q) = -2*d(q) + 3*g(q). Let p be v(1). Which is smaller: p or 2?
p
Let a = -2910310/471 + 6179. Let s = -625/1413 + a. Let t(g) = g**2 - 8*g + 6. Let z be t(7). Are s and z equal?
False
Let m be (-4)/(-10)*(6/(-3) + 137). Let i = 122 - 69. Is m >= i?
True
Let w = 170 - 92. Let j be ((-74)/w + 1)/(124/558). Is 0 bigger than j?
False
Suppose 6 + 9 = -15*w. Which is bigger: w or -5/669?
-5/669
Let c(u) = -7*u - 1. Let g be c(-1). Let p = -11 + g. Let l be (-10)/(-4)*4/p. Which is bigger: l or 1/2?
1/2
Let n = 2929/168 - 103/24. Let x(p) = -3*p**3 + 43*p**2 - 14*p + 12. Let w be x(14). Which is smaller: n or w?
w
Let n = -30074 - -121239/4. Let z = n + -237. Which is smaller: -1 or z?
z
Let p(j) = -3*j**2 - 10*j + 13. Let u be p(-5). Is -12 at least as big as u?
True
Let i = -0.266 - -0.366. Is 11 greater than i?
True
Let h = -1321/7 + 189. Let b = -523 + 519. Is b greater than or equal to h?
False
Let h be (-6 - -74)*(-30)/(-8). Is h at most as big as 764/3?
False
Let l be (-1 - -6) + -2 + -2. Suppose 0 = -5*q + k - 87, -2*q + 4*q = -k - 39. Let b be (-56)/(-90) + 4/q. Is b equal to l?
False
Let i(j) = 132*j + 18 - 131*j - 14. Let w(v) = -3*v + 3. Let n be w(2). Let t be i(n). Which is bigger: t or -2/23?
t
Suppose -4*t = 3*y - 0 - 3, -2*t + 5*y + 21 = 0. Suppose -c = t*c. Let q = 9/11 - 69/44. Which is bigger: q or c?
c
Let l(q) = q**3 - 20*q**2 + 16. Let y be l(20). Let n = -14 + y. Which is smaller: -2 or n?
-2
Let y = 383.97 - 388. Let m = y - -4. Let d = -1.3 + 1.2. Which is greater: m or d?
m
Suppose -1 = 4*z - 25. Let h be 8/(-6)*z/268. Are 0 and h non-equal?
True
Let y = -421 - -460.