 0.2?
False
Let x be (-3 - (-121)/42)*1*12/(-120). Which is smaller: -1 or x?
-1
Let p(h) = -108*h - 620. Let a be p(14). Is -2132 >= a?
True
Let m = -35240 + 35240. Which is smaller: 2/27077 or m?
m
Let l be ((-10)/4 + 2)/((420/24)/(-7)). Are -2/11 and l equal?
False
Let t = -5610 - -5592. Suppose 0*x + 3*x + d = -4, 0 = 5*d + 5. Is x less than or equal to t?
False
Let z = -24.714 - -24.614. Which is bigger: 13046 or z?
13046
Let w be 234/(-13)*76/(-6). Let u = 166 - w. Is u greater than -1?
False
Suppose 40143 = -8*u - 180521. Let r = -34396003/1247 - u. Is r > -1?
True
Let s = -5127743485727902257/60080665 - -11692627694858/137. Let w = -8/87709 - s. Let u = 1225 - w. Is u > 6?
False
Suppose -3*m - 796 = 2*y, 5*m - 5*y = 784 - 2119. Let c = -179 - m. Let d = c - 161/2. Is d less than 8?
True
Let w(t) = -10*t + 149. Let c be w(15). Let v = 761777/131 - 5815. Which is smaller: v or c?
c
Suppose 2446 = 19*f + 774. Suppose -f - 104 = 24*r. Which is bigger: r or -27/4?
-27/4
Suppose -h - h + 2*s - 20 = 0, 0 = h - 2*s + 12. Let l(f) = -2*f + 22. Let m be l(-19). Let p be 54/h + (-15)/m. Is -6 not equal to p?
True
Let h = 1.39 - 1.096. Let u = h + -0.394. Is 2.76 >= u?
True
Let x be -9 + (-1392)/12 + 5. Which is greater: x or -134?
x
Suppose 4*y - 1103 = -1119. Is -24 greater than or equal to y?
False
Suppose -376*o + 388*o + 8724 = 0. Is -728 not equal to o?
True
Suppose 6 = l - 220. Suppose 0 = -5*v + y - l - 57, -v = 5*y + 41. Let o = -58 - v. Is -3 at most o?
True
Let a(f) = f**2 + f. Let n(c) = c**2 + 38*c - 24. Let p(i) = 3*a(i) - n(i). Let s be p(24). Let j be (-132)/s - 6/8. Is j smaller than -1?
True
Let o be ((-6)/9)/(2 + 392/(-195)). Suppose -263 = 3*z - o. Let g = z + 71. Which is smaller: g or 3?
3
Suppose 7*r - 4*r = 8*r. Is 52/125 equal to r?
False
Let t be ((-8 - -4)/35832)/((-18)/162). Which is greater: t or 0?
t
Let q = 129 + -129.06. Let b(l) = 18*l - 52. Let f be b(3). Which is greater: q or f?
f
Suppose -8*z - 533 = -9*z. Suppose 6*t + 5*l = 2*t + 551, -z = -4*t + l. Which is smaller: t or -1?
-1
Let i = 0.15 + -2.95. Let o = i - -3. Let n = -412/3 + 410/3. Which is bigger: o or n?
o
Let w = 78840/79 - 998. Let n(h) = -9*h + 28. Let m = 208 + -205. Let x be n(m). Which is bigger: x or w?
x
Suppose -5*z + x + 1191 = 0, -1211 = -14*z + 9*z - 4*x. Suppose 33*b + z = 74. Which is bigger: b or -16/3?
b
Let l be (-224)/(-560)*5*-67. Is l >= -541/4?
True
Suppose 2*c - 30*y + 19260 = -29*y, -y + 48156 = -5*c. Do c and -9632 have the same value?
True
Let c = -208 + 381. Let h = -128 - c. Which is greater: h or -0.1?
-0.1
Let r = 89/115 - -9347/345. Which is smaller: 28 or r?
r
Let w be -1272 + -4 + -5 + 8 + 1. Which is smaller: w or -1268?
w
Suppose 5*n - 292*z = -288*z - 3394, -z = 3*n + 2067. Which is smaller: -704 or n?
-704
Let g(s) = s**3 + 56*s**2 + 276*s - 30. Let a be g(-5). Is -110 at most a?
False
Let m be (-1 - 1 - -3)*0. Let h be -7*18/(-105)*(-20)/(-6). Let r be 664/3220 + h + 84/(-20). Which is greater: m or r?
r
Suppose -3*f - 3 + 0 = 0, -o + 1 = -2*f. Let r = 137/3850 - -59/550. Is r at most o?
False
Let d be (-7)/(-71)*(-32)/112. Suppose -3*x - 6 = 2*h - 0*h, 4*h + 12 = -2*x. Let o be (-2)/6*1*h. Which is greater: d or o?
o
Let c be -38 + 33 + (-45)/40*-4. Which is smaller: c or -244.3?
-244.3
Let u = -920/7 + 4586/35. Which is smaller: 9/67 or u?
u
Let p be -2 + 35/(-10)*-2. Suppose 11 - 2 = 4*m - 5*r, 0 = -m + p*r + 6. Is 2/61 >= m?
False
Suppose -3*a + 5*g + 537 = 77, -a + 164 = g. Let w be (-2236)/(-14) + (-10)/7*136/272. Which is greater: w or a?
a
Let f = -5662.4 + 5662. Is 1842 at most as big as f?
False
Let h = -9 + -3. Let x = -128.133 - -0.033. Let i = 128 + x. Is h > i?
False
Suppose -3*s = -5*u - 356, -2*s + 94 + 170 = 2*u. Which is smaller: 133 or s?
s
Let t = 1726 + -1726. Which is smaller: -11/17 or t?
-11/17
Let z = 2/17 - -97/187. Let l = -71/77 + z. Is -119 <= l?
True
Let g be 2391 - (55/1)/11. Which is smaller: g or 2387?
g
Suppose -3*c - 3*m = 2*m - 13, 0 = m - 5. Let z = -4 - c. Suppose 6*h + z*h = h. Which is smaller: h or 4/21?
h
Let c = -34729 - -34735. Suppose -j + 2*j = 4. Suppose m + q - 2 - 5 = 0, 4*m - 20 = j*q. Is c <= m?
True
Let z = -72 + 83. Suppose 3*r = z - 2. Suppose -4 = b + r. Which is greater: b or -5?
-5
Let f(w) = -w**3 - 5*w**2 + 20*w + 48. Let o be f(-8). Let p be o + 349 + (-5 - 0/(-2)). Is p less than 423?
False
Let i be ((-20)/200)/((46/20)/23). Which is bigger: i or -2/8245?
-2/8245
Let t be 1/(-10)*-2 + 81/45. Let i be -1*(t - 260/125). Is -1 at most as big as i?
True
Let n be (-190)/1995*(-1 + 2 + 821). Which is bigger: n or -78?
-78
Let m be 2 + -1 + 2 + 28/(-4). Let a be 45/36*m - 55. Which is smaller: a or -56?
a
Suppose c - 2*c = 3*y - 177, -y + 5*c = -75. Let g be (63/(441/58))/(2/14). Is y at most g?
False
Let a = 8263 - 8260. Which is bigger: 0.4036 or a?
a
Let k be ((-1)/(-264))/(186/892). Let o = 1/124 - k. Suppose 4*p + 5 = 6*f - 11, 3*f = 6. Which is smaller: o or p?
p
Let y = -9013.1 - -9013. Is y at least 45?
False
Let k be -6*(-1)/6 - 1. Suppose k = -22*q + 71*q + 49. Do q and -6/23 have different values?
True
Let l = -14 + 27. Suppose 457 = 14*z + 177. Suppose l = -3*j - z. Is -12 > j?
False
Suppose 87725 = 14*p - 69*p. Is -1595 less than p?
False
Suppose -11 = -6*a - 5. Let l be (4 + -4 - 0) + 58/(-234). Let t = l + 2/9. Are a and t equal?
False
Let k = -2.14 + 108.14. Let w = 106.27 - k. Let h = w - 0.57. Is h at least 0.07?
False
Let h = 5042 - 5348. Does -306 = h?
True
Let k = -77 + 202.5. Let p = -118 + k. Which is bigger: -0.2 or p?
p
Suppose 0 = -5*w - 65 - 90. Suppose 4*x - v - 2*v = 447, -5*v = 5. Let p = x + -142. Are p and w equal?
True
Suppose 0*s = 2*s - 16. Let i(r) = -s + 8*r**2 - 9*r**2 - 4*r + 13*r. Let v be i(8). Is v at most 5/13?
True
Let j be (36 - (14 - -21))*(-1 + 1 + 0). Which is smaller: j or 1/2522?
j
Let q = 0.21 + -0.26. Let c = -16346 + 16364. Which is smaller: c or q?
q
Let l = -7781 + 5807. Is -1974 greater than l?
False
Let s be (-7 - -5)*194/(-4). Let y = s + -93. Let g be (-2)/((-42)/(-9) - y) + 4. Which is smaller: g or 8/7?
g
Let m = -350.5 + 436. Which is greater: m or -0.1?
m
Let u be 40/54*1698/(-1415). Is u bigger than -25/2?
True
Suppose 5*s = -2*z - 5, 5*z = 1678*s - 1680*s - 2. Is -1/1579 at least s?
True
Let c(f) = 2*f**3 + 11*f**2 - 7*f - 7. Let h be (6/5)/(7/140*-4). Let d be c(h). Which is smaller: -2/25 or d?
d
Let p be ((-6)/27 + (-3998)/(-18234))*(-38)/114. Which is bigger: 0 or p?
p
Suppose -12994 = -458*l + 636*l. Which is bigger: -2140/29 or l?
l
Let b(q) = -q**2 - 5*q + 10. Let s be b(-7). Suppose -5*r + 76 = 1. Suppose 57*n - 60*n - r = 0. Which is smaller: n or s?
n
Let o = 26.11 + -26.9. Is o > -1/5?
False
Let s be (-2)/(-8) - 2/8*1. Suppose s = 4*g + 2*c + 38, 4*c = -2*g + 4*g + 14. Which is smaller: -11 or g?
-11
Let r(a) = -a**3 + 6*a**2 + 8*a - 6. Let k be r(7). Let h be (-95)/10 - -5 - k/(-2). Let d be (h + 1)/(5/((-30)/(-387))). Are d and -1 non-equal?
True
Suppose 0 = 11*t - 7*t + 16, 2*v - 10 = 3*t. Let c = 655 + -7855/12. Is v at most c?
True
Let l(x) = -10*x**2 + 2*x + 1. Let u be l(1). Let t be ((-45)/(-130))/(2/(-40)). Is u less than or equal to t?
True
Let z be ((-62)/(-10) + -9)/((-2)/5). Suppose z*a - 17 = -10*a. Is -8/17 less than or equal to a?
True
Suppose 5*m = -s - 10 + 48, 3*s + 5*m = 94. Is 27 at least as big as s?
False
Suppose 0 = 3*s - s - z + 111, -3*s = -4*z + 174. Let k be 1/6*24/s. Let q(l) = -2*l + 9. Let n be q(4). Which is greater: n or k?
n
Let u be 2*24/80*(-3592)/6. Let q = 1974/5 + u. Is q at least 37?
False
Let p = -5531 + 5531. Is p at most -13/406?
False
Let o = 170 + -30. Let l be ((-10)/45)/(-1) + o/18. Suppose -11*c + 18 = -l*c. Is c smaller than 4?
False
Let l(a) = 2*a**2 - 44*a - 42. Let d be l(23). Let h be (-4)/(-55)*(-100)/d. Which is smaller: h or -1?
h
Let y = -2719.741 + 2723. Let i = y + 0.041. Let x(l) = -l**2 - 2*l - 1. Let p be x(-1). Is p != i?
True
Suppose -84*g + 119*g + 1820 = 0. Suppose -5*z = -2*r + 95, -3*z - 22 = r - 75. Let f = g + r. Is -21/8 bigger than f?
False
Let a = 157 - 101. Let j = a - 56. Let g be 1 + -1 - (-2)/(-13). Which is smaller: j or g?
g
Suppose 292 - 2 = s + 5*k, -5*s + 1324 = 4*k. Is 274 bigger than s?
True
Suppos