4*i, t - 4*i = -6. Is t > k?
True
Let r be 0 + 1/4 + (-3)/(-4). Suppose v + r = -5*i, -v = -0*v - i + 1. Which is smaller: v or 1/11?
v
Let h(b) = -b**3 + 4*b**2 + 3*b + 3. Let r be h(5). Let p(z) = z**2 + 9*z + 10. Let y be p(r). Which is bigger: y or -5?
y
Let n be ((-4)/(-30))/(2/40). Suppose 7*b = 4*b - 12. Let v = b + 8. Is n <= v?
True
Let n be (4/(-11))/(1/(-2)). Let g be (-256)/(-231) + 22/77. Let j = n - g. Is -1 equal to j?
False
Let r = 0.03 + 0.13. Is -1 smaller than r?
True
Let j = -1972/7 + 282. Let p = 0 + -2. Let y be p - (-1 - (-57)/(-48)). Is y at most j?
True
Let i = -2519/5 - -7558/15. Let f = -0.1 - -0.1. Which is bigger: f or i?
i
Suppose 3*c + 21 - 12 = 0. Let d = c - -5. Suppose -s = -d*s. Which is smaller: -2/29 or s?
-2/29
Let c = 3.3 - 3.17. Let f = 12.87 + c. Let s = -104.2 + 102.2. Which is greater: f or s?
f
Let z(s) = -s + 1. Suppose 2*f - 10 + 18 = 0. Let w(h) = 5*h - 23. Let d(b) = f*z(b) - w(b). Let g be d(7). Which is bigger: 13 or g?
13
Let q be 168/(-70)*2/3. Which is smaller: -6 or q?
-6
Suppose 7*u = u + 66. Let m = -20 + u. Let i = -23 + 15. Which is bigger: m or i?
i
Let f be ((-165)/(-35))/((-10)/30). Which is greater: f or -15?
f
Suppose -1509 = 26*g + 1195. Is g >= -313/3?
True
Let u be (12/7)/(4/28). Let j be 185/35 + 2/(-7). Let c = 7 + j. Is c greater than or equal to u?
True
Let d(z) = 2*z**2 - 41*z + 58. Let a be d(19). Which is smaller: a or 8/7?
a
Let t(p) = -p**2 + 11*p - 3. Let s be t(10). Let z(w) = -w**2 - s*w + 3 - 8 - 4. Let k be z(-6). Which is greater: -7/2 or k?
k
Let x(z) = 3*z - 4. Suppose -7*r + 280 = 42. Let b = r + -30. Let h be x(b). Which is smaller: h or 7?
7
Suppose 0 = y - 5*b - 19, b - 2*b = 3. Suppose -y*s - 72 = -s. Which is greater: -22 or s?
-22
Let m be 2/(-13) - 22/26. Let x be (1 - -1)/(-1) - m. Let a be (-8)/(-250)*(-30)/(-12). Do a and x have the same value?
False
Let c = 339 + -341. Which is greater: c or -81?
c
Let d = 5.98 - -0.02. Let i = -102/13 + 7/39. Let k = 8 + i. Which is bigger: d or k?
d
Let d = 1026.55 - 973. Let b = d + -54. Is 1 <= b?
False
Let o(g) = 9*g + 3. Let a be o(3). Suppose -8*y + a = -6*y. Let n be 12/y*25/10. Which is smaller: n or 6?
n
Let c(h) = 2*h - 12. Let b be c(8). Suppose -q - b = -3. Is -1/71 greater than or equal to q?
True
Let y(u) = 2*u**2 - 10*u - 11. Let f be y(8). Suppose 5*l = f + 28. Let d = -21 + l. Which is greater: d or -9?
d
Suppose 0 = -9*c + 4*c + q - 257, -4*c - 200 = 2*q. Suppose -5*t + 4*t + 4*s - 66 = 0, 0 = -2*t - 2*s - 92. Which is smaller: c or t?
c
Let k = 7327 - 95185/13. Which is bigger: k or -1?
k
Let v = -26797/8 - -278103/88. Let h = -191 - v. Is h >= -2?
True
Suppose -2*x + 2*z = -0*z + 50, x + 3*z + 21 = 0. Let s = 24 + x. Which is smaller: 9 or s?
s
Let l = -14746/729 - -4/729. Which is smaller: l or -20?
l
Suppose 4*k - 78 = 2*k + 5*l, 3*l + 86 = 2*k. Let b = -61 - -110. Is k equal to b?
True
Let n = -3716/7 - -531. Are 10/7 and n nonequal?
True
Let m(l) = -l**3 + 12*l**2. Let p be m(12). Suppose p = -3*q + 6 + 6. Suppose 23 = j + q*t, -t + 0 = -4. Is j less than or equal to 1?
False
Let v(x) = 2*x + 1. Let j be v(-1). Suppose 0 = -2*o - w - 14, 0 = 2*w - 7 - 1. Let b = o + 26/3. Which is smaller: j or b?
j
Let d be 1 - 0 - (3 + (14 - -1)). Is d equal to -84/5?
False
Let w = -230 + 230. Does -6/467 = w?
False
Suppose 0*g + 15 = 5*g. Let a(x) = -x**3 - 12*x**2 - 32*x - 3. Let p be a(-6). Let l be 72/p - 1/g. Is l less than or equal to -4?
False
Let b = -77 - -122. Which is smaller: b or 2/7?
2/7
Let r = -285 - -419. Which is bigger: r or 132?
r
Let y = -5.458 + 2.41. Let s = -0.048 - y. Which is smaller: s or 2?
2
Suppose 5*v = 2*q + 25, -5*q - 10 - 27 = -4*v. Let z(m) = -2*m + 2. Let k be z(v). Let x be 57/(-30) + (-6)/k. Is x > 0?
False
Suppose 1 = 4*o + 5. Suppose -8 + 10 = v. Which is bigger: o or v?
v
Let n = 447 - 446. Does 1/47 = n?
False
Suppose 20 - 4 = -4*n. Let z be 26/10 + n/(-10) + 28. Which is smaller: z or 30?
30
Suppose -h = -2*w - 71, -4*h - 48 = 2*w + 38. Let q = 42 - 80. Is q smaller than w?
True
Let j = -0.625 - -26.925. Let s = 27 - j. Do s and -2/9 have the same value?
False
Suppose -c = -r + 2*c - 15, -3*r - 2*c = -10. Let z be r/(-2)*1/(-2). Is -0.2 <= z?
True
Let i = 77/3 + -67/3. Let a(m) = -16*m - 158. Let k be a(-10). Which is bigger: i or k?
i
Let a = 27645242 + -3787908892/137. Let o = 3728 + a. Is -1 != o?
True
Suppose 4*w = 3*x - 9 - 7, 2*w - x + 6 = 0. Let m = 918/1045 + -16/19. Which is smaller: m or w?
w
Let f(n) = n**3 + 65*n**2 - 136*n - 144. Let d be f(-67). Which is bigger: -11 or d?
d
Let u = 1759/4 + -472. Is -31 at least as big as u?
True
Let d = -0.693 - -0.67. Let f = d + 2.023. Do 1.7 and f have the same value?
False
Let n(i) = i**3 - 14*i**2 + i + 16. Let t be n(14). Let k = t - 29. Which is greater: 5/13 or k?
k
Suppose -175*i = -49*i - 1638. Let o(q) = 3 + 5*q + 0*q**2 + q**2 + 5. Let w be o(-6). Which is bigger: i or w?
w
Let i be (-228)/(-9) - -6 - 4/(-6). Suppose -i = -z + 6. Which is greater: z or 1?
z
Let g be -316*3*3/(-36). Is g at least as big as 77?
True
Suppose 0*u + 3*u - 207 = 0. Let w be (27/28)/(u/(-184)). Which is smaller: w or -3?
-3
Let c = 0 + 2. Let a(u) = -5*u**2 + 4*u - 2. Let t be a(c). Let m be (2 - 0)*(-8)/t. Which is bigger: 1 or m?
m
Suppose 10*k + 0 - 20 = 0. Let o = k + -21. Is -19 bigger than o?
False
Suppose 36 = 5*q - 7*q. Let s be ((-12)/(-18))/(-1)*102/4. Let d = q - s. Do -6/11 and d have different values?
True
Let q = 1798 - 1798. Which is greater: q or 4/129?
4/129
Let k(p) = -24*p**2 - 5*p - 41. Let g be k(-4). Which is smaller: -404 or g?
g
Let x = -76 + 96. Let s be (3/(-72))/(x/(-12)). Is -1 < s?
True
Let y = -481 - -754. Let p = -272 + y. Let u = -2.06 - -0.06. Is u >= p?
False
Let v(q) = 2*q**3 + q**2 - q - 1. Let p be v(-1). Suppose -12*k - 25 = -193. Which is bigger: p or k?
k
Let q be (1094 + (4 - 3))*12/(-30). Which is greater: -439 or q?
q
Let h be 30/(-4)*108/(-30). Let t be (h/21 + -1)*1. Are t and -7 nonequal?
True
Let q be (-4)/14 + (-4)/(-14). Suppose 10 = 5*k - 90. Suppose k = 4*w - q. Is 5 at most as big as w?
True
Let i be 1 + (0 - (-1 + 1 + 2)). Suppose -4*n + 86 = r, 290 = 2*r + r + 4*n. Let u be ((-106)/r - -1)*3. Is u >= i?
True
Let n(p) = 6*p**2 + 13*p - 1. Let h(t) = -5*t**2 - 12*t. Let o(q) = -5*h(q) - 4*n(q). Let j be o(-8). Let u = -5 + j. Is u greater than -6/11?
False
Let x = 196 + -104. Do x and 2/7 have the same value?
False
Let n = -93 - -144. Let k = n + -40. Which is greater: k or 1/2?
k
Let q = 5 + -1. Suppose 0 = 5*w - 5*a - 40, -3*w = q*a + 11 - 0. Suppose -p = -w + 1. Is p at most 3?
True
Let g(t) = -3*t - 2. Let i(r) = r**2 + 9*r - 2. Let d be i(-9). Let f be g(d). Let s be 12/f + 23/(-7). Is s not equal to -1?
True
Let o = -1.8 + 1.73. Let w = -40.93 + 42. Let g = w + o. Is 4 less than or equal to g?
False
Let c = 0 - -2. Let x be ((-12)/1)/(-2) + 0. Suppose -x*r = r. Is r equal to c?
False
Suppose 10*s + 39*s + 343 = 0. Which is greater: -44/7 or s?
-44/7
Let h = 52.3 - 53.3. Let l = 2 + 0. Let c be l - (322/24)/7. Which is smaller: h or c?
h
Let j(o) = o. Let c be j(2). Suppose -y = c*g, 5*g + 5*y - 6 + 1 = 0. Let b be 3/12 + (-1)/8. Which is smaller: b or g?
g
Let g = 0.03 - 11.03. Let w = g + 11.1. Let c = 437/1505 + -1/215. Do c and w have the same value?
False
Let n(i) = 11*i + 1. Let k be n(1). Suppose -4 = -5*r + 2*o, -2*o + k = r + 2*r. Let x be (1/(-3))/(r/(-6)). Is 1 bigger than x?
False
Let o = 15 - 13. Suppose 0 = -a - 2*a - 3*t + 3, 2 = o*t. Suppose -2*c + 2 = -a*c. Is c at most as big as 2/3?
False
Suppose 35 - 50 = 5*m. Let t be -3*(-2)/m + 1. Let p = -4.02 + 0.02. Is p < t?
True
Let u be 4 + -1 + 1 + -59 + -2. Which is smaller: u or -58?
-58
Let k be (-548)/(-18) + -9*7/21. Which is smaller: k or 27?
27
Let i = 16.1 + -12.05. Let a = -1.05 + i. Which is bigger: a or -5?
a
Suppose 0 = -v + 4*v - 10*v. Suppose i + 14 - 16 = v. Is i equal to 2/3?
False
Let a be 22/(-10) - (-10)/50. Let k be (-33)/2 - 1/a. Let j be 0 + -3 + (-28)/k. Are j and -2 non-equal?
True
Let v be 7 + -1 + 0/3. Suppose -67 = 3*a - 4*j, -106 = -2*a + v*a + 3*j. Which is smaller: 1/3 or a?
a
Let c = -3.831 - 0.169. Let p = 3 + -3.07. Is p >= c?
True
Let v(g) = -3*g + 1. Let t be v(-1). Let 