ater: f or -14?
f
Suppose a - 4*s + 54474 = -2*a, 2*a = 2*s - 36318. Let v be 1/(-120)*1*a/(-576). Let q = 1/256 - v. Is q greater than 1?
False
Let p(m) = -m**2 - 2*m - 3. Let y be p(-11). Let o be (9 - (-4203)/(-459))/(y/9). Which is smaller: -1 or o?
-1
Let o = -104 - -91. Let y be (o/(-13))/(26/5 - 1). Which is greater: -2/11 or y?
y
Let s(k) = -4 + 8 - 3 - k. Let w be s(-3). Let l be 4 + w/8*-11. Is l smaller than -1?
True
Let t = -150 + -52. Let k = -207 - t. Which is greater: -11/4 or k?
-11/4
Suppose 6*v + 2*u = 3*v + 59, -37 = -2*v + u. Let r be ((-12)/(-10))/(792/55 + -14). Suppose 5 + v = -r*k. Are -10 and k equal?
False
Let d = 83 - 84. Suppose -269 - 345 = 2*s. Let m = -2161/7 - s. Which is smaller: d or m?
m
Let d(o) = o**3 - 6*o**2 - o + 12. Let w be d(6). Let n(l) = l**3 - 8*l**2 + 12*l + 1. Let g be n(w). Is g > 11/26?
True
Let x(d) = -5*d**3 - 2*d**2 + d. Let m be x(1). Let l(u) = 7*u + 18. Let f be l(m). Let i = f - -49. Is 25 bigger than i?
False
Suppose -227*v = -242*v + 13 + 2. Which is bigger: -17/533 or v?
v
Suppose -l + 2*l = 69. Suppose l - 189 = -6*h. Suppose 0 = 7*z + h + 15. Which is smaller: z or -6?
-6
Let d be 2 + (-4 - ((-250)/15 - -8)). Which is smaller: d or 0.22?
0.22
Let p = -4 - -0.5. Let f = p - 0.5. Let c = 4.03 - 4. Is c smaller than f?
False
Let z = 1.59 + -1.69. Let i = -0.075 + -0.026. Which is smaller: z or i?
i
Let i = -99 - -33. Let z be 11/i + 867/18. Does 47 = z?
False
Let b = 239.2 + -26.2. Let u = 107 - b. Let y = u - -67. Which is smaller: y or -1/3?
y
Suppose -3*m + 6*m = 3. Let t(p) = -14 + p**2 + 3 + 3 + 4*p + 6 - p**3. Let b be t(2). Are b and m nonequal?
True
Let q = 142.05 - 142. Let d = -112.8 - -113. Are d and q equal?
False
Let r = 10417 - 3909. Is r smaller than 6507?
False
Let a = 2770378609/171900 - 145046/9. Do a and 0 have different values?
True
Let h = -124.4 + 125. Let u = h + -8.6. Is 3/7 smaller than u?
False
Let d = 3813 - 3866. Is -57 less than d?
True
Let h = -1500 - -5226. Which is smaller: 3725 or h?
3725
Let q be (1 - -3 - 0) + (-15040)/3572. Let w = q + 47/133. Is w < -8?
False
Let t = -99.01 + 2.01. Let q = 192 + t. Which is smaller: -2/3 or q?
-2/3
Let o = 0.17 - 1.17. Let p = -2.8598 + -0.1402. Which is greater: p or o?
o
Let w = -10/313 - -2834/10329. Let l(k) = -2*k**3 + 26*k**2 + 55*k - 379. Let c be l(14). Which is greater: c or w?
w
Let s = -53 + 58. Suppose -s*j = 3*o - 0*j + 783, 3*o + 2*j = -792. Which is greater: -267 or o?
o
Let v(w) = -w**3 - 10*w**2 + 13*w - 25. Let h be v(-12). Suppose -2*p + 4*a + h = 21, -129 = -3*p - a. Let o = -43 + p. Which is greater: o or 2/5?
2/5
Let i(a) = 3*a**2 + 19*a + 5. Let w be i(-7). Let m = -264 - -285. Which is bigger: m or w?
m
Let t be 0 + ((-365)/(-11) - 10/55). Suppose -131 = 4*u + t. Let j be 3/((-357)/u) - 4/14. Is 0 smaller than j?
True
Let f(q) be the second derivative of 103*q**4/6 - q**3 - 5*q**2/2 - 2*q + 11. Let j be f(-1). Suppose w - 4*w + j = 0. Which is smaller: w or 68?
68
Let h be -3 + -4 + 6 - (43 - 1). Let j(b) = -b**3 + 7*b**2 + 7*b + 2. Let o be j(-7). Suppose 12*l - 135 + o = 0. Which is smaller: h or l?
h
Suppose 5*y - y = -16, y + 13 = 3*k. Suppose 4*q - 8*q = -4*m - 24, -m - 10 = k*q. Suppose -2*i - 26 + 8 = 0. Which is bigger: i or m?
m
Suppose 8*l = 5*l - 75. Let z = -10782 + 10756. Is l smaller than z?
False
Let h(n) = 1 + 3 - 12 + 7*n - 7. Let j be h(-3). Suppose 3*l + 123 = -0*l - 5*s, 3*s - 171 = 5*l. Do l and j have the same value?
True
Suppose 3*p - 43 = -5*l, -116*p + 112*p = -5*l + 71. Is 47 < l?
False
Let l be 12 - -44*75/630. Which is smaller: 18 or l?
l
Suppose 15 = -5*m + 5*b, -3*m - 2 - 10 = -2*b. Which is smaller: -39/8 or m?
m
Let z be (-426609)/(-1170) + (-3)/(-2). Let k = z + -4042/13. Is k smaller than 54?
False
Let v be 13 - (-10)/(120/(-2612)). Is -205 not equal to v?
True
Let z = -2.88 + 2.78. Which is greater: z or -252?
z
Let i be ((-15)/50)/(((-99)/(-1788))/11). Do i and 0 have different values?
True
Let c be (7/37)/(1/(-2)). Suppose -19*x + 3*b - 7 = -14*x, b = 5*x - 1. Which is greater: x or c?
x
Let h = -105 + 139. Let a = -40.6 + h. Which is smaller: -1 or a?
a
Let d = 3.34964 + 0.09036. Which is smaller: 16 or d?
d
Suppose 4*z - 13 = -25. Let w be (27/(-6))/(z/6). Do 11 and w have different values?
True
Let c(h) = -10*h + 30. Let x(w) = -10*w + 38. Let y(a) = -5*c(a) + 4*x(a). Suppose 3*f + 4 = -f. Let j be y(f). Which is smaller: -5 or j?
j
Let o = -4085 + 4110. Are -6 and o equal?
False
Let y = 10265 - 10265. Is y equal to -2/1489?
False
Let s(y) = -408*y**2 + 154*y + 636. Let n be s(-4). Which is smaller: n or -6511?
-6511
Let x = -159 + 325. Suppose 173*p - 178*p + 820 = 0. Which is greater: x or p?
x
Suppose -49*o = -46*o + 5*s + 564, -600 = 3*o - s. Suppose 4*a - 2*k - k + 796 = 0, -4*a + k - 796 = 0. Is a at most as big as o?
True
Suppose -50*o + 7909979 = 423*o. Which is bigger: 16722 or o?
o
Suppose -285 = -9*m + 183. Suppose m = -138*z + 134*z. Is -21 equal to z?
False
Suppose -3*t + 27 = 5*s - s, 31 = 2*s + 5*t. Let y(m) = m**3 - m**2 + m + 2. Let a be y(s). Let r = 40 + -16. Which is smaller: a or r?
a
Let v(s) = 7*s**2 - 4*s - 2. Let r be v(-3). Let x = -12077 - -12147. Which is smaller: x or r?
x
Let x be -49 + 45 + 685/220. Which is smaller: x or 0?
x
Let j = -2185 - -1926. Do -1035/4 and j have the same value?
False
Suppose 0 = b + x - 36, -2*x - 39 = 4*b - 5*b. Let f be 6/b*(8 + -7)/1. Are f and 1 non-equal?
True
Let x = -499 + 472. Is x equal to 2.09?
False
Let b = 5 + -1. Suppose -5*l - 15 = 0, 0*l - 9 = -b*t + 3*l. Suppose p + 5*y + 48 = t, p + 3*p + 175 = -3*y. Is -43 less than p?
False
Let b = -183 + 183. Which is smaller: -1/819 or b?
-1/819
Suppose -15*q = -10*q - 4870. Let m be q/(-6)*15/25. Let h = -97 - m. Is -4 > h?
False
Suppose -2*t - 30 = -84. Let b = t - 27. Let l be -26 + 20 - 229/(-38). Which is bigger: b or l?
l
Let q be 28/36 - 2/(-9). Let y = -3/4 + q. Suppose 7*t = -6 + 55. Is y > t?
False
Suppose -d = -3*d - 2*d. Is -4/2791 <= d?
True
Let j be -2*6*372/(-378). Let n = j + -78/7. Which is bigger: n or 3/32?
n
Let b(o) = -3*o - 8. Suppose -15*j - 9 = -12*j. Let n be b(j). Let v be (-5)/(-55)*(-2 + 7)*-1. Is v at most as big as n?
True
Let x(s) = -6*s - 7. Let o be x(-6). Let l = 69801/349 - 200. Let f = l - 351/698. Which is greater: o or f?
o
Let c = 1088.9 - 1085.9. Which is smaller: c or 8.08?
c
Let c = -11.6 - -12. Let i = 0.2984 + 14.7016. Which is smaller: i or c?
c
Suppose -2*z - 4 = 0, -5 + 40 = -w - 2*z. Is w bigger than -28?
False
Let n = -536 - -972. Is n equal to 440?
False
Let d = 8957/3 - 2986. Is d < 3887?
True
Let j = 863357/203 + -4253. Suppose -23 = h - 4*h - 4*k, -4*h - 4*k = -28. Suppose -h*r - 5 = -10*r. Is r smaller than j?
False
Let s be ((-381666)/528 - (-21)/(-77)) + (-1)/(-8). Which is smaller: s or -715?
s
Let s = -6563 - -6504. Which is bigger: -71 or s?
s
Let i(r) = -9*r + 2. Let x be i(0). Suppose -4*b = -x*v + 100, -19 = -4*b + 1. Which is bigger: 59 or v?
v
Let d(t) = t**2 + 7*t + 6. Let m be d(-10). Let l be (0 + -298)/(-3*16/6). Is l >= m?
True
Let o(u) = 22*u**2 - 10*u - 41. Let d be o(8). Let r = d - 186617/145. Which is bigger: r or -1?
r
Suppose -3*k - 12 = 0, 0 = 2*l + 5*k + 3 + 5. Let t(y) = 2*y**2 - 108*y + 213. Let j be t(52). Suppose j*f = l*f. Which is smaller: -39 or f?
-39
Let m be 2/3 - 2256/36. Let q(c) = 9*c - 70. Let x be q(8). Suppose x*z + 84 + 40 = 0. Is m < z?
False
Let m = 132 + -332. Let a = -201 - m. Which is bigger: 2 or a?
2
Let o = 69.4 - 48.4. Is o less than -106/11?
False
Let h(s) = s**3 + 39*s**2 + 105*s - 36. Let r be h(-36). Let l = 109 - r. Which is smaller: 39 or l?
l
Suppose 0 = 2*n - 10, -2*h + 4*h - 3*n - 359 = 0. Let d = 2/19407 - 14962805/77628. Let j = d + h. Are j and -5 unequal?
True
Suppose -5*m + 31 = 3*f + 53, -3*m - 17 = -2*f. Which is smaller: f or 1/7350?
1/7350
Suppose -2*j - 1 = -o, -3*o + 57 = j + 19. Let p(n) = 5*n**2 + n**3 - n + 8*n + o + 1. Let r be p(-4). Which is smaller: r or 9/14?
r
Let r be 3/2 - (8 - 272/32). Let s be ((-7)/r)/(12/(-120)). Which is smaller: s or 25?
25
Suppose 4*q + 3*n = -86 + 84, 10 = 4*q - 3*n. Is q less than or equal to 5/1992?
False
Let z = -7924 - -7483. Does -446 = z?
False
Let n be ((-9)/(-3690))/((-8)/(