ich is smaller: -2 or c?
c
Suppose 6*j - 22 + 4 = 0. Suppose 3*h - 2*b - 165 = -5*b, -j*h = -3*b - 177. Which is smaller: 55 or h?
55
Let z = 3.84 - 4.26. Which is smaller: z or 5/4?
z
Let l = 6160 - 3652881/593. Which is bigger: l or 1?
1
Let m(c) = -8*c**2 + 122*c + 97. Let v be m(16). Let y = -3 + 2. Let t = y + 0. Is t > v?
False
Let c(b) = 7*b**2 - 1. Let k be c(-2). Suppose -4*o + a - k = -0*o, -2*a - 23 = 3*o. Does -7 = o?
True
Suppose -5*p - 10 = -h, 3*h - p = -2*h - 22. Let n(d) = -d**3 - 3*d**2 + 9*d + 5. Let x be n(h). Which is greater: 11 or x?
11
Suppose 0 = 3*l + 4*s - 12, -6 = 3*l + s - 3*s. Let v(w) = 2*w + 30. Let i be v(l). Which is smaller: 31 or i?
i
Let d = 894/1495 - -3/1495. Which is smaller: d or 16?
d
Let r be (-3)/(-14)*2 - 1. Suppose -3*o = -5*x - 1, 0*x + 6 = -2*x + 4*o. Suppose x = -v - 0. Are r and v unequal?
True
Let y be -24*(6 + -12 + 17). Is -264 at most as big as y?
True
Let l = -99 - -61. Let s = l + 31. Which is smaller: 0 or s?
s
Suppose -5*i + 4*q - 266 = 0, -4*i + 120 = 5*q + 341. Let y = 36 + i. Which is smaller: y or -16?
y
Let n(v) = -v**3 - 7*v**2 + 6*v - 6. Let i(k) = -k + 1. Let b(a) = 2*i(a) - n(a). Let c be b(-7). Let f be (4/6)/(c/24). Is 1 >= f?
True
Let d be 6010/22 - (-2)/(-11). Let h be 6/(-8) - (d/(-12) + -2). Is 22 not equal to h?
True
Let m be (-1)/((30/(-1608))/(-5)). Which is greater: m or -269?
m
Let a = -0.1 + 36.1. Let i = -47 + a. Is -0.1 less than or equal to i?
False
Let k = -40.9866 + -3.1164. Let v = 0.103 + k. Is v > 0.1?
False
Let u be ((-164)/144)/((-22)/(-6) + -4). Which is greater: 2 or u?
u
Let u be 52/78 + (-76)/(-282). Is u equal to 2?
False
Let s(t) = -t**3 + 17*t**2 - 18*t + 34. Let u be s(16). Let z(o) = o**3 + o**2 - 2*o + 1. Let c be z(1). Let d = c - u. Which is smaller: 3 or d?
d
Suppose 6*a - a + 4*y + 94 = 0, -a - 23 = 5*y. Let h be a/14 - 32/(-112). Which is greater: h or -2/5?
-2/5
Let d = -87 - -73. Let s = -15 - d. Is 7 < s?
False
Suppose -5*x + 10 = 5*w, -3*w + 14 = x - 6*x. Is x < -1/614?
True
Let u be ((-344)/215)/(2/(-60)). Do u and 50 have the same value?
False
Let m = 7.2 + -10. Let k = m + 4. Let h = -7.8 - k. Is h > -2/7?
False
Let s(d) = -2*d - 5. Let m be s(-4). Let k = -200/231 + 64/21. Does k = m?
False
Let m = -13638/31 - -440. Let d(w) = w + 3. Let l(z) = -z - 9. Let n be l(-6). Let y be d(n). Is y <= m?
True
Let a be 495/2772*6/(-5). Let k = 0 + -1. Is a greater than k?
True
Let i = -4.55 - -0.35. Let n = -1.00052 - -0.00052. Which is greater: i or n?
n
Suppose 3*u + 13 = 16. Are -9/44 and u nonequal?
True
Let t = 0.8 + 7.2. Let p = 71 + -65. Let f = t - p. Which is smaller: 4 or f?
f
Let g = 68 + -82. Let c be 1/(-3)*(-14 - g). Is -3/10 greater than or equal to c?
False
Let l be ((-11)/(-2))/(13/52). Suppose l*y - 17*y = 100. Is 21 at most y?
False
Let l = -30.6 + 0.6. Let i = 30.04 + l. Which is greater: i or 1?
1
Suppose -5*b + 0*n - 2*n = -348, 3*b = -n + 208. Let r be ((-210)/b + (-1 - -4))*2. Which is greater: -1/3 or r?
r
Let x = -15 - -5. Let d be 72/(-8) + 0 + 1. Which is smaller: x or d?
x
Let w(a) = a**2 - 5*a + 2. Let p be w(5). Let u be 91/6 - p/12. Let l be u/10*2/18. Are 1 and l equal?
False
Suppose 3 - 8 = -u. Let p = 2 - u. Suppose 4*h - 5*a + 19 = -6*a, 2*h = 3*a - 13. Which is greater: h or p?
p
Let p = -0.44 + 0.12. Let v = p - -0.62. Which is smaller: 11 or v?
v
Let k = -25.1 - -0.1. Let r = 0.0668 + 0.1332. Which is smaller: k or r?
k
Let g = 142 - -6. Which is greater: 0 or g?
g
Let p = -65 - -67. Do 8 and p have different values?
True
Suppose 2867 = -14*b + 445. Is b > -175?
True
Suppose 3*k + 3*k - 6 = 0. Let f(d) = 9*d**3 - d**2 + 1. Let a be f(k). Which is smaller: a or 5?
5
Let d be 0/(0 + (-2)/(-1)). Suppose 4*x + 10 = 2*g, -4*g = -4*x - 9*g - 3. Let v be (-1)/x + (-49)/70. Which is bigger: d or v?
d
Let d = 0.97 - 1. Let z = -16 + -113. Let v = 643/5 + z. Which is smaller: d or v?
v
Let k be 2*1 + 112/(-54). Let p be 3/2 + (-106)/4. Let w = -25 - p. Does w = k?
False
Let j = -1 - -4. Let t be 8/10*j/(-18). Let i = -2606 + 2607. Is i >= t?
True
Let w = 7 - -5. Suppose 47 = 5*j - 18. Are j and w unequal?
True
Let s = 1 - 0. Let v be 9977/21 + -3 + -1 + 1. Let l = v + -472. Which is smaller: l or s?
l
Let r = -1296 + 1291. Which is greater: -1/9 or r?
-1/9
Let v(i) = 3*i**3 - 26*i**2 + 72*i - 15. Let u be v(6). Which is bigger: u or 130?
130
Suppose 0 = 3*l + 5*j + 2 - 0, -l - j = 0. Let d be l*-5*2/(-10). Which is smaller: -4/11 or d?
-4/11
Let h = -0.0265 + 0.2265. Let i = 42 - 61. Which is smaller: i or h?
i
Suppose 58*t - 122*t = -61*t. Is -60 < t?
True
Let s(g) = -g**2 + 7*g + 11. Let m be s(7). Let w = 37 - 26. Is m at least w?
True
Let l = 14 - 15. Let m be (-1)/2 + l/14. Is 0 greater than or equal to m?
True
Let u = 39 - 40. Let j = -1496959/11 - -136229. Let g = j - 142. Is u less than or equal to g?
True
Let k = -12/2051 + -42507/96397. Is -1 >= k?
False
Let d be 39*(-3)/(10 - 1). Let c = 16.3 - 16.4. Is c greater than d?
True
Suppose -2*c - 2*c + 148 = 0. Suppose -42 = -3*x - 5*j + c, x = -4*j + 38. Suppose 27 = -5*l + 4*d, -l = -0*l - 5*d + x. Which is bigger: 2/7 or l?
2/7
Let d(p) = p**2 - 14*p - 104. Let o be d(19). Is -27 at least as big as o?
False
Let z be 625/(-45) + 1/(-9). Let p = -9 - z. Suppose 2*c - 4 = -5*u + 5, 0 = p*c - u + 18. Which is smaller: -0.1 or c?
c
Suppose 22 = 2*m - 0*c - 4*c, 4*m = c + 9. Let z(f) = 2*f + 6. Let h = -12 + 8. Let o be z(h). Is o > m?
False
Let g be 0 + (-20)/(-16) + 1/(-4). Let a be 1 + 1 + -2 + 2. Suppose -4*c + 24 = 4*j, c + a*j - 4*j = -3. Which is smaller: c or g?
g
Suppose 2*n = 4*a - 16, n - 12 = -n - 3*a. Which is smaller: -2/923 or n?
-2/923
Let i = 0.41 - -17.59. Let f = i + -34. Let s be (3/(-9))/((-2)/(-3)). Which is smaller: f or s?
f
Suppose 2*r + 22 = 2*o, -8*r + 4*r - 49 = -5*o. Let p be (-56)/(-16)*r/14. Which is greater: p or -1?
-1
Let n = 63 - 53. Let l(t) = t**3 - 9*t**2 - 8*t - 10. Let i be l(n). Which is greater: i or 11?
11
Let n = 89 + -83. Let d(f) = -f**2 - 5*f + 8. Let q be d(-6). Suppose -3*l = -3*y - 18, 3*y = -3*l - 2*y + q. Is l less than n?
True
Let c be 8*(-3 - 14/(-4)). Let r be -4 + 32*c/24. Let w be (-2 - -2)/(0 + 2). Does w = r?
False
Let x be 4/34 + (0 - 0). Suppose -5*l + a = -70, 0 = -3*l + 2*l + a + 10. Suppose 0 = 3*r - l, s + 0*s - r = -6. Which is smaller: x or s?
s
Suppose 3*r - 12 = 5*t, -3*r + 4*r - 4 = -t. Suppose t = l + w - 97 + 27, -l = -3*w - 74. Is l <= 71?
True
Let m be (-1)/9*-2 - (-47)/(-9). Is 18 not equal to m?
True
Let c(m) = m**2 - 6*m - 46. Let b be c(7). Is 1/2 less than b?
False
Let p = -379/5 - -76. Let b = 44 - -74. Let w = 117 - b. Is w bigger than p?
False
Let b be (-218)/(-4) - 1/2. Suppose -5*i = b + 41. Let r be 10/(((-16)/112)/(6/21)). Is r < i?
True
Suppose 14 - 107 = -3*b - 3*k, -3*b + 87 = -3*k. Let i be 162/b + -6 - 233/45. Which is smaller: -7 or i?
-7
Suppose -4*n = n + 45. Suppose 0 = 3*a - 1 - 14. Suppose -a*q + 4*y = 20, 5*y - 6 = 2*q + 3*y. Is n at most as big as q?
True
Let k be (1 + 12/(-21))*3/9. Let u be (-4 - -7) + (-1 - 3). Are u and k equal?
False
Let l be ((-45)/(-27))/((-7)/735). Is -175 <= l?
True
Suppose 4*h + 2*d = -0*d - 140, -2*h - 2*d = 74. Let f be (-1)/8*1 - 6838/208. Do h and f have the same value?
True
Let a be (2 - (-4)/(-1)) + 6. Suppose -a*n + 42 = -7*n. Let i be 6/n - (-8)/(-14). Which is greater: -4 or i?
i
Let y be 8350/10584 - 30/24. Let o = -13/27 - y. Is o smaller than 0?
True
Let j = -0.1 - 0.2. Let s = 3.9 - 5.7. Let m = s - -2. Which is smaller: m or j?
j
Let g = 57 + -31. Let a = 1.4 - 1.3. Is g <= a?
False
Let c = 498157/215 - 2317. Let m be (27/9)/(0 - 3). Is m at most as big as c?
True
Let t be ((-1587)/54)/((-14)/42)*6. Which is bigger: 530 or t?
530
Let h be -175 - -1 - (-11 - -8 - 0). Is -172 at most h?
True
Suppose -4*j + 5*p = 2, 4*j - 2*j + 2 = 3*p. Let l be 3/66*20/j. Which is smaller: l or 0?
0
Let x(b) = -b**2 + 3*b + 5. Let l be x(4). Let g be 28/(-13) - l*-2. Suppose 32*j + 18 + 9 = 5*j. Which is greater: j or g?
g
Let z be 2/8 - (1302/(-24))/7. Suppose -z = -n - 4. Which is greater: 0 or n?
n
Let o be 0*1/2*(-1 + -1). Suppose -12 = 2*v - 5*v. Suppose -v*l = -z + 11 - 2, o = 5*z - 5*l. Is z at least as big as -10/3?
True
Let z(l) = 2