ame value?
False
Let p be 90/23 + (-1 - 25/(-23)). Let g be ((-35)/(-4620))/((-2)/p). Let z = 0 - 1. Which is smaller: g or z?
z
Suppose 0*w + 120 = 4*w. Suppose w = 3*p + 258. Let z = -81 - p. Which is smaller: z or -7?
-7
Suppose -11046*j + 7 = -11050*j + d, 2*j + 6 = -2*d. Is -15031 < j?
True
Let k be (-10)/2*6/(-6). Suppose 0*g - g - 5 = -k*l, -2*l + 24 = 4*g. Suppose 0 = -6*v - 7 - g. Is -4 greater than v?
False
Let s be (-12)/(-42) - -215288*(-1017461)/533859018. Let d = s + -1/6207663. Let w = d - -410. Which is smaller: 1 or w?
w
Let h(o) = -o**3 - 8*o**2 - 17*o - 9. Let x be h(-5). Is -1/10 bigger than x?
False
Suppose -4*g - 5*g = -5*g + 10576. Is -2644 less than g?
False
Suppose 17 + 114 = 131*i. Which is smaller: -3/2783 or i?
-3/2783
Let d(y) = 1. Let p(z) = -20*z - 37. Let q(b) = 2*d(b) - p(b). Let g be q(-12). Is g bigger than -201?
False
Let x(o) = -2*o**2 - 12*o + 552. Let q be x(37). Is -2631 at most as big as q?
True
Let o = 3287/11 - 299. Let b be (-3)/4*(7 + (-846)/30). Let r = b + -16. Which is greater: r or o?
r
Let a(p) = p**2 + 5*p - 6. Let k be a(9). Suppose 5*m + 0*m = -k. Let j be (-40)/(-225) - (-2 + m/(-10)). Which is bigger: j or 0?
0
Let s = -11075304/253 + 43776. Is s greater than -1?
True
Suppose -2*g - 11 = 3*l - 39, 14 = 4*g - l. Which is smaller: g or -4/53?
-4/53
Suppose 1433 = y - 2*h, -38*h + 39*h + 3 = 0. Which is smaller: 1426 or y?
1426
Let r = 8 + -6. Suppose k = -o - 4*o + 27, -2 = -r*o + 4*k. Let p be 1/o + 408/(-40). Is p <= -12?
False
Let p = 1.99 - 102.99. Let l = p + 112. Let q = -11.1 + l. Is -6 >= q?
False
Let x be -111*(-1)/6*2. Let n be 3162/90 + 3/(765/(-34)). Which is bigger: x or n?
x
Let t = -5872 + 5871.6. Is 0.191 smaller than t?
False
Suppose 27*x - 2162 = -272. Let k be (-69 + x)*(-2)/7. Let g(q) = q - 41. Let i be g(0). Which is bigger: k or i?
k
Let j(d) = -d**3 - 15*d**2 - 19*d + 54. Let a be j(-12). Which is greater: a or -149?
-149
Let u = -107/798 - 1/114. Which is bigger: -138/13 or u?
u
Let s = 631533785/377204 + 3/94301. Which is smaller: s or -0.1?
-0.1
Let z = 109.19646 - -0.37354. Is 1 at most z?
True
Let r be 18/12*8/20. Is -11 > r?
False
Suppose 3*i - 2*a - 253 = 0, a = -7 + 2. Let b = 91 - i. Let c be (-40)/16*(-3)/(-5). Is c <= b?
True
Let t = 8.596 + 99.424. Let i = t - 108. Let p(g) = g + 1. Let z be p(-4). Which is greater: i or z?
i
Let t = -4.22 - -131.22. Let v = -112 + t. Which is greater: -0.5 or v?
v
Suppose 100 = -4*f + 4*d, 2*f + 2034*d = 2035*d - 42. Is f less than or equal to -658?
False
Let u(a) = -2*a**2 + 29*a - 20. Suppose -4*m + 41 = -5*x, -51 = -2*m - m - 3*x. Let z be u(m). Which is greater: z or -13/2?
z
Suppose 835020 - 1706752 = 718*o + 2459788. Which is greater: o or -4638?
-4638
Let b be (2763/(-108))/((-4)/169). Let x = 1081 - b. Do x and -1 have the same value?
False
Let y = -2.04 + 17.04. Suppose -87*p + 74 = -13. Which is greater: y or p?
y
Let m = 24935 - 126271/5. Is m at most -318?
True
Let v = -47 + 91. Suppose 170 = 9*p + v. Suppose -4*z = p - 10. Is -5/14 smaller than z?
False
Let k(y) = 23*y**3 + 2*y**2 - y. Let c be k(1). Let p be (-25)/(-9) - c/(-108). Suppose 5*v - 3 = -p*h + v, -v = h. Which is greater: -42/13 or h?
h
Suppose -f - 4*f + 5 = 2*a, 8 = -4*f - 4*a. Let t be 3/(-12) + f/504*122. Is -1 equal to t?
False
Let k = 873 - 535. Let v be ((-9)/(-36))/(k/48). Is -1 at least v?
False
Suppose -4*a = -3*u + 14112, a = -2*a - 4*u - 10609. Let g = a + 123559/35. Which is smaller: g or -2?
-2
Let s(t) = -8*t - 249. Let d be s(-25). Let k(g) = -g + 8. Let y be k(-14). Let n = y - 70. Which is bigger: d or n?
n
Let q be 4*6/(96/52). Let s(x) = x**3 - 13*x**2 - x + 16. Let i be s(q). Suppose 58 = -i*c + 5*c - 4*o, 3*c - 3*o = 99. Which is smaller: 38 or c?
c
Let t be 7/(-790)*(34 - 16445/483). Which is smaller: 1 or t?
t
Let k = -267 + 323. Suppose 4*m = -s + 43, s = -m + 3*m + 61. Does k = s?
False
Suppose -122*k - 24 = -128*k. Which is bigger: -36 or k?
k
Suppose -39*d = 3*h - 37*d + 13867, 32339 = -7*h + 4*d. Is h at most -4624?
False
Let d(z) = z**3 - 7*z**2 - 8*z + 9. Let f(n) = -3*n + 2. Let k be f(-2). Let t be d(k). Suppose 3 = 6*q + t. Is -15/7 < q?
True
Let d = -2298.8 + 2093.4. Which is smaller: d or 1?
d
Let u = -99312 - -400071/4. Which is smaller: 707 or u?
u
Suppose 18*s + 3672 = 9*s. Let b = -1222/3 - s. Which is smaller: b or -39?
-39
Let d = -36 - -94. Let n = -489/2 + 303. Let u = d - n. Which is bigger: -43 or u?
u
Let i = -114 - -116. Suppose -i*p = -4*d + 6, 2*p = 5*d - 1 - 6. Which is smaller: -4/91 or p?
p
Let k = -603 + 609. Suppose 5*c - 3*r + 20 = -r, -24 = -c + k*r. Let h be 22/(-4) - (-2)/(-4). Is c at least h?
True
Suppose -5*j - 4 = -19. Suppose k - 92 = -37. Suppose 3*t - 141 = -j*h, t = h + 4*t - k. Is 43 not equal to h?
False
Let l = -591 - -471. Which is bigger: -7 or l?
-7
Let l be (0 - (-18 - -21)) + (-173 - 1). Is -1942/11 less than or equal to l?
False
Let b be (-34)/21 + 1 - (-6)/14. Let m(l) be the first derivative of l**2/2 + 12*l - 11. Let c be m(-12). Are b and c nonequal?
True
Let x be (((-165)/(-70))/11)/(10500/245). Is 4 smaller than x?
False
Let u = -0.041 + -93.959. Let b = 93 + u. Which is smaller: b or -0.042?
b
Let i = 101 - 100.915. Let g = -0.066 + i. Let j = 32.019 - g. Is 2 >= j?
False
Let v = -3793 + 3792.8734. Is v at least 1?
False
Let f be 2/5*(7 + 81/(-18)). Let n be (-11 - -15)*f/2. Let x be n*((-2)/(-10) - 6/80). Is -0.7 less than x?
True
Let r(p) = 69*p + 657. Let d be r(-9). Which is greater: d or 353/10?
d
Let p be 2/6 + (-1)/3. Let d = 93797.956 + -93365. Let u = d + -433. Do p and u have different values?
True
Suppose -5*f = c + 361, 5*c + 5199 = 4*f + 3191. Is -368 less than c?
False
Suppose -34*h = 47*h - 15*h - 87516. Is 1326 > h?
False
Suppose t + 2*m = 3, -13*m + 9 = 3*t - 10*m. Let i be ((-3)/(-18)*t)/(11/(-682)). Which is smaller: -26 or i?
i
Let w = 17 - 15. Let n(q) = 67*q**2 + 1. Let g be n(w). Let z = 2973/11 - g. Which is smaller: z or 2?
z
Let n(r) = -2*r**2 - 22*r - 27. Let a be n(-9). Let o(l) = 3*l**3 - 28*l**2 + 10*l - 11. Let q be o(a). Suppose 0*m + m + 3 = 0. Which is smaller: q or m?
m
Let n = -32.54 + 34.54. Is 568 at most as big as n?
False
Let j be -3441*(9/(-36) + 14/24). Which is smaller: j or -1148?
-1148
Let t(c) = 2*c**2 - 7*c + 81. Let y be t(12). Do 287 and y have the same value?
False
Let g = -253 + 394. Let p = -1.83 + 1.63. Which is smaller: p or g?
p
Suppose 7 = 4*s + 11. Let q = 21601 + -29874185/1383. Is s <= q?
True
Suppose 93*z + 95*z = 169*z. Are -36/437 and z unequal?
True
Let z = -110 - -141. Suppose 5*w = 5, 4*u + w - z = 2*w. Is u less than or equal to 16?
True
Let z = 2.01 - -396.99. Let b = z - 401. Is 0.03 at least as big as b?
True
Let n(b) = 1029*b + 87. Let y be n(-2). Which is greater: y or -1972?
y
Let x = -31/307 + 8941/70303. Let f = x - -7166/6183. Are 2 and f equal?
False
Let f = 416 + -414. Let x = 37 - -9. Let h be 0 + (88/x - f). Which is smaller: -1 or h?
-1
Suppose -60327 - 113448 = 2*h + 19*h. Which is greater: h or -8277?
h
Suppose 7*k - 15*k = 1544. Let b = 209 + k. Which is bigger: 2 or b?
b
Let k(v) = -2*v**2 + 21*v - 20. Let i be k(9). Suppose 0*s - s + 7 = 0. Are i and s nonequal?
False
Let f be (133 - 129) + (-265269)/66318. Which is greater: 1 or f?
1
Let f = 12.968 + -9.968. Is 507 less than or equal to f?
False
Let h be (-93)/(-276) - 1/4. Let v = 122 - 108. Suppose -4*p - v = 2*q - 7*q, -p - 11 = -5*q. Which is bigger: p or h?
h
Let r = 7691 + -4222357/549. Let z be 21/(-12) - (-6)/8. Which is greater: r or z?
r
Let j be 85929*(-9)/81*(-12)/67. Let r = j - 1710. Which is bigger: r or 0?
r
Let b(d) = -d**2 - 7*d + 197. Let c be b(-18). Is c bigger than -16/185?
False
Suppose -2*j + 6 = -0*j, 3*m = j + 3168. Let l be 1916/(29/(-16) - 0). Let k = m + l. Which is smaller: k or -1?
-1
Let k = 148 + -147.9. Is 0.67 < k?
False
Let q be -3*(-5)/(-45) + 19119/6. Let x = q + -3197. Is -12 greater than x?
False
Let j = 2.54739 + -0.30239. Which is greater: j or -4/7?
j
Let u = 1871129/11 + -169954. Which is bigger: 149 or u?
149
Let f = 3864/17 - 23149/102. Which is greater: f or 1?
1
Let z be ((43 - -5)/(-4))/((-41)/(-30)). Which is smaller: -10 or z?
-10
Let s(x) = -x**2 - 15*x + 812. Let t be s(-37