False
Suppose 64 + 596 = -33*c. Is -19 bigger than c?
True
Let s(h) = 4*h - 25. Let j be s(6). Let y be (-12 + j)*(-3)/9. Which is smaller: y or 4?
4
Let d(z) = 370*z + 7. Let w be d(4). Let v = w - 16371/11. Is v > -2?
True
Let w be ((-14)/(-10) - 4) + 3/5. Let a be (0 - (0 - w))/(2/1). Which is greater: a or -2/5?
-2/5
Let s = -0.131 + 0.331. Let b = -21.3 - -2.3. Which is smaller: s or b?
b
Let s be (-23)/6*-2*1. Suppose 19 = -6*i + 73. Which is smaller: s or i?
s
Let z = -0.0108 + -0.0402. Are -0.06 and z equal?
False
Let j be (-2)/(-4) + 6/4. Let h be 5 + (1 - 2 - j). Suppose 0 = -h*u, -m + 0*u = -2*u + 1. Are m and 2/37 equal?
False
Suppose 0 = -6*w + 3*w + 9. Let m(q) = 2*q**3 - 3*q**2 - 3*q - 3. Let u be m(w). Suppose -s - 2*y - 4 - 1 = 0, -3*s + 4*y = -u. Which is greater: -2/11 or s?
s
Let n be 7/(-3) + 4/(-6). Let l be 3 - (0 - (n - 0)). Suppose 2*f - 6*f - 4 = l. Which is greater: -4/5 or f?
-4/5
Suppose -4*g - 36 = 3*a, -5*g + 56 = -8*g + 5*a. Is -17 >= g?
False
Let y = -77015/9 + 8567. Is 9 at most y?
True
Suppose 4*s - 3*q - 45 = 0, -8*s + 5*q + 55 = -3*s. Which is smaller: 112/9 or s?
s
Let n = -0.37 - -0.4. Let j = -14.5 - -14.3. Which is greater: j or n?
n
Suppose -v = 2*v - 21. Suppose v = w + 3. Suppose -5*i + w = -i. Is i less than or equal to 15?
True
Let d = 141.95 + -178.1. Let w = 36 + d. Which is greater: w or 1/3?
1/3
Let d(p) = -5*p - 28. Let g(r) = 3*r + 14. Let t(v) = -2*d(v) - 5*g(v). Let y be t(-3). Are y and -3/13 non-equal?
True
Suppose 13*k - 786 = -149. Let s = k + -49. Which is smaller: -6/35 or s?
-6/35
Let z = 1/18 + 4/9. Let b = 64 + -64. Suppose 0 = 7*k - b - 14. Which is greater: z or k?
k
Let y = 1511 + -1545.12. Let w = y + 0.12. Do -2/7 and w have different values?
True
Let k be -3 + (2 - (-4 + -1)). Let w be 2 + -1 - (-2 + 16/k). Is 1/48 <= w?
False
Suppose 5*k + 2 - 17 = 0. Let x(q) = q**3 - 5*q**2 + q + 7. Let s be x(k). Which is greater: s or -37/5?
-37/5
Let s = 35430 + -1983999/56. Let f = 4/7 - s. Which is greater: -2 or f?
f
Let m = -301.3 + 299.3. Let x = -2 - -8. Which is bigger: m or x?
x
Let w = -211 - -2107/10. Suppose -4*b = k - 25, -7 = -3*b - 5*k + 16. Let d be b + -6 - (-1 - -1). Is d not equal to w?
True
Suppose -4*c - 31 = -5*l, -5*c + 2*l - 44 = l. Let x = 11 + -31. Let w = -27 - x. Is c at least w?
False
Let q(a) = -a - 3. Let g be q(-9). Let v(h) = h**3 - 10*h**2 - 10*h - 12. Let p be v(11). Let t = g - p. Is t bigger than 8?
False
Let h be 5*((-21)/(-15) - 1). Let b be -10 - 4*h/(-4). Which is greater: b or -20/3?
-20/3
Suppose -5*g = 2*b + 67, 2*g = 4*b - 24 - 22. Which is smaller: -17 or g?
-17
Let c be (-1)/(-7) + 12360/(-84). Is c < -148?
False
Let v(k) = k**3 - k**2 + k - 1. Let x be v(1). Let r be (340/(-41310))/((-4)/(-6)). Which is greater: r or x?
x
Let m = 43 + -43.2. Are m and -3/8 unequal?
True
Let x be (992/240 + -4)/((-8)/9). Is x < 1?
True
Suppose -6*y = -4*r - 8*y - 1250, -r + y = 314. Which is bigger: r or -311?
-311
Let s be (-4290)/(-80)*4/3. Is s > 73?
False
Suppose -1 = -3*p + 5. Suppose 0 = -3*f + 3, -2*w + p*f = -0 - 4. Suppose 4*d + 12 = -2*n, w*d + 5 + 4 = 2*n. Is -1/2 greater than n?
False
Let w = 5 + -19. Let j = w - -14. Which is smaller: 7/5 or j?
j
Let t be (-1)/3 - (7 - 25/3). Let q be (36/(-1230))/t*5/(-2). Is q < 1?
True
Let i = -19.67 - -0.67. Let n = 47 + i. Which is smaller: n or -2/5?
-2/5
Let t(f) = f**2 - 3*f. Let d be t(5). Suppose -2*u = d + 2. Let s = u - -2. Is -6 greater than or equal to s?
False
Let j = 200 + -348. Let m = j - -125. Is -23 smaller than m?
False
Let x = -13/100 + -1183/900. Which is smaller: x or 0?
x
Suppose -360 = 24*w + 472 - 88. Let q be (-1 + -28)*(-1 + 2). Which is greater: q or w?
q
Suppose -u - 2*l + 60 = 0, 2*l - 264 = -5*u + 4*l. Suppose 2*d = -7*d + u. Which is bigger: d or -2/25?
d
Suppose -5*i - 4*f = -16 - 7, 4*i - 6 = 3*f. Suppose i*o = 5*z + 88, 2*z = -o - 38 - 6. Is -20 greater than or equal to z?
True
Let c(f) = f**2 + 65*f + 104. Let v be c(-63). Which is bigger: v or -36?
v
Let c = 174 - 175.67. Let w = -1.6 - c. Let r = -0.03 - w. Is -0.1 at most as big as r?
True
Let c = -7 - 2. Let l = c - 8. Is l equal to -17?
True
Let c(y) = y - 60. Let m be c(21). Let h = 47 + m. Which is smaller: h or 3?
3
Suppose 2*n - 192 = -2*n - 4*b, 5*b = 4*n - 156. Suppose 0 = -3*x + 2 + 4, 5*s = 3*x + n. Which is smaller: s or 7?
7
Let w be (-2114)/105 + (-2)/(-15). Let r be (21/w)/(9/(-12)). Which is bigger: r or 1?
r
Suppose -14*h - 126 = -12*h. Let w be (-1)/6*h/462. Which is bigger: w or 0?
w
Let w(u) = -u - 6. Let x(a) = -6*a - 31. Let q(c) = -11*w(c) + 2*x(c). Let l be q(-8). Let h be (1/(-4))/((-15)/l). Which is smaller: 1 or h?
h
Let z = 29 + 151. Is 0.2 at least as big as z?
False
Let l = -0.1 + -0.9. Let c = l + 3. Suppose -11*w - 2*w = 2*w. Is c smaller than w?
False
Let r = -1/28 + -31/28. Let o(v) = v**3 + 12*v**2 + 11*v - 2. Let c be o(-11). Let m be -3 - (4 + -3) - c. Which is bigger: m or r?
r
Let k = -261.3 + 282. Let r = -3.7 - -24.7. Let z = k - r. Which is smaller: 4 or z?
z
Let l be -1 + (-24)/(-15) - (-66)/(-135). Let u = -1.93 - -0.13. Let t = -2 - u. Which is greater: t or l?
l
Let a be (-10)/15*(1 - 22). Let j = a - 12. Let z = -0.05 + 0.05. Do z and j have different values?
True
Let r = -1 + 1. Let y(k) = 2*k**3 + 7*k**2 - 18*k - 1. Let b(p) = -p**3 - 4*p**2 + 10*p + 1. Let z(l) = -7*b(l) - 4*y(l). Let t be z(r). Is t < 2/5?
True
Let r be ((-28)/10115)/(21/(-30)*-4). Which is smaller: r or -1?
-1
Suppose 2*j = 5*j + 2*c + 1499, 4*c + 2499 = -5*j. Are -498 and j non-equal?
True
Let s = 4633/91 + -407/7. Which is smaller: -6 or s?
s
Let v = -15785/12 + 1316. Which is smaller: -0.2 or v?
-0.2
Let h(d) = 3*d**3 - 5*d**2 + 7*d + 3. Let i be h(3). Are 60 and i non-equal?
False
Let w be 0 - 220 - (-54)/(2 + 7). Is w >= -213?
False
Let h = 455/8 + -57. Let s = 4744/7 + -678. Are s and h unequal?
True
Let q be 35/14 + (-1)/2. Suppose -4*c + 0 = z - 3, -2*z + 6 = q*c. Suppose 3*r - 36 = -18. Which is smaller: z or r?
z
Let f = 7516/7 + -7493438/6979. Is -1 smaller than f?
True
Suppose 0 = -65*a + 3*a + 434. Suppose r - 3*r = s - 1, 2*s - 10 = 0. Is a not equal to r?
True
Let i = -11.2 + 8. Let a = i - -4.2. Let k = -16.92 + -0.08. Which is smaller: a or k?
k
Suppose -2217 = 29*h - 28*h. Let w = h + 215047/97. Is w less than or equal to 2?
True
Let z = -412.15 - -412. Are z and 2 equal?
False
Let w = 2/23 + 40/69. Let a = -0.091 + 10.391. Let n = -10 + a. Which is smaller: w or n?
n
Let t(s) = s**2 - 4*s + 2. Let i be t(5). Suppose -6 = -5*b + 2*b. Suppose -4*x - 6 = -14, b*x + 8 = 2*z. Does z = i?
False
Let l = 16 - 17. Let w = 54 + l. Do w and 52 have different values?
True
Let r = -136 + 138. Let b = 1321 - 11873/9. Which is smaller: b or r?
b
Let d = 1332 + -1333. Which is bigger: d or 10?
10
Let w(n) = 2*n**3 - 1. Let j be w(1). Let l = 569 + -243. Let h = l - 10433/32. Which is bigger: j or h?
j
Let k = 2 - 2. Let m = -1047 - -12565/12. Which is greater: m or k?
m
Let w = -6 + 13/2. Let h = -4.05 + 4. Let t = -0.15 - h. Is w greater than t?
True
Let b(g) = -g**3 + 3*g**2 + 19*g - 6. Let j be b(6). Let i(m) = 3*m - 3. Let q be i(2). Suppose -4*n + 17 = q*d, -d = -4*n - 0 + 5. Does j = n?
False
Let u(b) = -b**3 + 17*b**2 + 21*b - 43. Let q be u(18). Suppose -7*h - 11 = -q. Is h at least as big as 1/13?
False
Let f = 4 - 3.9. Let m = 0.4 + 4. Let c = -4.3 + m. Is f >= c?
True
Let t = 21/19 - 1287/133. Which is bigger: -9 or t?
t
Suppose 4*f - f + 572 = -j, -2*j + 968 = -5*f. Which is smaller: -191 or f?
f
Let g = -79.031 - -0.031. Let n = 143 + g. Is 2/5 equal to n?
False
Suppose x = -a, a = -0*x - 2*x. Suppose -3*i - 3*m = -x*m + 3, -1 = 5*i + m. Which is smaller: i or -6/29?
-6/29
Let j = 1/2 - 1/4. Is 30 less than j?
False
Let m = -23.9 + 20.9. Let k = 7 - 3. Is k equal to m?
False
Let w = 4.5 - 4.1. Let a = w - 0.4. Which is smaller: a or -1.1?
-1.1
Suppose a + 2*s = 4, 5 = 5*a - 3*s - 15. Suppose -b = -2*x + 41, -a*b - 83 = -3*x - 19. Let o = 62/3 - x. Is 0 <= o?
True
Let r = -0.12 + 0.98. Is 1 >= r?
True
Let c = 903 - 493. Let s = 5338/13 - c. Let g = -14/65 + s. Which is bigger: -1 or g?
g
Suppose p + 33 - 9 = 0. Let r = -15 - p. Are r and 9 non-equal?
False
Suppose 0 = 4*p + p - 15. Sup