Which is greater: t or 30/7?
30/7
Let k be 470/(-35) + 3/((-21)/(-2)). Are -13 and k equal?
False
Let j be (1/2)/((-1)/(-48)). Let a = j - 24. Let r be (3/(-7))/(40/(-28)). Which is bigger: r or a?
r
Let y = -1.3 + 1.48. Let x = 0.18 - y. Let t = 167/406 - -1/58. Which is greater: t or x?
t
Let q = -309 + 312. Suppose 0 = -d + 3*v + 26, d + 3*d - 54 = 2*v. Suppose q*z = -d + 2. Which is smaller: z or -4?
-4
Let t be (-70)/(-4)*56/10. Is t at most -0.2?
False
Let g(r) = r - 10. Let j be g(9). Do 1/73 and j have different values?
True
Let z = 7/152 + -1681/3496. Are -1 and z equal?
False
Suppose 125*k = 120*k + b - 532, 0 = -k - 5*b - 122. Do -107 and k have different values?
False
Suppose 0*n = -2*n + 4. Let z be 2/((-4)/(-6)) - 37240/11704. Which is smaller: z or n?
z
Suppose -10 = 6*i - 4. Let p be -4 - ((-3)/(-18) + -4). Is p at least i?
True
Let y = -6 - -16. Suppose -3*z + y = -2. Let o be z/24 + (-22)/12. Is -3 smaller than o?
True
Suppose -3*j = -j - 2. Let b be (-90)/680 - j/(-4). Is 1 != b?
True
Let k = -34 - -45. Is 13 less than k?
False
Let p(o) = -o - 6. Let c be p(-1). Let k be (1 + -8)/(c/(15 - 5)). Is 15 at least as big as k?
True
Let q be (-24 - -27)/((-2)/14). Which is smaller: q or 0?
q
Suppose -5 + 20 = 5*w, 4*p = 5*w + 9. Suppose p = d + d. Suppose 0 = d*c - c - 2. Does 4 = c?
False
Let f(v) = -2*v**2 - 18*v - 33. Let s be f(-8). Which is greater: -110/7 or s?
-110/7
Let w be ((-1)/2 - -1)/(2/(-16)). Which is smaller: w or 1?
w
Let o(p) = 3*p + 12. Let q be o(-9). Let y = 15 + q. Suppose y = 2*k - 2. Which is smaller: 1/12 or k?
1/12
Suppose 0 = -5*k - 0*k + 10. Let x be k/((-32)/4)*0. Suppose -3*d + 5 = -x*d + 4*q, d + 7 = 3*q. Is d at most 4?
True
Let d be (4/(-2))/(-14 + 15) + 6. Is 9 at most as big as d?
False
Let b = -918/37 - 10062/185. Are b and -80 equal?
False
Let f be (-5 - -2) + (7 - 2). Suppose -c + 12 = -f*w, 2*c + 2*w + 21 = -3*w. Let k = 23 + -28. Is k less than c?
True
Let m be 4 + 3 - (-3 + 5 - -5). Is 15/136 >= m?
True
Suppose 3*c + 2*c - 5*f = -50, 10 = c + 3*f. Let l(d) = d**2 - 2. Let o be l(c). Let v(b) = b**2 + 2*b - 2. Let t be v(4). Which is bigger: o or t?
o
Let r(n) = -n**2 - 11*n - 18. Let q be r(-10). Which is greater: 4 or q?
4
Let p be (0 - 1)/(0 - 1). Let r be (2344/(-260) - -9)/((-3)/5). Which is smaller: p or r?
r
Let a be 3/(-96)*-2*2. Suppose 64 = 3*f - 29. Let q = f - 31. Are a and q equal?
False
Let b = 393 + -394. Are b and 107 non-equal?
True
Let g be (-21)/(-42)*(-4)/7. Is -18/13 > g?
False
Suppose -3*r - g = 1, 0*g + 5 = g. Let z(i) = 4*i**2 + 2*i - 1. Let h be z(r). Which is greater: 12 or h?
12
Let y = 61 - 49. Let v = y + -21. Which is smaller: -1 or v?
v
Let f = 312 - 264. Are 1/3 and f unequal?
True
Let d = -10 - -15. Suppose d*r = 7*r + 4. Let g(k) = -k**2 - 2*k - 2. Let o be g(-1). Do r and o have different values?
True
Let l(q) = -q**2 - 8*q + 24. Let t be l(-10). Let z = -25/3 + 8. Is z bigger than t?
False
Let s = -0.1 + 0. Suppose 83*h - 68 + 10 = -473. Which is bigger: s or h?
s
Suppose 2*n - r = 37, -r - 21 = 5*n - 6*n. Which is greater: n or 40?
40
Suppose 0 = -6*g + 4*g - 98. Let f(a) = -2*a - 11. Let q be f(19). Is g at most q?
True
Suppose -3*z = -r - 8, 2*z + 5*r - 2 = 26. Suppose z*x + 15 - 7 = 0. Let n be x - ((-65)/8)/5. Which is smaller: 0 or n?
n
Let w = -47 + 27. Is -26 >= w?
False
Let c = -0.1 + 0. Let u = -41 - -24. Let f = -18 - u. Are c and f non-equal?
True
Let m(h) be the first derivative of h**2/2 - 9*h - 3. Let p be m(8). Let f = 3 - 5. Does p = f?
False
Let s = -29617/2 + 14539. Is -271 equal to s?
False
Let d = 35 - 39. Let i be (6/d)/(12/(-160)). Is i greater than 85/4?
False
Suppose 0 = 22*p - 0*p + 726. Which is bigger: p or -7?
-7
Suppose -2*z = 3*z - 125. Let o be 3/(-2 + z/14). Let t = -10 - o. Are t and 5 equal?
False
Let v be 2/6 + 25375/(-12). Let w = v - -2101. Is -12 less than w?
False
Suppose 2 = -f + 4. Let h be (1/f)/((-4)/(-88)). Let w = 30 - 18. Which is smaller: h or w?
h
Let j = 36474/47 - 776. Let m = 41 + -40. Suppose 4 = 5*n - m. Is n > j?
True
Let d(s) = -6*s - 85. Let v be d(-18). Does 25 = v?
False
Let w = 34 + -34.33. Let f = -0.07 + w. Which is greater: -2 or f?
f
Suppose -4*a - 7 = -2*v - 7*a, 0 = -2*v + a + 3. Suppose -p = -5*p + 16. Let d be (v/3)/(p/120). Is 20 != d?
False
Suppose a = 3*q - 28, 5*q = -5*a + 13 - 113. Is a greater than or equal to -22?
True
Let m(h) = -26*h + 86. Let w be m(3). Suppose 3*u + 5 = 4*y - 2*y, -4*u = -y. Let g be 6/(2 - u) + 1. Is g != w?
True
Let c be ((-11)/(-66))/(49/210). Suppose 2 - 12 = -5*g. Is c >= g?
False
Let n = 6085869/746 - 8158. Are n and -1 non-equal?
True
Let p(o) = o**3 - 6*o**2 + 3*o + 5. Suppose -23 = -5*n + 117. Suppose 4*h - n = -8. Let b be p(h). Is -3 < b?
False
Suppose -3*x + 116 = -5*c, c + 2*c + 63 = 4*x. Suppose -2*n + 130 = -7*n. Which is bigger: c or n?
c
Let q(h) = 13*h + 146. Let s be q(-10). Which is bigger: -9 or s?
s
Let w = -1 + 9. Let a be (-2)/((w/(-3))/4). Suppose -a*y + 8 = -y - 2*b, -4*y - 4*b = 0. Which is greater: y or 0?
y
Let j(o) = 2*o - 4. Let p be j(7). Let w = 0 - -1. Let h be w*(-2)/((-8)/36). Is p <= h?
False
Let i = 523 + -2091/4. Which is greater: -113 or i?
i
Let h be (2 - (-304)/(-52)) + (-4)/26. Let m be 7 + -10 - h - (86 - -1). Do m and -86 have the same value?
True
Suppose -15 = -2*d - 0*z + 5*z, 0 = 3*d + 5*z + 15. Is 14/27 > d?
True
Let k = -7 + 83. Suppose 5*j - k = 14. Is 18 <= j?
True
Suppose 0 = -23*z + 25*z + 318. Do z and -159 have the same value?
True
Let n be ((-8)/(-312))/(4/(-6)). Let h be 2 + ((-10)/(-2) - 4). Suppose -2 = -h*i + i. Which is smaller: i or n?
n
Let j = 2 - 8. Let b(z) = -2*z + 9. Let h be (-39)/(-13) + (0 - -4). Let v be b(h). Is j smaller than v?
True
Let v be 2/8*(-8)/6. Let p = 20 - -9. Let q = p - 29.2. Which is greater: q or v?
q
Let u be (1/(-1))/(50/650). Is u equal to -82/7?
False
Suppose 0 = -2*c - 5*b + 19, -3*c = -5*b + b - 63. Let u = c - 4. Suppose -30*v - 294 = -51*v. Which is greater: v or u?
v
Let s(w) = 3*w**2 - 19*w - 68. Let h be s(-6). Is 464/3 greater than or equal to h?
True
Let l = 3/16588 - 38243/28017132. Which is smaller: l or 0?
l
Let l be 0 + 4 + 3/((-2)/2). Is l less than or equal to -1/40?
False
Let c be ((-4)/(-60))/(15/50). Is -25 greater than c?
False
Let p = -1 - -8. Suppose 6 = -j + 3*j. Suppose t - j*c = 2*t - 22, -4*c + 27 = t. Is t <= p?
True
Suppose 8*k = 29 + 11. Suppose k*m - 5*g + g = 15, -3*m + 12 = -3*g. Which is smaller: m or -3/16?
m
Let t = 50 - 52.1. Let x = t - -1.3. Let f = x - -1.8. Is f less than -7?
False
Suppose 4*q + 18 - 94 = -4*l, -4*l - 2*q = -70. Let c = l + -11. Suppose 54 = c*o - 1. Which is bigger: 12 or o?
12
Suppose -3*k - 4*o + 10 = -17, k = -4*o + 1. Let z be 28/(-70)*((-5)/k)/(-1). Which is smaller: z or -10?
-10
Let l = 3 - 3.2. Let s = -45.07 - -2.17. Let m = -43 - s. Which is smaller: l or m?
l
Let h = 225 - 227. Is h greater than 123?
False
Let p be (14/(-35))/((-4)/590). Let d = -55 + p. Let g(t) = -6*t**3 - 2*t**2 - t. Let a be g(-1). Which is smaller: d or a?
d
Let v = -906353/7183 + 1388/11. Let u = v + -2643/20243. Is -1 at least u?
False
Let x(n) = -4*n - 12. Let p be x(-7). Let c be (-48)/p + 1 + 1. Let j be c + (-4)/2 - 4. Is j less than -6?
True
Let t(d) = -2*d + d - 36*d**2 + d**3 + 30*d**2 - 25. Let y be t(6). Which is smaller: -30 or y?
y
Let m be ((-1)/(-1604))/(3/3). Is m > 0?
True
Let h be ((-7954)/20)/(20/25). Let j = 496 + h. Is j at most as big as 0?
True
Let g = 927653/1665 + -5014/9. Are 1 and g equal?
False
Let k = -647 - -7102/11. Is k at least -2?
True
Let b be ((-96)/(-20))/(((-12)/160)/(-1)). Let l be (-15)/(-220) - (-4)/b*-4. Is l > -0.3?
True
Let k = 23.6 - -4.4. Let u = 32 - k. Does u = 0.7?
False
Let o be (-42)/(-10) - 2/10. Let s(v) = 3*v + o - 9*v + v**2 - 1 + 1. Let c be s(5). Which is smaller: c or -10?
-10
Suppose 10*g = 5*w + 5*g, -5*g = 4*w - 18. Suppose 20 = -c - i, 2*c + 2*i = -w*i - 30. Do -26 and c have the same value?
False
Let l(t) = 79*t - 370. Let g be l(5). Is 122/5 greater than or equal to g?
False
Suppose -80 = y + 3*y. Let j = y + 61/3. Let q = 0 - -1. Is q not equal to j?
True
Let l = 3626 - 3650. Let x(v) = 9*v + 2. Let s be x(-3). Which is bigger: s or l?
l
Let g(w) = -w**3 + 23*w**2