ger: -1/84 or v?
-1/84
Suppose 3*h - 6 = x - 3, -5*x + 7 = -4*h. Suppose 8*k + 26 = 5*k + 2*i, 0 = 5*k - x*i + 42. Which is bigger: 7 or k?
7
Let j = -24906 + 1818175/73. Which is greater: j or 1?
1
Suppose 4*z = -23 + 7. Let w be (-5)/((0 - (-2 - z))/(-10)). Let s = w + 20. Which is greater: 1 or s?
1
Suppose -n + 3*n = 8. Let q be (-296)/(-50) - (-78)/975. Which is greater: q or n?
q
Let v = 33.087 + -38.087. Which is bigger: v or 515?
515
Let g = -11387 + 9498. Is g less than or equal to -1890?
False
Suppose 10*s - 225 = -65. Let m(h) = 12*h - 102. Let p be m(s). Let q = 2 + -5/2. Which is smaller: q or p?
q
Let l = -398836/889 - -3140/7. Is l != 0?
True
Suppose 3*s - 8781 = -t, 10 = 2*s + 3*s. Let d be t/189 + (-12)/28. Let l(a) = a**2 + 4*a + 1. Let x be l(-9). Is d greater than or equal to x?
True
Let n = -4.55 - -4.45. Which is bigger: -1.73 or n?
n
Let w = 16632 - 15710. Which is smaller: 924 or w?
w
Let n = 1.565 + -1.165. Which is greater: -207 or n?
n
Let z be 13 - 14 - (2 + -8). Let d be (z - (-4)/16) + -5. Which is smaller: d or 0.084?
0.084
Let q be 19/114*9/(2538/(-12)). Suppose 3*y - 4 = -1. Does y = q?
False
Let g = 421.98 + -426. Let b = -1.08 + g. Let o = 75 + -74. Is b > o?
False
Let p = -0.0201 + -42.2799. Let j = 8.126 + -0.826. Let k = p + j. Which is smaller: k or 0?
k
Let l = -2412/22463 - -3/12836. Which is greater: 84 or l?
84
Let b = 4.4 - 4.3. Let t = 33.1 - 35. Let q = t + 3.9. Is b > q?
False
Let b = 0.41556 + -0.11556. Is -7/164 > b?
False
Let p = 133578038 - 14025894859/105. Let g = -1913 - p. Which is bigger: -1 or g?
g
Let n be 2/(-1) + (34 - 29). Let w be ((-39)/30 - n/15)/24. Let x(d) = -d**2 + 2*d. Let a be x(1). Which is bigger: w or a?
a
Let j = -201 + 315. Let p = j - 124. Are p and -16 non-equal?
True
Let c = -120.7 - -128. Let t = -2675.3 - -2665. Let i = t + c. Is -1 equal to i?
False
Let i = -40747 - -40738. Let d be 0*2/4*1. Let r = -1 - d. Which is smaller: r or i?
i
Let y(p) = -p**2 + 119*p + 2767. Let t be y(134). Let b = 1206 - 448. Is t greater than b?
False
Let f = -1170 + 1733. Is f at least 1690/3?
False
Let j(f) = 57*f + 681. Let u be j(-12). Let g = -21 + 20.49. Which is smaller: u or g?
u
Let u = -278 - -4177/15. Let s(j) = j**3 + 2*j**2 + 19*j - 54. Let y be s(2). Is y < u?
True
Let z be 43/(10836/(-56)) + ((-497)/(-9) - -1). Is z greater than 25?
True
Let h be (-20)/(4 - -1) + 6. Suppose -75 = 5*p + 2*i, -h*p - 2*p - 5*i = 60. Suppose a = 4*a + 48. Is p at least as big as a?
True
Let d be 7 + 37002/(-8514) + (-78)/143. Which is greater: d or 2?
d
Let j = -189.6 - -110.6. Which is smaller: j or -3/5?
j
Let n = -0.556 + 123.956. Let x = -110 + n. Is 0 less than or equal to x?
True
Let z = 837.807 - 836.807. Let q be 2/(-5) + 1382/(-70). Is z at least as big as q?
True
Let z(i) be the second derivative of -i**5/20 - i**4/3 - i**3/6 + 2*i**2 + 16*i. Let j be z(-3). Let m be 10/5*(-1 + (-21)/j). Is m bigger than 20?
False
Let v be (190/(-85) - 11)/(-1). Is v greater than or equal to 12?
True
Let z be (2*-1)/((-2)/(-13)). Suppose 15*o = -3*m + 14*o - 45, 2*o = -3*m - 45. Is m >= z?
False
Let r = -0.66 + 1.21. Let f = -0.75 + r. Which is bigger: f or -20/3?
f
Suppose 10*x + 260925 = 80*x + x. Which is bigger: 3676 or x?
3676
Suppose o - 3*f - 437 = -4*o, -263 = -3*o + f. Suppose n - 8 = -3*z, z = -5*n - 2*z + o. Suppose -167*p + 3294 = 16*p. Which is smaller: p or n?
p
Suppose 5*i - 2 = n + 1, -4*i = n - 6. Suppose -4653 = -4*s + 13*s. Let f = -23261/45 - s. Which is greater: i or f?
i
Let t = -3614 - -3614.24. Does t = -0.145?
False
Let b be (-4)/(-14) + (-66)/(-14). Let q = 647 - 623. Let j(g) = g**3 - 23*g**2 - 22*g - 43. Let d be j(q). Do b and d have the same value?
True
Let h = -130/27 - -559/189. Suppose 209 = -5*f + 199. Which is bigger: h or f?
h
Let m be (-34)/(-221) - (-256)/26. Suppose 4*w - 5*h = -m*h + 418, -w - 4*h + 110 = 0. Suppose -118 = 10*z + w. Which is smaller: z or -24?
-24
Let w be ((-7982)/(-286) + -28 - 11650/(-11)) + -8. Which is bigger: -1 or w?
w
Let s(k) be the third derivative of k**6/120 + k**5/4 - 11*k**4/24 + 40*k**3/3 - 216*k**2. Let h be s(-16). Is -21/76 greater than or equal to h?
False
Let i be (-30366)/(-36)*((-34)/14 - 18/(-6)). Are -13 and i equal?
False
Let r(s) = s**2 - 2*s - 4. Let l be r(4). Let a = 5 + -4. Let w(h) = h**3 + h**2 - h + 1. Let o be w(a). Which is smaller: l or o?
o
Let c be 0 + -1*(-4)/(-1886). Let p = -11220 - -11219. Are c and p non-equal?
True
Let v = 9095 - 9096. Which is smaller: -366/173 or v?
-366/173
Let u be ((-3968)/512 + (-6)/(-8))/(2/20). Let r = -1 - 1. Do u and r have the same value?
False
Suppose -x - 5704 = -3*s, 149*s - 153*s = 3*x - 7614. Which is smaller: s or 1900?
1900
Let c be 4 + 7/((-143325)/(-5808)). Let h = 2/975 + c. Which is greater: 3 or h?
h
Let x(n) = 5*n + 14. Let l be x(-4). Let t be (-3)/l - 10/(700/63). Is 0.52 greater than t?
True
Let v = 2335 + -2314. Which is greater: v or 0?
v
Let z = -72 - -49. Suppose 21 = 5*c - 3*l - 73, 2*l + 23 = c. Let v = z + c. Which is greater: v or -11/2?
-11/2
Let j = 2932 - 3250. Which is smaller: j or -1915/6?
-1915/6
Let w = -21317 + 21936. Which is greater: w or -0.06?
w
Let o = 32554 - 31114. Which is smaller: 1448 or o?
o
Let f be (3600/710 - 5) + -5 + 5. Are f and 6 unequal?
True
Let p(h) = -h**2 - 61*h + 11952. Let b be p(83). Let q be (-4)/10*(-2)/(-40). Is q greater than or equal to b?
False
Let f = 26/53 - 6101/13409. Which is bigger: 0 or f?
f
Let z be 24/4*1/2. Let w be 6*51/(-4) - (z - 0). Let u = w + 79. Which is smaller: u or 7/6?
u
Let q be (86/((-4816)/(-136500)))/((-8)/2). Is -609 >= q?
True
Let t(r) = r**2 - 10*r + 27. Let o be t(6). Suppose -3*i = -5*q - 19 - o, -4*i + 4*q + 24 = 0. Suppose -6*f = -i - 2. Is f at most 0?
False
Let l = -364 - -362.29. Let s = 24.29 - 25. Let f = l - s. Which is bigger: 10 or f?
10
Suppose 0 = -5*d - 15, -5*z + 9*d - 4*d + 21680 = 0. Which is greater: 4332 or z?
z
Suppose 139*f + 142 - 142 = 0. Let u be (-6)/(-2)*(-14)/(-6). Which is bigger: f or u?
u
Let q be 204/(-17) - (4 + -26 - -10). Is -22/3131 < q?
True
Let m(s) = 6*s - 5. Let f be m(3). Let r(t) = -t**2 + 13*t + 4. Let k be r(f). Let p = -7 - k. Is -62/5 <= p?
True
Suppose 4*b - 6 = 2*b. Suppose -5*a + 22 = -u, u + 34 = -b*u + 2*a. Let x be (-54)/8 - -5 - 1035/(-660). Is x at most as big as u?
False
Let k = 8580 + -145816/17. Suppose 139*n + 83*n - 796 = 23*n. Is k != n?
True
Let v be (-238)/(-21)*(1 - 4)*3. Let p be (-48)/72*9/v. Which is greater: p or 17?
17
Let s = -381 + 299. Let r = -82.08 - s. Which is greater: -5/6 or r?
r
Let o be (3 + -4)/(2/(-46)). Let y = o + -27. Are -7/2 and y non-equal?
True
Let u be 2/17 + (-312)/(-3094)*-21. Let j(a) be the first derivative of -a**4/2 - 4*a**3/3 + 1. Let l be j(u). Is 1.1 <= l?
False
Let q(t) = 107*t - 185. Let b be q(-5). Let y be 0 + 5 - b/(-621)*6. Which is bigger: -1 or y?
-1
Suppose 0 = -3*i - 48 + 96. Let w = i - 17. Let y = 761/247 + -60/19. Is w != y?
True
Let z(x) = -x**3 + 6*x**2 + 3*x + 6. Let n be z(4). Let f be (-395)/n - (-5)/(-50). Let r be -2 + f/(-20)*11. Is 2 not equal to r?
True
Let t be 520/155*2/(-4). Let o be 20 + -11 - 28 - -17. Are o and t equal?
False
Let c = 457 + -820. Let q = c + 369. Let s = 8 - 5. Are q and s equal?
False
Suppose -3571 = 51*q - 48*q - g, -g + 4760 = -4*q. Which is greater: q or -1186?
-1186
Let g(t) = 15*t + 135. Let o be g(0). Suppose -1591 = -17*q + 721. Which is smaller: o or q?
o
Let j = -1.34 - -39.34. Let v = 41.67 - j. Is v at least 2/3?
True
Suppose -12*b + 11*b = 5*x + 2809, -5*x - 2789 = -4*b. Which is greater: x or -6162/11?
-6162/11
Suppose -z - 38 - 235 = 2*d, -5*d - 685 = 3*z. Is -79 greater than d?
True
Let v be -32 - (80/4)/5. Let z be ((-76)/(-342))/((-38)/v). Is 0 bigger than z?
False
Suppose 108*x - 83*x = 97*x + 283680. Is -3944 at least as big as x?
False
Suppose 5*v = 6*v - 50. Let m = 60 - v. Suppose -c + 6*o = o + 28, -o = 5*c + m. Is c greater than -1?
False
Let t = -21 - -12. Let z = 14 + -12. Let v = z + t. Do 2 and v have the same value?
False
Let w = -60.3 + 78. Let j = w - 14.7. Is j equal to -11/4?
False
Suppose 17 = -3*w + 2*g + 1, 5*w - 4*g + 28 = 0. Let h be (-3 + 4)*0/w. Which is smaller: 8/23 or h?
h
Let n = 78 + -63. Le