a + l = 119. Is a bigger than -46?
True
Suppose 3*z + 86 - 83 = 0. Which is smaller: z or 2/389?
z
Suppose 0 = 9*l - 24*l + 1875. Is 125 less than l?
False
Let i be ((-1)/18)/((40/105)/4). Which is bigger: -2 or i?
i
Let t be (124/1795)/(777/(-140)). Let z = t - 2/359. Do z and -1 have the same value?
False
Let m = -1117 - -1120. Let j = -1.1 - -7.1. Let w = j + -6.4. Which is greater: m or w?
m
Let x = -47 + 122. Let z = -74 + x. Which is bigger: z or 75?
75
Let b be 48/60*45/6. Let n(z) = -1 + 0*z**2 - z**3 + 2*z + 2*z**3 - 3*z**2. Let y be n(3). Which is greater: y or b?
b
Let n = -0.06 + 0.01. Let z = n - 0.01. Let v = z - -0.01. Which is greater: v or 0.3?
0.3
Suppose -2*a = a + 5*p - 7, 2*p = 2*a + 6. Suppose -10 = -11*r + 6*r. Suppose 4*h - n - 14 + r = 0, 4*n = -h - 14. Are h and a unequal?
True
Suppose 4*d = -3*l + 18 - 79, 59 = -5*d + 2*l. Is 0.2 at most as big as d?
False
Let n = 306 + -318. Which is greater: n or -2/5?
-2/5
Suppose 12 = 12*r - 10*r. Suppose 4*h - 58 = r. Is 14 bigger than h?
False
Let r = -10 - -121. Suppose 4*c + m = r, -3*c + 88 = -2*m - 2*m. Let l be (-2)/14 + 256/c. Are l and 10 unequal?
True
Let t be (14/(-8))/((-26)/2080). Is 139 > t?
False
Let y = -8559/19 + 451. Which is smaller: 1 or y?
y
Let c = 6 - 2. Suppose -20 = c*z - 80. Let i be (-13)/15 - 5/z. Which is smaller: i or -0.1?
i
Suppose -9 - 15 = -2*i. Let z be (-4)/2 + 24 + -9. Which is bigger: i or z?
z
Let i = 190 - 759/4. Which is smaller: i or 0.34?
i
Suppose -5*y + h = -4, -52*y = -57*y + 3*h + 12. Are y and -3/59 equal?
False
Suppose h - 58 = -h. Let n = 51 - 22. Is h less than n?
False
Suppose 9 = -3*l, -7 = -2*w - 2*l + 9. Let m = 12 - w. Are -2/103 and m nonequal?
True
Suppose -5*o + 12 = -38. Let i = o + -19. Let q be 4 + (11 - (8 - -14)). Which is greater: q or i?
q
Suppose -4*d - 110 = r, -2*d - 3*d + r = 133. Suppose -5*h - 18 = -4*z, -5*h + 1 - 43 = 4*z. Let u = h - d. Is u at most 21?
True
Let j = -7 + 3. Suppose 3*s + 3 = -3*b - 6, 4*s = -3*b - 11. Let z be (-3 - s)/(8/48). Which is bigger: j or z?
j
Suppose 4*l = 2*l - 194. Let q = l + 147. Let x be (120/q)/((-6)/(-20)). Which is smaller: 7 or x?
7
Let v = 8748/5 + -323826/185. Are v and -1 unequal?
True
Let x(y) = y**2 + 6*y - 25. Let v(k) = k**2 + 6*k - 26. Let c(q) = 4*v(q) - 3*x(q). Let a be c(-9). Suppose 0 = -5*w - 4 - 46. Which is greater: a or w?
a
Let a(p) = -4*p - 1. Let h(g) = 5*g + 1. Let d(q) = 3*a(q) + 2*h(q). Let t be d(5). Is t smaller than -11?
False
Let x be 134 - (14 + -7 + 0 + -1). Is x != 127?
True
Let x be (-4)/(-38)*(-30)/80. Let r = -4/19 + x. Let d = 3.5 - 3. Is d less than or equal to r?
False
Suppose 5*f + 10 = -j - 19, 0 = 4*f - 5*j. Let m be 2/(f/(60/8)). Which is smaller: m or -5?
-5
Let p = -16/263 - -24308/1841. Let j be 7 + -12 + 0 + 7 - 3. Which is smaller: j or p?
j
Let s be (-477)/54 + 9 - ((-1057)/84 + 5). Suppose -u = -2*u + 3*r + 2, -3*u - 5 = 2*r. Let f(m) = -8*m. Let j be f(u). Is j less than s?
False
Let b = 423.8 + -424. Which is smaller: b or 12?
b
Let x be 10*(0 + 18/(-165)). Suppose 92*c = 97*c - 15, -8 = 5*q - c. Which is smaller: x or q?
x
Let n = -15 - -18. Let c be 4 - (n + -4 - -5). Let h = -11/23 - -124/115. Are h and c equal?
False
Let w be 4/6 + (-221)/(-51). Let c be -1*(-4 + w) + 1. Let x = -18/19 - -33/95. Which is greater: x or c?
c
Let o = 8975/36 + -44311/234. Let t = 237/4 - o. Which is smaller: t or -1?
-1
Let h = -4 + -3. Let g = h + 10. Let d = g + -6. Which is smaller: -3/2 or d?
d
Let k(i) = -5*i + 12. Let r be k(10). Let h = r + 31. Which is smaller: -5 or h?
h
Let q be (-2)/(-2)*1 - -3. Let s be (-144)/(-84)*14/q. Let n = -6 + s. Which is greater: n or -2?
n
Let j be (-2 - 1) + -7*1928/(-4424). Is 1 <= j?
False
Let m = -163 - -162. Which is smaller: -44.7 or m?
-44.7
Let a = 23 - 20. Suppose r = -p + 48, p + a*p - 197 = -3*r. Does p = 52?
False
Let v = 1.95 - -0.05. Let r = -7536 - -37688/5. Is v less than r?
False
Let n be (-32 - -1)/((-1067)/(-15)). Let a be (-4)/4 - 416/(-388). Let p = n + a. Which is smaller: p or 1?
p
Let z = 339 - 340. Which is smaller: -68.7 or z?
-68.7
Suppose 3*h - 4*h + 23 = -5*c, 10 = -5*h. Let u be (4/(-8))/(2/(-4)). Which is bigger: u or c?
u
Suppose -5*g = -2*g. Which is greater: g or -1?
g
Suppose -70 = 7*n - 9*n. Let w be (2/5)/(7/n). Suppose x = -4*s + 36, x = w*s - 3*x. Is s less than 7?
False
Let o = -761 + 749. Let s(m) = 2*m + 31. Let f(g) = g + 15. Let i(l) = 10*f(l) - 4*s(l). Let x be i(o). Which is bigger: 9 or x?
9
Let w(l) = -l**2 - 12*l - 26. Let g be w(-9). Let v be 13/11 - (g - (-10)/(-5)). Are 3 and v unequal?
True
Suppose 86 = -3*b + 4*b. Let w = b + -38. Is 2/5 smaller than w?
True
Let y = -2/599817 + 190143787/539235483. Let r = -35907/217 - -1161/7. Let b = y - r. Is b > 1?
False
Let t = 6559 + -12026. Let l be (-48)/22 + 2 + t/(-121). Is 45 less than l?
False
Let g = -32 + 34. Let q be 120/35 + g + -6. Suppose -2*z + 4 = -6*z. Which is greater: q or z?
q
Suppose 3 = 4*m - u, -5*u + 16 + 19 = 5*m. Are m and 78/25 nonequal?
True
Let i = 898 - 8087/9. Is 0 at most as big as i?
False
Let b(d) = d**3 + 15*d**2 + 11*d + 5. Let k be b(-13). Let q be 4/14 + k/35. Is q smaller than 6?
False
Suppose 0 = 5*c - 4*c + 16. Let k be 30/(-10 + (-136)/(-16)). Which is greater: k or c?
c
Let x = -436.93 - -438. Is x at most as big as 3?
True
Let o be 52520/156390 - (-2)/(-6). Which is greater: 0 or o?
o
Let q(m) = m**2 - 11*m - 2. Let x be q(11). Suppose 0 = 12*s - 9*s. Is s less than x?
False
Let s = -27 + 20.4. Let y = 6.1 + s. Which is smaller: -3 or y?
-3
Let t = 12 - 7. Suppose -1 = 3*u + 4*r, 11 = 5*u - t*r - 34. Suppose 0 = 4*p - 2*o + 6, 16 = p + u*o - 10. Is 1 at most p?
True
Let y(a) = -5*a**2 - 4*a - 7. Let g be y(5). Let n be 4/(-10) - 7/((-140)/g). Is n bigger than -3?
False
Suppose -f + 5*s - 138 = 0, -4*f - 5*s - 627 = -10*s. Which is greater: -161 or f?
-161
Let u = 12 + -12.1. Is -31 <= u?
True
Let v be 12 + 1 - (21 + -18). Suppose -g = 5*r, v*g = 5*g + r. Which is smaller: -2/171 or g?
-2/171
Suppose 79*j - 86 + 7 = 0. Suppose -3 = 5*k - d, -4*k - 2*d = 3*d - 15. Suppose -3*a + l + 6 = 0, k*a - 2*a - 5*l = -21. Is a != j?
True
Suppose 0 = -2*b + 5*l + 13, -b - 7*l = -6*l + 4. Let g = 31.17 + -31. Are b and g nonequal?
True
Suppose -3*y - 19 = -103. Let x be -3 - 700/(-24) - (-2)/(-12). Are y and x unequal?
True
Let y(x) be the second derivative of -x**5/20 + x**4 - x**3/6 + 15*x**2/2 - 15*x. Let l be y(12). Is l smaller than 8?
True
Let a be 1 - (-80)/(-6) - (-20)/60. Is a greater than 29?
False
Suppose -361 = 9*c + 17. Is -36 greater than or equal to c?
True
Suppose 4*b + 23 = -k + 8, -2*k - 4*b - 18 = 0. Let c = -1001 + 6994/7. Is c greater than or equal to k?
True
Let x = 388 + -366. Is 0.2 at least x?
False
Suppose 2*s - 1 = 1. Let j = 1 + -1. Suppose z + j*z = s. Is 2 less than or equal to z?
False
Let d = -538 + 537. Is -0.328 greater than d?
True
Let v(d) be the first derivative of -d**4/4 - 11*d**3/3 - 11*d**2/2 - 15*d - 13. Let q be v(-10). Let m = -6 + q. Which is smaller: -12 or m?
-12
Let b(i) = i**3 - 4*i**2 + 5*i - 4. Let p be b(3). Suppose -p = -0*f - 2*f. Let y(s) = -3*s**2 - 2*s + 1. Let z be y(-2). Is f less than z?
False
Suppose 4*m - 7 = -y + 5, 3*y + 4 = -2*m. Suppose m*f = -0*f. Let r be (4/14)/(1/(-7)). Which is smaller: r or f?
r
Let k = 0.55 + 4.45. Is 2 greater than k?
False
Let n = -0.22 - 0.11. Let d = n - -0.33. Which is greater: d or -0.4?
d
Suppose z + 2*c = -0*z + 9, 0 = z - 2*c - 9. Let p be ((-10)/(-1))/(-5)*z/2. Is p at most -1?
True
Let u = -0.0273 + 51.1273. Let g = -51 + u. Which is greater: g or -60?
g
Let v = -35.84 + -0.22. Let z = 36 + v. Which is greater: 3/2 or z?
3/2
Let m be (-1)/(5/(20/42)). Let a = 77.27 - 77.15. Is m != a?
True
Let v be 12/(3 + -2)*1. Let t = v - 25. Let b = -14 - t. Is 0 not equal to b?
True
Suppose 2*o = 2*q + 48, 41 = -3*q - 5*o + 1. Let a(g) = -g**2 + 3*g - 2. Let l be a(2). Is l less than or equal to q?
False
Let b(c) = -4*c + 5. Let d be b(1). Is 1/170 < d?
True
Let b(d) = 2*d + 29. Let k be b(-13). Suppose 4*g = 2*m + 3*g + k, m - 11 = -2*g. Suppose -r - 1 + 2 = 0, -4*r - 2 = -2*s. Are s and m equal?
False
Suppose -19*i = -41*i + 6182. Is i at least as big as 559/2?
True
Suppose -5*z = 4*q +