 Let x be l(-1). Is -0.4 at most x?
True
Suppose 0 = -m - 2*x - 119, -628 = 4*m + 2*x - 200. Let d(a) = a**3 - 3*a + 3. Let r be d(2). Let n(l) = -21*l + 1. Let h be n(r). Which is greater: m or h?
m
Let c(q) = 2 - 1 - 68*q**2 + 59*q**2 + 19*q + q**3 - 3. Let n be c(3). Let j be (2 + -1)*n/(-65). Is 1 equal to j?
False
Suppose 751 = -3*q - i, 5*q + 5*i + 645 = -590. Is q < -1511/6?
True
Let m be (6384/(-18))/(-1)*(-36)/(-16). Let g = m - 756. Is g at most as big as 44?
True
Let l = -259 - -170. Let r = l + 89.075. Let h = r + 7.925. Which is bigger: 1 or h?
h
Let a be (-75)/6 - -13 - (-1246)/(-4). Is -1/4 at most a?
False
Let g be (-8)/(8 + (-392)/24 + 8). Which is greater: g or 10?
g
Suppose -5*i + 3*d + d = 240, -4*i + d - 181 = 0. Let r = i + 24. Let c be 11/r + 6*(-2)/(-48). Are -0.3 and c equal?
True
Let y be (2/1)/((-8)/(-6)). Let l be (1/6)/((-5)/(-105))*4. Let r be -1 + l/10 + (-60)/400. Are y and r equal?
False
Let q = -3955 - -3947. Suppose 3*s = 3, -124 = 4*k - 2*k - 4*s. Let n be -13*3/k - q/(-20). Is n bigger than 31?
False
Let d = 0.122 - 0.089. Let q = 1.1735 - 0.3735. Is d greater than or equal to q?
False
Let c(h) = -186*h - 168. Let x be c(-12). Do 2064 and x have the same value?
True
Let a = 5769 + -1228799/213. Is 3 at least a?
True
Let b = 1836 - 2404. Which is smaller: b or -2/5?
b
Let s = 2921 - 2921.1. Which is smaller: -0.289 or s?
-0.289
Let w be (1 - -1) + 14/(-8). Let o be 1*-3 + -2 + -15 + 27. Suppose 4*d = 5*j - 3, 3*d - 6 = -2*j + o*d. Which is bigger: j or w?
w
Suppose -3*r = 3*x + 6, -r + 3*x = 6*x + 6. Suppose 4*i - 22 + 214 = r. Which is smaller: i or -47?
i
Let x be 0 - (6/6 - 6). Suppose -4*j - 389 = -4*b + 383, -b + x*j + 205 = 0. Are 189 and b equal?
False
Let p be 3/2 - 15/2. Let m be (128/24 + -4)/((-2)/p). Let f = 83 + -77. Are m and f equal?
False
Let s be 8/(-14) + 296/28. Let m be (s + -15)*(-2)/10*-4. Let y be 3 - ((-6)/m - 5/5). Which is smaller: 2 or y?
2
Suppose -22386 = -3*v + 2*q, -53*v - 4*q = -51*v - 14956. Which is greater: 7467 or v?
7467
Let a be -3 + (298716/(-9048))/(-11). Are a and 0 unequal?
True
Let c = 8574266/105 + -81662. Let f = -33/14 - c. Let w be (1 + -1)*1/(-2). Which is smaller: f or w?
f
Let y(l) = l**2 - 5*l + 97. Let z be y(11). Let q = z + -406. Is q at most as big as -242?
True
Let w = 4518541/19 + -237817. Let k = 5 + -3. Are w and k equal?
False
Let o be 1 - (1 + (-8)/146). Let h be -3 + (-140)/(-44) - 18/(-22). Is o equal to h?
False
Let i = 1 - -1. Suppose 0 = 23*z - 22*z + 20. Let o be (-420)/(-180)*z/(-14). Is i equal to o?
False
Let s = 2/8957 + -1379496/528463. Which is greater: -3 or s?
s
Let p be (72/(-1970))/((28/(-35))/(1 + 1)). Which is smaller: p or -1?
-1
Let c = -2842 + 2841.958. Let l = 321.842 - 324. Let t = l + c. Is t at least as big as -0.2?
False
Let z = -4169 + 4170. Is 4522 < z?
False
Let a be 5*((-210)/25)/1. Let p be (60/(-21))/((-1)/a*-3). Let u(j) = -j**3 + 8*j**2 - 5*j - 4. Let z be u(6). Which is greater: z or p?
p
Let h = 33 + -36. Let i = -6.2 + h. Let s = i - -0.2. Is s smaller than -1?
True
Let k = 11809/6 - 59057/30. Let v = 2/227 - -69/17933. Do k and v have the same value?
False
Let i = 6585 - 6581. Which is greater: 243 or i?
243
Let w = -932.2102 - -0.2102. Let x = -937 - w. Let r = 0.02 + 0.38. Which is smaller: r or x?
x
Let p(w) = 3*w**2 + 27*w - 11. Suppose -15*g = -37*g - 264. Let i be p(g). Which is bigger: i or 95?
i
Let d = 1217242329/138110 - 61695/7. Is d bigger than 0?
False
Suppose -42*t - 134277 = 32043. Is t at most -3958?
True
Suppose -5*c - 516 = i, -2*i - 5*c = 1264 - 252. Let p = i - -3477/7. Are -2.2 and p unequal?
True
Suppose -3*c + 23 = 4*j - 0*j, -4*c + 24 = 2*j. Suppose -j*g = -3*o + 40, -2*g = -4*g - 2*o - 60. Let k be g/6 - 17/(-51). Is k < -2?
True
Suppose -2*g + 22 = -40*x + 39*x, -70 = -5*g - 5*x. Suppose 4*q = g, -133 = 3*f + q + 41. Suppose -212 = 5*a + 78. Is f >= a?
False
Suppose -846*u = -844*u - 50. Suppose -4*s - 3*b + b = -14, b = 5*s - 21. Let g be (-65)/u + 0 + s/(-10). Which is smaller: -2 or g?
g
Let u = 13/74 - -32/555. Let z = u + 1/10. Let p be 30/(-4)*(-2)/(-12). Which is smaller: z or p?
p
Let v = 148.23 - -1.77. Let f = 151 - v. Which is smaller: 59 or f?
f
Suppose 0 = 4*u, 0*b = -b - 5*u - 1. Let d be (-3 + (-158)/(-58))*b/(-10). Which is greater: 1 or d?
1
Let o be -3 - (-768 - -5)/7. Suppose o*k - 5975 = 81*k. Which is greater: 241 or k?
241
Suppose -4*b - 90 = -2*u, -5*u + 89 = 5*b - 76. Suppose -i = -2*z + 3*z + 11, -4*i - u = -3*z. Let y be ((4 - 2) + i)/(5/(-20)). Which is smaller: 33 or y?
y
Let m = 167.563 - 167.663. Let f = -32 + 63/2. Which is bigger: m or f?
m
Let f(h) = -h**2 + 142*h + 6836. Let g be f(-38). Let p = -9/5 + 32/15. Which is smaller: g or p?
g
Let u = 253 + -161. Let c = -2826 - -2827. Does u = c?
False
Suppose 2531 = 3*r + 5*p, -3021 - 1190 = -5*r - p. Which is bigger: r or 841?
r
Let a be 9/(-30)*(-175)/(-840). Is a less than 75?
True
Let r be (-7)/((-14)/(-5))*-2. Suppose 0 = 2*x + r*x - 112. Let h = x + -21. Which is bigger: h or 0?
0
Let y be 3/(-1) - -1 - 0/4. Let f be ((-16)/(-12))/(y*(-2991)/9). Which is smaller: 0 or f?
0
Let c = 1813 - 3311. Which is bigger: c or 1?
1
Let l be (-167)/(-12 - (-2 + 0)). Let p = -1266 + 3848/3. Let i = l - p. Do i and 1 have different values?
True
Let a = 336503/100 - 3365. Let r(k) = -k**2 - 37*k - 337. Let z be r(-21). Is a < z?
False
Suppose 1 + 2 = -3*q. Let d be (-1050)/(-20)*(-2 + (-140)/(-66)). Let r = -1728/275 + d. Is q less than or equal to r?
True
Let t be 23 + -3 + 3079/(-154). Are 0 and t nonequal?
True
Suppose 1835812 = 101*a + 216*a - 75*a. Which is bigger: a or 7587?
7587
Let y be (1 + 104/(-22))/((-1)/8). Is y at most as big as 1?
False
Let b be 306/40 + -7*36/630 + -8. Is b at least -269/2?
True
Let g = -47801/7 - -6829. Are 5005 and g non-equal?
True
Let r be (-24575)/140 + 18/63. Is -176 smaller than r?
True
Let h(v) = -5*v - 81. Suppose -23 = -3*q - 68. Let d be h(q). Is -40/7 > d?
True
Let x = 8438 + -8438.08. Is x at most as big as 135.1?
True
Let g(h) = -14*h + 4. Let b be g(1). Let c = 4 + 24. Suppose 4*x + 4*w + c + 0 = 0, 3*x = 5*w - 45. Is b at least as big as x?
True
Let q(i) = -i**2 - 79*i - 377. Let m be q(-58). Which is smaller: m or 843?
m
Let d(s) = -25*s + 105. Let j be d(1). Which is smaller: 81 or j?
j
Let h(d) = 48*d + 2. Let t be h(12). Suppose -946 = 12*r + t. Are r and -127 unequal?
False
Let x be (-4)/(-14) + 3967125/1491. Do x and 2663 have the same value?
False
Let d(q) = 8*q - 47. Let m be d(6). Suppose n + m = 6. Suppose 3*v + 2*a = -34, -6*v = -v + n*a + 65. Which is bigger: v or -6?
-6
Let m = -35.7 + 169.7. Let r = 135 - m. Which is smaller: 0.1 or r?
0.1
Let o be 54/(-2) + 526962/24740. Let s be 38/(-6) + (-1)/(-3). Which is greater: o or s?
o
Let u = -3 - -8. Let j = -9/2 + u. Let z = 1.6129 + -1.6179. Which is bigger: j or z?
j
Let c = -1/1151 - 4587/19567. Let u = 64 - 64. Which is smaller: c or u?
c
Let w = 251.9731 - -0.0269. Let q = 145 - w. Let g = 108 + q. Which is greater: g or -0.2?
g
Let z = 162 + -152. Let x be (36/z)/3*(-110)/(-3). Which is greater: x or 43?
x
Suppose -4*t - 11 = m - t, 3*t = -2*m - 10. Let s = m - -7. Let g be (-5)/33 + (0 - 2/11). Which is greater: g or s?
s
Let m be 7 + (-43)/6 - 21233/(-102). Which is bigger: 15 or m?
m
Let m be (-4)/2*2 + -3. Let c be (-40)/(-32)*(2 + 2). Suppose c*w + 9 = -26. Are w and m unequal?
False
Let k be (-75)/(-90)*(5 + -3 + 4). Suppose k*p - 151 = 234. Let i be 452/6 + 4/6. Is p >= i?
True
Suppose 140 = 3*i + 2*i. Let m be 35/(-30) - -1 - 355/(-6). Suppose 0*c - 3*c = 4*q - 93, -m = -2*q + c. Which is greater: q or i?
i
Let p = -80537/3 - -26845. Is -13168 less than p?
True
Let q = -608 - -4247/7. Let m(v) = v**2 - 11*v + 32. Let n be m(7). Suppose -6*s = -s - 20, 0 = c + s - n. Is q equal to c?
False
Let j be (-8)/14 - (6 - (-28164)/(-42)). Let k = j + -50467/76. Is -1 less than k?
True
Suppose 14 = u - 7. Let o(a) = -2*a**2 + 46*a - 88. Let l be o(u). Is l < -1?
True
Let v(x) = -10*x - 1. Let l be v(5). Let b be 264 - (-6)/(-30)*5. Let f = 213 - b. Which is greater: f or l?
f
Let u be (11 + 66/10)/((-3)/(15/(-2))). Suppose -2*c = 0, 2*j - 2*c - 88 = 2. Which is greater: u or j?
j
Let z be (-298917)/21