t y(p) = 5*p + 7. Let h be y(0). Let f be (60/h)/(-3) + 3. Which is bigger: f or 0?
f
Let v be -3 - 15/(0 - 3). Suppose 4*z = -5*o + 7, -2*o = v*z + z - 7. Let x(r) = r + 4. Let t be x(-2). Are o and t non-equal?
True
Let w be -3*((-90)/93 - -1). Let p be 21/14 - 2/4. Is w at most p?
True
Let d be (1 - 77/33)/(2/3). Are d and -4 nonequal?
True
Let n(q) = 2*q**2 + 14*q - 2. Let d = 20 + -27. Let y be n(d). Let s be (3 + -4)/((-2)/y). Is -1/13 at least s?
True
Let j be 0/(-1*1/(4/8)). Which is smaller: j or 1/4?
j
Let q be (-4568)/(-6861) + (-18)/27. Let c = q + 9262/130359. Is 0 at most c?
True
Let i = -98 - -1175/12. Let j be (20/(-25))/((8/30)/(-2)). Let r = 23/4 - j. Is r not equal to i?
True
Let a = 96 + -96. Suppose a*h - 20 = -4*h. Do h and 6 have different values?
True
Let i = 27/13 - 215/91. Let n = -6 + 5.76. Let v = -0.06 + n. Which is bigger: v or i?
i
Let r(m) = m**3 - 3*m**2 + 3*m + 19. Let u be r(0). Is u less than 21?
True
Let k = 44/9 + -157/45. Suppose 5*i - 2*i - 42 = 0. Suppose i*g + 6 = 17*g. Is k at least as big as g?
False
Let y(d) = -7*d**2 - 67*d + 22. Let x be y(-11). Which is smaller: x or -16?
x
Let o = -3 + 3. Suppose d = -2*w - d - 64, 2*w - 5*d + 36 = o. Let f be (6/w)/((-90)/35). Which is greater: 0 or f?
f
Let h be (-9)/12*(2 - 50). Let t = h - 11. Let s be 2/10 + 45/t. Is 0 at least s?
False
Let r be 47/4 - 11 - (-25)/(-28). Suppose 3*d - 7*d = 4. Is r equal to d?
False
Let h = -12 - -21. Let l be (-1 - 2/(-1))*h. Let a be ((-2)/(-3))/((-4)/(-3)). Which is smaller: a or l?
a
Let q be 207/24 + (-12)/(-32). Let x be ((-6)/q)/((-5)/((-45)/(-6))). Which is greater: -1 or x?
x
Let d = 2255/9352 + 29462971/74816. Let z = d + -394. Is z greater than 0?
True
Let o = 7 + 58. Let c = 61 - o. Is -32/7 bigger than c?
False
Let b be 70/(-2 + 12) - 15. Is -71/8 < b?
True
Let p = 0.3 - 0.3. Suppose 0 = j + 3*j. Let g = j - -4. Which is bigger: g or p?
g
Let v(h) = -h**3 - 2*h**2 + 1. Let l = -28 - -29. Let r be v(l). Is r bigger than -16/7?
True
Suppose -6*o - 52 - 428 = 0. Let u be (-790)/o - (-2)/16. Which is smaller: 11 or u?
u
Suppose -3*d + 2*h = 9, 2*d + 1 - 5 = -2*h. Let k = -673 + 700.9. Let w = k + -28. Which is smaller: d or w?
d
Let k = -13 + 13. Let x be ((-21)/(-28))/(111/8). Is x <= k?
False
Let z = -24907/1102 + -539/58. Do z and -31 have different values?
True
Let q be (-5 - -3)/((-2)/3). Let v = 33 + q. Let f be 7*(v/28 + -3). Are f and -12 unequal?
False
Let u = -530 - -558. Suppose -3*r = -5*r - 128. Let a = r - -255/4. Which is bigger: a or u?
u
Let f = -11 + 30. Suppose -4*h + 24 + 60 = 0. Which is smaller: f or h?
f
Let w be (4/(-84))/(13/(-9)). Let y = w + 3361/182. Which is smaller: 19 or y?
y
Suppose z + 2*n = 314, 3*z + 2*n = 433 + 501. Suppose -124*o - z = -119*o. Is -61 >= o?
True
Let w(f) = -3*f**2 - 4*f + 5. Let g be w(-4). Let i be 10 + 12/(-2) - -185. Suppose -9*c - i = -2*c. Are c and g nonequal?
False
Let t be 1/(-2)*-22 + -5. Suppose -s + 8 = 3. Suppose -t*d = -s*d. Is -1/13 greater than d?
False
Suppose 3*m = -3*c + 36, 4*c + 29 - 89 = -m. Suppose 0 = u - 8 + c. Which is bigger: 1 or u?
1
Let x be (-4)/(40/1782) - (-4)/20. Is -178 less than x?
False
Let l = 20 + -23. Let y be (-25)/(l + (-10)/(-4)). Let k be y/(-78) + (-1)/(-3). Which is bigger: k or 1?
1
Let q = 0.209 + -15.279. Let u = q - -15. Is -1/2 >= u?
False
Let a = -8 + 10. Let o = -1816/7 - -260. Do a and o have different values?
True
Let t be 5/30*1/(-6). Are 0.3 and t unequal?
True
Suppose 0 = -y - 2*m + 17, 0 = 5*y - 3*m + 4*m - 67. Suppose y*j = 8*j + 50. Let h be 0/1 - -3 - j. Which is smaller: h or -9?
-9
Suppose -3*d = -6*d + r + 31, 0 = -4*d - 4*r + 20. Suppose 6*x = d*x. Suppose -3*o + 5*c - 31 = x, -4*o + 18 - 1 = 5*c. Are -2 and o equal?
True
Suppose 5*p = 5*r + 40, 3*p = 4*r + 48 - 13. Let j be 78/24 + -6 + -5 + -2. Which is greater: j or r?
j
Let m = 10 + 11. Let q = m - 20.88. Suppose 6*v - 2*u + 9 = v, -4*v + u = 6. Is v less than q?
True
Suppose 0 = 393*q - 388*q + 10. Let g(u) = -u + 1. Let y be g(2). Which is smaller: y or q?
q
Suppose 3*z + 38 = -5*i, -3*i - 26 = 9*z - 8*z. Let b(k) = -7*k**3 - 2*k**2 + 2*k - 1. Let x be b(1). Which is greater: x or i?
x
Suppose -3*a - 5*p = -2, 0*p + 2 = 2*a + 4*p. Let b be (-92)/(-171) - (-2)/(-9). Is a greater than or equal to b?
False
Let k = 24 + -22. Suppose 0*n + 12 = k*n. Let p be ((-14)/n)/(-7)*15. Is 5 smaller than p?
False
Let w = 2.1 + -36.1. Let c = 35 + w. Which is greater: -3/5 or c?
c
Suppose q + b = -2*q + 8, 3*b + 9 = 2*q. Let n = 7 + q. Let r = n + -10. Do 2/21 and r have the same value?
False
Suppose 0 = -5*j + 23*j - 306. Which is smaller: j or 1?
1
Let r be (-1)/(6/(-4)*-4 + -5). Which is bigger: 4/239 or r?
4/239
Let a = -402098/1555 + 1293/5. Which is smaller: 0 or a?
0
Let i = -202.6 + 201. Is 0.5 at most i?
False
Let w = 507 + -880. Which is smaller: w or -374?
-374
Let y = 515 + -544. Which is smaller: y or -40?
-40
Let v be (-25)/(-35) - (-2)/7. Suppose -8*a = -10*a. Is a greater than or equal to v?
False
Let o be 175/(-2) - 2/(-4). Let f = 8819 + -8907. Is f less than o?
True
Let o = 23 - 14. Suppose -3*j + 6 + o = 0. Suppose -j + 11 = -m. Which is bigger: m or -8?
m
Let w = 118/53 - 23653/10600. Let p = -3 + 2. Are p and w equal?
False
Let l = 470 + -488.7. Let s = -0.24 + -18.76. Let u = l - s. Which is smaller: 2/7 or u?
2/7
Let g be 3/(6/4) - (2 + 1). Let o be 32/484*3/12. Which is smaller: o or g?
g
Let a = 29 + -54. Let n be 27 + a + 74/(-14). Which is greater: n or -3?
-3
Let k = -12083/13 - -929. Is k less than or equal to -1?
False
Let l be -29 - ((-25 - -24) + -26). Suppose 4*i - 14 = 4*m - 5*m, -14 = -2*i - 4*m. Suppose -3*t - 12 = 2*w + 2*w, 16 = -4*t - i*w. Which is smaller: t or l?
t
Let i be 10/4*((-480)/(-25))/6. Suppose 4*j - i*j - n = 9, -n = -4*j + 1. Is -9/8 > j?
False
Let a(b) = b**3 + 5*b**2 + 1. Let r be a(-1). Let c be ((-87)/493)/(0 + 1/r). Is -2 != c?
True
Let q be 90/(-50)*5/(-3). Suppose -3*f = -3*p - 3, 1 = -2*f + q*p + 2. Suppose -17 = -3*k - 2*z + 20, -f*k = 3*z - 23. Is k less than 13?
False
Let r = -63.1 - -62.973. Is r less than or equal to -0.3?
False
Suppose 0 = 8*p - 11*p + 384. Suppose 2*o - 79 = -3*j, 6*o - 2*o - 4*j = p. Let t be 28/98 - (-4)/o. Is 1 greater than or equal to t?
True
Let n(r) = -r**2 - 19*r + 2. Let w be n(-11). Let z be 36/w*(-10)/(-34). Which is bigger: 8 or z?
8
Let s(r) = -8*r**2 + 14*r + 24. Let g(z) = -z - 8*z**2 + 11*z**2 - 4*z - 8. Let d(u) = 11*g(u) + 4*s(u). Let k be d(0). Is k <= 9?
True
Suppose 8739 = 5*w - 2*z, -2*z - 373 = 3*w - 5626. Which is bigger: w or 1750?
1750
Let j be (0 + 2)/1 + -15. Let x be (-5 + -1)/(5/(75/6)). Which is smaller: j or x?
x
Let f(i) = -1 - 6 + 2*i - i + 1. Let o be f(-6). Which is greater: 0.2 or o?
0.2
Let c be (-3)/(1/7*-3). Let t(a) = -2*a + 23. Let b be t(9). Which is greater: c or b?
c
Let k be (-1)/(-4) - (-15)/(-28). Let z = 7793/4 + -1950. Which is smaller: k or z?
z
Let v be (-135)/46 + (-18)/12. Let o = -921/161 - v. Let h be (-2)/8*-2*(-6 - -2). Is o != h?
True
Let s = 2.7 - 0.7. Let c = -6 - 8. Let t = -13.98 - c. Is t greater than or equal to s?
False
Suppose 4*x - 310 = -2*c, c - 6 = -c. Let l = x + -71. Is 7 greater than or equal to l?
True
Let u be ((-475)/(-140) + -3)*-24. Suppose 7*z - 2*z = -40. Are z and u nonequal?
True
Let k(r) = -r**3 + 11*r**2 - 30*r + 15. Let l be k(7). Which is smaller: 1/474 or l?
1/474
Let b = -215.6 - -215.5. Let u(z) = -z**2 - 4*z - 1. Let k be u(-3). Which is smaller: b or k?
b
Suppose -5*v + 5 = 2*r, 44*v - 40*v - 2*r + 14 = 0. Which is bigger: 3/322 or v?
3/322
Let d = -3.13 + 0.13. Let r = d - -3.01. Which is smaller: r or -2?
-2
Let z(i) = -23*i**2 - 3*i + 2. Let n be z(2). Which is smaller: -97 or n?
-97
Let s = -3538 + 2328. Which is smaller: s or -2/3?
s
Let w be ((630/1280)/21)/(5/(-4)). Which is smaller: -1 or w?
-1
Suppose 0 = -4*j - 2*z + 90, 6*z - 114 = -5*j + 2*z. Suppose -5*b - c = 213, -2*b + 2*c - 68 - j = 0. Which is bigger: b or -42?
-42
Let f be ((-737)/22)/((-2)/(-20)) - -7. Which is greater: -982/3 or f?
-982/3
Let n = 188 - 179. Which is bigger: 1/25 or n?
n
Suppose 19*n + 18 = -1. Which is smaller: 2/345 or n?
n
Let d(a) = a**3 + 7*a**2 + 2*a + 17. Let u be d(-7). Suppose 11 = h + 