834 + -3/202. Is v > -1?
True
Let l = -13 - -16. Suppose 37 = -l*k + 4*g, 3*k - g + 0 + 34 = 0. Let a = k + 10. Which is smaller: -10/7 or a?
-10/7
Suppose 19*h + 57 = -0. Is h at most -1?
True
Let w = -2155 - -2178. Which is greater: w or -4?
w
Suppose -14 = -5*q + d, -11 = 5*q + d - 17. Let c = -1.6 + 0.9. Let f = -0.73 - c. Is q at least f?
True
Let x(k) = 2*k. Let z(v) = v - 4. Let g be z(6). Let p be x(g). Let t = 4 - p. Which is smaller: 1/11 or t?
t
Let n be 4*(0 - 2/(-28)). Let r(c) = -3*c - 8. Let d be r(-4). Let i be (-1)/d*-4 - 1. Is i greater than or equal to n?
False
Let t be 46/42 + 0 - 1. Let u be -6 + 1 + (11 - (-40)/(-8)). Which is greater: u or t?
u
Suppose 4*b + 3 - 7 = 0. Let w be -9 + b + (-1 - -1). Let v be (3 - (-26)/w)*-2. Do 1 and v have different values?
True
Let b = 1858.9 - 1860. Is b smaller than 0.32?
True
Suppose 4*c + 0 = 20. Let g be 1/c - (-56)/20. Suppose -4 - 1 = -5*d - 5*x, -g*d + 4*x = 4. Do d and -4 have different values?
True
Let t = 27 - 25. Let b = t - 1.6. Which is smaller: b or -2?
-2
Let a = -0.39 + -4.51. Let x = a + -2.1. Let r = x - -6. Does r = -7?
False
Let l = -0.0206 + -0.0224. Which is smaller: 5 or l?
l
Let d(g) = -g**2 - 11*g - 10. Let u be d(-6). Suppose -5*v + 5*j = -25, -v + 3*j + u = -j. Is v greater than -1/8?
True
Let l = 40 - 33. Let j = l - 6. Is -3 at most as big as j?
True
Let c(i) = -i**3 + 14 - 10*i + 7 - 12*i**2 - 8. Let t be c(-11). Suppose 0 = n - 3*n + 3*o + 29, 2*o + 28 = t*n. Is n not equal to 12?
True
Suppose 9 = -9*q - 9. Let s be (7/9)/(5/(-15)). Is q > s?
True
Let p(a) = -9*a**2 + 7*a + 6. Let w be p(-6). Let s = w + 2516/7. Which is smaller: s or 0?
s
Let z = -2/1103 - -4486/40811. Which is greater: -1 or z?
z
Let y be 5/2635*-1052 + 2. Let f = y + -1076/5797. Let o = 10/7 - 33/28. Which is smaller: o or f?
f
Let d = 3429 - 23931/7. Is d greater than or equal to 0.3?
True
Suppose 6 = s + s. Suppose 4*y = 5*j + 19, -s*j - j - 14 = -2*y. Let t = y - 1. Which is bigger: t or 6?
6
Let a be (-120)/(-180) - (1/(-1) + 2). Is a at least 1/157?
False
Let b = -5.67 + 5.77. Suppose 2*v + 16 = -4. Is v greater than or equal to b?
False
Suppose -2*i + i = 2. Let o be -1*(1 - (i + 3)). Let y be (-5)/(-9)*(-3)/(-2). Is y bigger than o?
True
Suppose 0*z + 400 = 4*z. Suppose 8*w = 3*w + z. Is 19 > w?
False
Let m be ((-32)/(-48) - 10/6)*0. Suppose -6*f - 83 + 233 = m. Are f and 25 non-equal?
False
Suppose -14*x + 1705 = 375. Suppose -5*s = -x - 120. Which is smaller: s or -1?
-1
Let a = -1307.8 - -1306. Which is greater: a or -11?
a
Let w = -3.8 + 5.5. Let v = 1.7 - w. Which is smaller: v or -12?
-12
Let r = 75.2 + -82. Let v = r - -7. Let b = -8/17 - -7/51. Which is smaller: v or b?
b
Suppose -40*o = -o + 2*o. Is -1/267 bigger than o?
False
Let r = 212 - 259. Is -46 greater than r?
True
Let d be (0 - 8/(-4)) + -2 + 3. Let p be 10/30 - (-2 - 11/d). Let q = -3 - -10. Which is smaller: q or p?
p
Let x(i) = -24*i + 172. Let l be x(14). Which is smaller: -163 or l?
l
Suppose 0*u + 5*u = -3*q - 82, -2*q = -u - 19. Let b be 3 + -24 - (2 + -5). Is u greater than b?
True
Let k be (-1)/(12 - 6 - 5). Is k at least as big as 3/47?
False
Let p be ((-12)/(-9))/4*-12. Let s be 0 + p - (-104)/14. Let b = 3 - s. Which is bigger: 1 or b?
1
Let z be -2 - 12*4/8. Let h be -2*((-7)/(-6) + (-16)/(-12)). Is z equal to h?
False
Let y(h) = -4*h - 2. Let r(n) = -n**2. Let j(f) = 2*r(f) - y(f). Let o be j(-1). Are o and -3 nonequal?
True
Let k = -60 - -33. Let t = k + 25. Let f(i) = -3*i. Let o be f(t). Is o greater than 31/5?
False
Suppose -f = 2*n + 28 + 21, -54 = 2*n - 4*f. Is n equal to -18?
False
Let p = 23.995 - 24. Let f = p + 1.005. Is -3 less than or equal to f?
True
Let y(a) = 3*a - 12. Let v(d) = -d. Let w(x) = 2*v(x) + y(x). Let u be w(-8). Is u smaller than -22?
False
Let b = 2.127 - -896.873. Which is greater: 2 or b?
b
Let a = -471/2 + 235. Which is bigger: a or 3?
3
Let j(y) = -y**2 + 13*y + 129. Let z be j(20). Which is bigger: z or -18?
z
Let z be (-16)/10 - 4/10. Let o = 2 + z. Let s(i) = i**2 - 8*i. Let u be s(8). Is u at least o?
True
Let x = -43/15 - -14/5. Let l be 2/5 + 12/(-90). Let p = l - x. Are 1/4 and p non-equal?
True
Let j be 624/468*(1 + (-29)/26). Is -419 > j?
False
Let c(u) = -2*u**3 + 4*u**2 + 5*u + 3. Let k be c(-3). Let w = k - 376/5. Is w less than 3?
True
Suppose 1165 = 14*f + 73. Let s = 625/8 - f. Which is smaller: 0 or s?
0
Let g(d) = d**2 + 16*d - 34. Let i be g(-18). Suppose 2*h + u + 2 = -i*u, -h + 3*u = 1. Is h smaller than 2/187?
True
Let q = 1407529/383 + -3675. Which is greater: -1 or q?
q
Let j = -548/2385 + 2/265. Let o = j - 5/18. Which is greater: o or -0.1?
-0.1
Suppose 0 = -5*d - 5*l - 440, 0*l + 20 = 4*l. Let r(v) = v**3 - 85*v**2 - 263*v - 181. Let q be r(88). Is d <= q?
True
Let q = 113 - 181. Is q >= -67?
False
Let z be (-1 - 6/(-9)) + (-377)/(-1122). Is -1 not equal to z?
True
Let t = -58.3 + 56.3. Which is smaller: t or 1/32?
t
Suppose 54 + 30 = 2*b. Which is greater: 44 or b?
44
Suppose 3*u + 13 = -5*y, 0*u = 3*y - 4*u + 2. Let c = y + 6. Suppose -3*z - n = 21 + c, 4*z - 4*n = -28. Is -8 smaller than z?
False
Let g be -1*523/13 + (16 - 21). Is -0.1 bigger than g?
True
Let t be (30 - 1) + -2 + (1 - 0). Suppose -13*b + 6*b - t = 0. Suppose y + 3*y + 12 = 0. Is y equal to b?
False
Suppose -191 - 1111 = -42*b. Is -0.1 greater than b?
False
Let r be (10 + -10)/(1/1). Suppose 2*v + r = 4. Suppose -12 = -3*o - 6. Is o equal to v?
True
Let s = 2578/3 + -860. Is s > -23.6?
True
Let c(v) be the first derivative of v**3/3 + 5*v**2/2 + 3*v + 4. Let u be c(-5). Suppose -u + 15 = 3*q. Which is greater: q or 3?
q
Let b = -217 - -417. Which is smaller: 1006/5 or b?
b
Suppose 0 = 3*c - 4*t + t, 6*t = -4*c - 10. Let i = 1/7 - 10/21. Is c > i?
False
Suppose 30 = 22*b - 17*b. Suppose -2*l + 0*n = 3*n - 17, 0 = -3*l + 4*n. Suppose 2*d - l*d = -16. Which is greater: d or b?
d
Let f = -0.1841 + 0.0841. Which is greater: 645 or f?
645
Let y(g) = -g + 12. Let w be y(8). Suppose w*v = -v + 35. Is 3 less than or equal to v?
True
Suppose 2*p + 5*r = 52, 0*r - 54 = -2*p - 4*r. Suppose 11 = -2*g - p. Which is smaller: -64/3 or g?
-64/3
Let n(h) = -h**3 + 6*h**2 - 4. Suppose 4*v = -2*c + 24, 0*v - 2*v + 24 = 3*c. Let a be n(c). Suppose r + 0*f + 30 = -5*f, r = f. Is a <= r?
False
Let x = -137.48 - -132. Let l = x + 5.4. Is 1/3 > l?
True
Let y = -0.101 - 0.032. Which is smaller: 1 or y?
y
Let k(u) = -u**2 - 5*u - 2. Let j be (-6 - 0)*(-8)/(-12). Let f be k(j). Let d = 2538 + -2538. Is f greater than d?
True
Let s be (-6)/(-4)*352/33 + 4. Is s equal to -29?
False
Suppose -2 = 4*p + 2. Is p < 1/263?
True
Let i(z) = z**3 + 10*z**2 + 4*z - 18. Let p be i(-9). Let y be 63/2 + (-1)/(-2). Let u = y - p. Do u and 7 have different values?
True
Suppose -5 = -4*x - 5*h + 18, 20 = 4*x + 4*h. Which is greater: x or 0.31?
x
Let w = 164.2 + -164.1. Is w smaller than 0.071?
False
Let z = -4484 - -6228278/1389. Which is smaller: 1 or z?
z
Let v = -226011/5 - -8814931/195. Let i = v - 30/13. Which is smaller: 1 or i?
i
Let w(t) = 0 + t + 0*t - 1 - 1. Let b be w(7). Suppose -2*j = -b*j + 3. Is 2 at least as big as j?
True
Let z be 10/(-15) - (-1 + (-258)/9). Suppose 0 = m - 3*a + 9, -2*m + z = -6*m + 5*a. Let q(n) = -7*n**2 + 2*n - 1. Let r be q(1). Are m and r equal?
True
Let f = 5517/5 + -1097. Which is smaller: f or 5?
5
Let v(p) = 13*p + 18. Let o be v(-6). Let s be 16/o*6/(-2). Which is smaller: 0.1 or s?
0.1
Let h(l) = -7*l - 134. Let c be h(-19). Which is smaller: 1/281 or c?
c
Suppose -j = 3*b - 26, j = -3 + 2. Let y(c) = -7*c + 2. Let g be (5 + -4)*(-3 - -2). Let x be y(g). Are b and x non-equal?
False
Let c = -38980 + 57573458/1477. Let m = 3000/33971 + c. Suppose -4*u - 9 - 3 = 0, 3*l - 4*u = 9. Which is bigger: l or m?
m
Let h = 897 - 803. Which is smaller: 90 or h?
90
Let b = -6 - -8. Let w be 32/3 + b/(-3). Let p(u) = u**3 - 3*u**2 - 18*u + 9. Let q be p(6). Which is greater: q or w?
w
Suppose 3*u - 5*r = -23, -3*u - u - 8 = -r. Let j = -4166/3717 - -4/413. Is j <= u?
True
Let m = -128.7 + -9.3. Do m and 0.1 have different values?
True
Let p(i) = 162*i**2 - 15*i - 15. Let u be p(-1). Do 161 and u have the same value?
False
Let i = 78 + -102. Let c = i - -7. Is c less than 0?
True
