 r(h) = -h**2 - 34*h + 60. Let k be r(-36). Is k greater than -12?
False
Let y(n) = n**3 + 4*n**2 + n + 6. Let r be y(-3). Let f(q) = -2*q - 2. Let l be f(-6). Is l >= r?
False
Let j = 1434 + -1565. Is -125 at least j?
True
Suppose f + 248 = -3*d, 4*f + 0*d + 952 = -2*d. Is f at least as big as -235?
False
Let k be -12 - -6 - (-33)/(-2)*52. Which is greater: k or -865?
k
Let g = -89 - -97.3. Let m = 8.1 - g. Which is smaller: m or 0?
m
Let r = 48.2 + -43. Let j = 5.2 - r. Is j at least as big as -53?
True
Let s = 62 - 35. Suppose 4*c + 2*v = 100, 0 = -4*c - 5*v + 88 + 12. Which is greater: s or c?
s
Let n be (-1)/(((-4)/8)/((-3)/6)). Is -14/39 smaller than n?
False
Let z be (2 + -5 + 3)/(-2) + -1. Is z bigger than 2?
False
Let l be (1 - (-15)/(-13)) + (-1306)/130. Suppose -3*z + 5*y - 13 = 0, -26 - 10 = 4*z - 2*y. Which is smaller: l or z?
z
Let x be (-1 - -1)*(-2 - -3). Let d be (3 - (-12)/(-5))/(-1). Is x >= d?
True
Let f = -1.2 + 1.5. Let z = 0.4 - f. Which is greater: z or -1/12?
z
Let f be 2*2/(-196)*-1. Suppose 6 = -142*d + 148*d. Which is bigger: d or f?
d
Let b be 2*(3/12 + (-275)/20). Which is bigger: b or -26?
-26
Let h be 16/(-20)*2/((-12)/15). Suppose 4*f = 6*f - 6. Suppose -l = -h, -c + 4*l = -0*c + f. Does 5 = c?
True
Let i = -1122 - -1118. Which is smaller: i or -15/14?
i
Let w = -849/1169 + 2/167. Let r(z) = -z**3 - 15*z**2 - 14*z - 1. Let v be r(-14). Are w and v equal?
False
Suppose 7*s - 3*s - 16 = 0. Suppose -s*f = n + 10, 0 = 2*n + 3*f + 9 + 1. Do n and -2 have different values?
False
Let f(w) = -w + 11. Let i be f(10). Suppose -4*d - m + i = -6, -5*d = 3*m. Let r = 0.09 + -0.29. Is d > r?
True
Let t(k) = 102*k**2 + 24*k - 75. Let u be t(4). Is 1653 >= u?
True
Let n = -49.9 + 0.9. Let d = -49 - n. Is -16 smaller than d?
True
Let s(a) = -a**3 - 13*a**2 + a + 11. Let v be s(-13). Let h be 15/v*(-6)/(-300). Suppose -5*c = -2*c. Is c bigger than h?
True
Suppose 0 = 23*r - 19*r - 80. Suppose -3*v + r = v. Suppose 12 = 5*x + 4*b, v*x + 5*b - 10 = -0*b. Does -0.03 = x?
False
Let t = -41 - -78. Let z = 43411 + -43372. Are t and z equal?
False
Let f = -373/18 - 43/9. Is 2 at least f?
True
Let v(w) = -w**2 + w + 2. Let n be v(-1). Suppose -4*l - 11 - 9 = n. Let f = l + 3. Which is smaller: f or 0?
f
Let j = 5 + -4. Let h be -3*j*(-165)/(-270). Is h greater than or equal to -3?
True
Suppose 3*v - 23 - 7 = 0. Let y be 41/v + (-8 - -4). Let k = y + 3/20. Which is smaller: k or 1?
k
Let z = 486.015 - 0.015. Which is bigger: z or 1/2?
z
Let z = 90.9 - 82.96. Let s = z - 7.3. Is s at least as big as -1?
True
Let s(g) = 5*g**3 + 5*g**2 - 5*g. Let y = -16 - -19. Let z(t) = -4*t**3 - 4*t**2 + 4*t. Let a(q) = y*s(q) + 4*z(q). Let n be a(0). Which is greater: -0.06 or n?
n
Let g = -707 - -610. Are g and 4 equal?
False
Let k = -7.6 - -48.6. Let p = -42.7 + k. Is -1/4 at most as big as p?
False
Suppose 0*b - b - 1 = 0. Let q be (-144 - -134) + 265/27. Which is smaller: b or q?
b
Let u = -150 + 3301/22. Let h = 3203 + -3202.9. Which is greater: h or u?
h
Let q be (8/20)/(6/9). Let z = -0.71 + 0.31. Let a = -0.6 + z. Is q less than a?
False
Let o(n) = 2*n**2 + 32*n + 16. Let a be o(-16). Suppose -3*p - 4*h = -19, 5*p - p - 5*h = -a. Is p greater than -1?
True
Let q = 0.54 + -1.24. Are 0 and q unequal?
True
Suppose -4*k + 3*d - 38 = 0, -6*k + 11*k - d = -42. Which is greater: -86/11 or k?
-86/11
Suppose 4*k + 20 = 0, 3*k = -d - d - 11. Let x be (0/d)/(4/(-4)). Suppose -a + 2*a = -2*v - 4, -3*a - 4*v - 10 = x. Is a smaller than -3?
False
Let l = -295 + 294.92. Is -70 <= l?
True
Let r(v) = 3*v + 8 + 3*v**2 - 8 - 18 - 4*v**2. Let p be r(0). Let g be (6/p)/((-1)/3). Which is greater: g or -2/53?
g
Let z = 0.0842 + -0.1842. Is -2/295 > z?
True
Suppose -3*f = -2*b + 29, 34 = 2*b - 2*f - 2*f. Suppose 3*z = -n + 3, -2*z + 4 - b = -n. Let u = 157/2 + -2045/26. Which is smaller: u or z?
u
Suppose -3*j = 2*j + 5. Let u be (-129)/(-90) + 150/(-180) + (-146)/310. Is u equal to j?
False
Let q = -0.03 - 0.07. Let z = -35.4 + 34. Which is bigger: z or q?
q
Let z = 215/34 - 14/17. Suppose -7*q = -8*q + 12. Let d = -7 + q. Which is bigger: d or z?
z
Suppose 2*a + 4*l - 12 = l, -5*l + 16 = 2*a. Suppose 0 = -s + a*z - 31, -s = 4*z + 1 + 2. Which is greater: -18 or s?
-18
Let p = -26 + -9. Let a = p - -33.8. Is 0 at most as big as a?
False
Let v be ((12/(-4))/6*-2)/1. Suppose -72 = -5*b + 3*i, -4*i - 8 = -2*b + 32. Let n(q) = q**3 - 11*q**2 - 13*q + 12. Let x be n(b). Is v > x?
True
Let k = 1830 + -2272. Is k not equal to -0.3?
True
Let d = -37 + 174. Suppose -32 = 5*n - d. Suppose 2*s = -41 + n. Is s > -1?
False
Suppose 2*t - 5*t - 5*i + 50 = 0, 30 = 5*t - 5*i. Let f be t + -11 + 2*5. Do 13 and f have different values?
True
Let b = 35/102 + -1/102. Suppose 3*i - 2 = 1. Is i greater than b?
True
Let j be (18*6)/(7 - (-234)/(-27)). Let n(l) = -33*l - 1. Let t be n(-2). Let a = t + j. Is 4 greater than a?
True
Let x be 7/7*(0 + -1 - -1). Let u = 26/23 + -219/92. Do x and u have different values?
True
Suppose 3*c - 45 = -3*g, 3*c - 8 - 1 = 0. Suppose -6 - 9 = -3*k. Suppose 0 = -f + k*w + 25, 0*f + 4*w + 20 = -2*f. Which is smaller: g or f?
f
Let h(n) = n**3 + 6*n**2 + n + 6. Let k be h(-6). Let a = 12615/8 - 1577. Is k equal to a?
False
Suppose -18*o = 3 - 273. Which is bigger: 47/3 or o?
47/3
Let n = 53.2 - 53.49. Which is smaller: -3 or n?
-3
Let k = -1084 - -1091.27. Which is smaller: -1 or k?
-1
Let o = 90/7 + -13. Let a = 29.73 + -30. Let v = -0.37 - a. Is v greater than o?
True
Let o(s) = 29*s**2 - 231*s - 9. Let y be o(8). Which is smaller: y or -3/14?
y
Let r = 15.1 + -11.1. Which is smaller: 2/11 or r?
2/11
Let m be ((-1)/(-5))/(9 - (-2092)/(-232)). Which is smaller: -11 or m?
m
Suppose 0*c = 5*c - 285. Let p = c + -395/7. Is p < 1?
True
Suppose 6*v = 2*v + 3*l - 74, 24 = -v - 2*l. Suppose 121 = -5*i - 34. Let b = v - i. Are 12 and b equal?
False
Suppose 33*v = 35*v - 128. Let a = v + -54. Is a greater than 1?
True
Suppose -4*m + 47 = 159. Let l be 66/35 + 8/m. Is 1 != l?
True
Suppose 5*n - 24 = -0*x + 2*x, -3*x - 4*n - 13 = 0. Let y be (x + 5)*3*(-21)/(-18). Is -8 less than or equal to y?
True
Suppose -16*q = -5*q - 88. Which is greater: q or 4?
q
Let g(o) = -39*o - 41. Let j be g(-6). Is j greater than or equal to 193?
True
Let k(v) = -v**2 - 11*v + 29. Let p be k(-13). Suppose 4*c - 1 + 9 = -p*z, 5*z = -c - 36. Which is bigger: z or -0.04?
-0.04
Let w(h) = -h**3 + 7*h**2 - 2*h - 7. Let b be w(5). Let f = b + -25. Suppose 6*z - f = 10*z. Is z bigger than -5/7?
False
Suppose -5*t = -4*t - 5*j - 13, -j = 2*t + 29. Let a be 3/t*(-8)/29. Which is greater: -1 or a?
a
Let n be ((-3)/6)/((-2)/20). Let f be 21/2 - (-28)/(-8). Suppose f*z = 12*z - n. Which is smaller: z or 3/8?
3/8
Let l be (-4)/(-10)*20/16. Let f be 5/(-30)*(-5 + 10). Which is smaller: l or f?
f
Suppose -2*o = -4*y - 10, 2*y + 3*o - 10 = o. Let i be 25 - (-2 - y) - -1. Let a be i/(-20) - (-2)/5. Which is smaller: a or 2/33?
a
Let a be (-1 - -8 - 1)*13 + 4. Let i = a - 82. Which is greater: -1/29 or i?
i
Let w be (20/6)/((-1)/6). Let n(b) = -b**2 - 37*b - 350. Let y be n(-15). Is w equal to y?
True
Let n = 230 - 190. Is 40 equal to n?
True
Let p = 1.8 - 1.68. Let w = p + -2.02. Is -1 smaller than w?
False
Let q = -4 - -4.1. Suppose -100 = -4*i - 5*b, -5*i + 3*b + 116 = 7*b. Let k be (3/(-6))/(i/16). Which is smaller: q or k?
k
Let p = -938/5199 - -38518562/254751. Let g = p - 151. Which is smaller: g or 0?
0
Let r = -992 - -13891/14. Are -8 and r nonequal?
True
Suppose -5 = -c + 2*m + 2*m, 5*m + 55 = -2*c. Suppose q - 3*q - 56 = 4*d, 2*d + 28 = -3*q. Which is smaller: d or c?
c
Let y be (-2)/(7*(-4)/(-140)). Let o be -1 + (-3)/(-1) - 11. Which is smaller: o or y?
y
Suppose u - 4*g + 4 = -3*u, 3 = -5*u + 4*g. Is u equal to 28/19?
False
Suppose 0 = -2*y + 4, y = 4*c + 3*y - 4. Let n be (2 - c)*3/6. Let v be (-4)/(-10) + (-12)/55. Which is smaller: n or v?
v
Let s(u) = 19*u - 26. Let f(q) = q**3 + 12*q**2 + 11*q + 2. Let i be f(-11). Let w be s(i). Suppose 5*l + p - 62 = 3*p, -34 = -3*l - 2*p. Is l not equal to w?
False
Suppose -z - 62 = 30. Let j(m) = m**3 - 58*m**2 + 54*m + 78. Let w be j(57). Which is bigger: w or z?
z
Let u(z) = 6. Let j(p) = p + 1. Let y(d) = j(d) - u(d). Let a be y(4). Let b = 5