
-9/7
Suppose -223*g - 265 = 42*g. Which is smaller: 60/197 or g?
g
Suppose 5*a - 7*a = 3*z, 2*a + 4 = -4*z. Let d be ((-4)/2)/(a/18). Let j(q) = 2*q + 2. Let r be j(d). Is -10 less than r?
False
Suppose 67 = -24*l - 77. Let b be 80/2544*l/(-4). Is -1 at least b?
False
Let z = 0.001561 - 0.02964. Let c = 33.982921 - z. Let o = -0.011 + c. Which is smaller: o or 0?
0
Let s be 2190/1935*(-3)/2. Which is smaller: -1 or s?
s
Suppose -w = -3*c - 77, 300 = 4*w - 5*c + c. Let q be (w/2627)/((-2)/(-3)). Which is bigger: -1 or q?
q
Let j(l) = 2*l**3 - 2*l**2 + 4*l - 3. Let a be j(1). Suppose -2*i = -4*i + 2, 3*x - i + a = 0. Let r = -933 - -17731/19. Is r not equal to x?
True
Let h = -44 - -44.007. Let t = -915 - -917. Is t equal to h?
False
Let j = 1002 - 990. Suppose -2*u = 2*c - 4, -3*c = -2*c - 5*u + 4. Let m(q) = 12*q**3 - 2*q**2 + q. Let f be m(c). Is f != j?
True
Let r = -579.1 + 579.27. Which is bigger: r or 68/13?
68/13
Let z(c) = c**3 + 10*c**2 + 9*c + 89. Let i be z(-10). Are i and -2/603 equal?
False
Let o be (-3222)/48 + -9*(-9)/648. Which is greater: -463/7 or o?
-463/7
Let v = -6280 - -169528/27. Is -1 > v?
True
Suppose 0 = 129*f + 22*f - 671346. Which is smaller: f or 4447?
f
Suppose -5*s = -1 - 9. Suppose -j - 18 = s*j. Suppose a = -0*a - 16*a - 170. Is a at most as big as j?
True
Let s = 28050 - 28041. Which is smaller: s or 378/41?
s
Let j = -13776.55 - -13777. Is -0.18 at most j?
True
Suppose 4*z = -3*g + 211, -50*g = -45*g - 5. Is z at most as big as 40?
False
Let d = 5643 - 5717. Is d bigger than -79?
True
Let o = -91573/159445 + 82/143. Let q = o + -24306/1115. Is q not equal to 2?
True
Let a(m) = m + 11. Let i be a(-13). Suppose -10*w + 13*w + 18 = 0. Let p = w + i. Which is greater: p or -9?
p
Let h(u) = 13*u - 156. Let n be h(11). Let v(t) = -6*t - 6. Let d be v(n). Is d < 71?
False
Suppose 0 = -c - 5, -5*c = 3*f - 4*c - 61. Let n = f - 8. Let j be (-30)/105 - 24/n. Is j less than or equal to 0?
True
Let d be 2024/(-184) - 2638/(-232). Which is greater: d or -1?
d
Suppose 0 = -2*g + 4, 2*o - 2*g = -3*o - 799. Let f = 131 + o. Is f != -18?
True
Suppose 0 = -4*y + z - 805, 4*y - 4*z = -z - 815. Let i be (y/45 - -4) + (-2)/18. Which is smaller: 1 or i?
i
Let t(r) = -r**3 - r**2 + r + 10. Let i = 141 + -69. Let f = -72 + i. Let g be t(f). Which is smaller: g or 7?
7
Let w(v) = v - 3. Let q be w(-4). Let d = -375166/49671 - 14/5519. Which is smaller: d or q?
d
Let g = -818.1423 + 817.5. Do g and 2 have different values?
True
Let g = 1722326/279 + -152/279. Let a = g - 6269. Is -95 greater than or equal to a?
True
Let s(p) = p - 10. Let c be s(2). Let q be c/28 - 63/(-392). Which is smaller: q or 0.1?
q
Let p be (-3)/2*144/36. Let m be (6/20)/((-9)/p). Is 10 at least as big as m?
True
Let n(j) = -3*j + 26. Let o be 4 + 0 - (-6)/(-2 + 4). Let d be n(o). Suppose 3*i = -15, 0 = -d*b + i + i - 185. Are -38 and b unequal?
True
Let t(f) = -25*f**2 + 7*f - 6. Let m be t(1). Let c = 23 + m. Which is smaller: -12.1 or c?
-12.1
Suppose s - 4*j + 14 = 0, 3*s + 2*s = 4*j - 22. Let n be (-16)/108*(12/3 - s). Is 0 greater than or equal to n?
True
Suppose 244495*h - 19761 = 244488*h. Is h equal to 2823?
True
Suppose 1222 = 6*o - 2834. Suppose -o = 2*f + 5*m, -1014 = 26*f - 23*f - 5*m. Is -339 less than f?
True
Suppose 4*t - w - 10 = 0, -17*w = -14*w - 6. Suppose 2*f - 4*z + 12 = -f, 5*z = 0. Let c be f + (4 - t/(-69)). Which is bigger: c or 1?
1
Suppose 0 = -2*t + 2 - 4. Let l be ((-4492)/(-84) + 2)*(-796)/30. Let x = l - -1472. Which is greater: x or t?
x
Suppose -30 = 5*z - 5*q, -3*q + 12 = -3. Let k = 8 - 10. Let u be k/8 - (-144)/1856. Do u and z have the same value?
False
Let v(w) = w**3 + 9*w**2 + 20*w + 15. Let i be v(-6). Let z be (-6 + 3 - 0)*i/36. Which is smaller: z or 4.4?
z
Suppose -4*t + 44758 = -10*t - 8*t. Which is smaller: t or -3196?
t
Let t be 2*(-38)/12*-6. Let y be 3 + 1 + (-31 - -43) + 23. Is y greater than t?
True
Let j(i) be the second derivative of i**4/12 - 5*i**3/3 + i**2/2 - 15*i. Let o be j(11). Let c be 9/(-14) + 8/o. Which is smaller: 0.1 or c?
c
Let n(i) = 4*i - 10 - 4*i - 14 + 2*i. Let m be n(14). Let h(l) = 3*l**2 - 6*l + 5. Let v be h(2). Is m less than v?
True
Let a = -12 + 16. Suppose -3*j = 6 + 3, -5*j = a*h + 11. Do 2/137 and h have the same value?
False
Let n = 3657 + -25555/7. Suppose -3*s = -2*c - 13, -3*s + 3*c + 15 = -0*c. Suppose 2*h - h - q = 7, 0 = -3*q - s. Is n at least h?
True
Let s(v) be the second derivative of -v**3/2 + 23*v**2 - 4*v - 10. Let p be s(15). Which is smaller: p or -6/47?
-6/47
Let s = -341 - -182. Let m = -159 - s. Let d = -14 - -14.09. Which is smaller: m or d?
m
Suppose 77 = -3*q - 8*q. Let i be -4*(7 + q - (-2)/(-8)). Which is bigger: i or 1/88?
i
Let i = 38890.1171 + -38891. Which is greater: 0.1 or i?
0.1
Let p = 146 + 68. Let l = p + -145. Is l > -1?
True
Let r = -233.2 - -233. Let o be 6*1 + 8673/(-59). Is o <= r?
True
Let t be 1 - (-18 + 38 - 18). Is t greater than or equal to -1/1742?
False
Let n = -66 - -62.7. Let w = n + 29.3. Let p = w - 25.8. Which is bigger: p or 8?
8
Let d = 253 - 460. Let w = d - -207.1. Which is smaller: 155 or w?
w
Let c be 0 + (16/48)/(1/15). Suppose t - c*r + 21 = 8, 4*r = -2*t - 68. Which is greater: -0.1 or t?
-0.1
Let s be (-12)/(-29 + 5) - 20571/(-6). Is s at most 3430?
True
Let u = -219.31 + 216.31. Is u >= 648?
False
Let l = -3599 - -68387/19. Which is bigger: l or 1?
1
Suppose -3*r = -2*r - 45. Suppose -32*s + 5 = -27*s, 4*o + 5*s = 549. Suppose -2*f - 144 = -3*w, -4*w - f + o = -45. Is w greater than or equal to r?
True
Let v(l) = -125*l + 1087. Let f be v(9). Is -38 smaller than f?
False
Let m = -2.32 - -15.62. Let t = m - 11. Which is smaller: 1/4 or t?
1/4
Suppose 5*p = p - 68. Let q be (-2)/1 + (-5)/2*-2. Let x be (q - 7) + (-15 - 3/(-1)). Which is greater: p or x?
x
Let j = 440/21 - 21. Let l(p) = 15*p**2 - p - 2. Let d be l(1). Suppose -d*z + 20*z = 0. Which is bigger: z or j?
z
Let l = 3 - 3.2. Let n = 149.757 - 151.017. Which is greater: l or n?
l
Let t = 110 + -87. Let a = 24 - t. Which is smaller: 2/85 or a?
2/85
Let y be (79/27 + -3)*3/(-13349). Let v = y - -105163420/120141. Let g = -34192/39 + v. Which is smaller: g or -2?
-2
Let b = 285 + -356. Let i = 166 - b. Is i bigger than 237?
False
Let w(y) be the second derivative of y**4/12 - 5*y**3/6 + y**2 + 11*y. Let x be w(2). Let i(t) = -2*t**2 + t + 1. Let l be i(-1). Which is bigger: l or x?
l
Let l = -4465/218 + -2/109. Let h = 20424.9 - 20425. Is l > h?
False
Let b = -300265 - -21319325/71. Which is bigger: b or 7?
b
Let u be 1616/(-136) - (-18)/(-153). Suppose 4*w + g = -35, -8*w = -3*w + 4*g + 41. Let v = w - 0. Which is greater: u or v?
v
Let c = -58 - -57. Let d = -35.55 + -0.45. Let r = -63 - d. Which is smaller: c or r?
r
Suppose -2*r + 8 = -22. Suppose 2*v + 55 = 6*u - 3*u, u + 3*v = 0. Let f be u/(-2)*((-10)/r)/(-1). Which is bigger: -9 or f?
f
Suppose -12*n = -2*n - 50. Suppose 2*z - n*q + 31 = -0*z, -5*z + 2*q = 109. Which is greater: z or -10?
-10
Let n = -111 + 111. Suppose n = 484*v - 480*v + 396. Does v = -97?
False
Let j = 1/98454 - 1274441/853268. Let h = -10/39 + j. Is h smaller than -1?
True
Let t(k) = -2*k**3 - k**2 - 2*k - 1. Let x be t(-1). Let n be (-82)/(-8) + (-18)/(-48)*x. Which is smaller: n or 6?
6
Let i = -27 + 38. Suppose -z + i = -w - 1, -3*z - 4*w + 15 = 0. Suppose -149*p + 2 = -151*p. Which is smaller: z or p?
p
Let o = -135829/187369 - 5/14413. Let n = 37/13 - o. Is n >= 2/7?
True
Let z be (-41 + 46 + (3 + -3)/(-2))*2. Which is smaller: 1.07 or z?
1.07
Let s = -188 - -240. Let q = s - 154/3. Are q and 0.01 equal?
False
Let v be (-7 - (-88)/11) + 10/(-2). Let i be 1 + (544/(-182))/(-2). Let h = i + -38/13. Which is smaller: h or v?
v
Let m be -3 - 145/(-45) - 1712/(-72). Let n(k) = k**3 - 3*k**2 - 7*k + 8. Let l be 0 - -10*3/6. Let q be n(l). Which is smaller: q or m?
q
Let r be (5/(-5))/(1/1). Let f be 11/(6710/(-315)) - r/2. Are 0 and f nonequal?
True
Let d = -4590 - -5398. Which is greater: d or 809?
809
Let i(m) be the third derivative of 5*m**4/12 - 91*m**3/6 + 74*m**2. Let o be i(8). Suppose l = 3*p - 0*p + 8, 0 = -p + l. Which is bigger: o or p?
p
Let v = 25564 + -23578. Is -4 at most v?
True
Let x be (10 - 14) + 3*91/63. Are 1/1