h = 3*d + 6, 9 = -5*d + 4. Let z = 1/3 - 0. Which is smaller: h or z?
h
Let v be -2*(-14 + 1 + 3). Suppose -6*z = -z - v. Which is smaller: 5 or z?
z
Let l(d) = -2*d + 6*d - 3*d - 3*d. Let f be l(-2). Suppose 3 = f*q - 1. Which is smaller: 0 or q?
0
Suppose -11*x + 136 = 6*x. Which is greater: 1 or x?
x
Let u = 4 - 6. Let l be (4/(-10))/(34/(-5) + u). Is -1 < l?
True
Let f(j) = 3*j**3 + 4*j - 7. Let r be f(3). Let c = r + -51. Which is bigger: c or 0?
c
Suppose -16*t = -4*n - 18*t - 26, 0 = -3*n + 5*t - 26. Is -17 bigger than n?
False
Let n = 589 + -589. Is -0.983 at most as big as n?
True
Let r be (-824)/7*(-7)/((-7)/(-2)). Let v = 321 - 85. Let b = r - v. Is b < -2?
False
Suppose 2*s + 118 - 14 = 0. Let y be ((-18972)/119)/3 - (-1)/7. Is y greater than s?
False
Let r = -0.34 - -0.14. Let q be 2/(-17) - 478/(-17). Let k = q - 83/3. Which is greater: r or k?
k
Let v = -8 + 7. Do v and 2/2165 have the same value?
False
Suppose 0 = -3*w + 3 - 0. Let h be -1 + (-2 - -3)/w. Let x be 0 + 0 - -1 - 0. Is x not equal to h?
True
Let c be 27/(-6) + (-1 + 3 - 6). Which is bigger: -0.03 or c?
-0.03
Let h(t) = -2*t**3 + 17*t**2 - 14*t - 22. Let f be h(7). Is f bigger than 27?
False
Let f be 1 + (-15)/6 - 11355/(-24). Let k = 471 - f. Is 0 less than k?
False
Suppose 0 = 5*z - 5*h - 420, -5*z + 3*h = 63 - 477. Let j = z + -81. Which is smaller: j or -1/37?
-1/37
Let t be -1 + 3*(-31)/(-89). Let l = t + 211/1246. Let g be (20/50)/(2/5). Do g and l have different values?
True
Let i = 61.4 - 59. Let k = 2.6 - i. Which is bigger: 17/4 or k?
17/4
Let m be (7 - (-12)/(-3))/(4 + -3). Let f be ((-20)/(-8)*m)/(-27). Is 0 at least as big as f?
True
Let y = -425 - -437. Is -0.9 equal to y?
False
Let n = 104 - 103. Is 1/14 less than n?
True
Suppose -3*c = -12, b + 23*c - 21*c - 16 = 0. Which is bigger: -1/2 or b?
b
Let w = -96 - -95. Let s = -1.7 - 0.3. Let q = 4 + s. Is w smaller than q?
True
Let x = -229581/85 - -2701. Let a be 3/((-12)/(-2))*0. Is x greater than a?
True
Let j(d) = -3*d**2 - 22*d - 2. Let h be j(-7). Suppose h*z - 1 = 2*q, 4 = 5*z - 3*q + 5. Which is greater: 3/38 or z?
z
Suppose 3*i - 56 = 10*i. Let o be ((-1)/i)/(87/6380). Which is greater: 0 or o?
o
Let r(z) = 2*z**2 - 5*z - 23. Let o be r(10). Which is bigger: 128 or o?
128
Let y = 97/8 - 2417/200. Is -1 at most y?
True
Let o be ((-10696)/32)/((-23)/4). Let a = o - 58. Do -1 and a have the same value?
False
Suppose 0 = 8*m + 4*m + 660. Let g(i) = -7*i + 15. Let s be g(10). Is s bigger than m?
False
Let d(p) = -2*p - 4. Let r be d(-2). Suppose r = 4*n - 14 + 6. Let f be (n/(-20))/(2/(-45)). Are 3 and f equal?
False
Let h = -2040/19 - -30668/57. Let x = 6319/15 - h. Let t = x + 101/15. Which is smaller: t or -4?
-4
Let c be (-588)/(-3) - (2 - 0). Which is smaller: c or 192?
192
Let z(m) = -21*m + 148. Let b be z(7). Is b bigger than 140?
False
Let q(l) = 5*l**2 - 5*l + 3. Let b be q(1). Let p be (-2 + 4/6 - -1)*b. Is -3/22 less than p?
False
Let o be 5625/(-10)*(-2)/3. Let d be ((-3)/(-18))/(o/60). Which is smaller: 0 or d?
0
Let d be (-2)/3 - (-522)/(-27). Suppose 0 = -5*i - 120 + 25. Which is bigger: i or d?
i
Let k(f) = 2*f + 116. Let d be k(31). Which is bigger: -1 or d?
d
Let h = -11 - -10. Let p be 184/20 + h/5. Suppose -4*c + p = 37. Is c greater than -7?
False
Let y be 138180/120*(38/14 - 1). Are 1974 and y nonequal?
False
Suppose -3*r + f = -1, 5*r - 4*r + 1 = -f. Suppose 2*x - 19 - 87 = r. Which is bigger: 54 or x?
54
Let z = -5 - -7.5. Let o = 9.5 + z. Let f(q) = -2*q**3 + 9*q**2 - 3*q - 3. Let j be f(4). Which is greater: o or j?
o
Let u be (-6)/(-21) - 1*(-4)/(-14). Are u and 0 non-equal?
False
Let o(t) = -3*t + 1. Let p be o(-3). Suppose 85 = 5*b + 5*s, -5*s + p = 2*b - 39. Is 12 at most as big as b?
True
Let x(q) = -12*q - 72. Let i be x(-7). Let d be 5/12 - (-2 - (-32)/i). Is d greater than or equal to -12?
True
Suppose 3*i + 5 = -2*i. Let s be (-1 - 0) + (i - -4). Let u be s/(-7) + 1582/392. Is 4 <= u?
False
Let m(s) = 33*s - 1023. Let c be m(31). Let t = -6 + 11. Let k = t + -7. Is c greater than k?
True
Let z = -5 + 7. Let m = z + 1. Let b be -3 + (13 - 3) - (1 - 2). Which is smaller: m or b?
m
Suppose 0 = 7*c + 3 - 24. Let g be 14/18*c/(-2). Is -2 greater than g?
False
Let f be 2 + -3 + 7 + 726. Are 730 and f equal?
False
Let g = -185.9 - -180.9. Which is smaller: -0.06 or g?
g
Let d = 6/509 + -2653/9162. Is d greater than or equal to -1?
True
Let a = -189539/1110 + 539/111. Let c = 313/2 + a. Which is bigger: -8 or c?
-8
Let t = 3 + -7. Let w = 12 + t. Let v = -19/30 + 2/15. Is w >= v?
True
Let z = -2 - -1. Suppose -4*j + 0*j - 5 = -l, 5*j + 19 = -3*l. Let k be (-8)/12*3 - (-1 + j). Which is smaller: k or z?
z
Let p(q) = q**2 - 6*q + 3. Suppose -3*w = -5*z - 0*w + 33, -2*z + 4*w + 16 = 0. Let i be p(z). Let t be 0 + (i - 1) + 0. Which is greater: t or 3?
3
Suppose 37*p = 34*p - 984. Is -327 less than p?
False
Let o = 520 - 535. Which is smaller: o or -23?
-23
Let w = -7109/45 + 796/5. Suppose 5*r - 6*g = -11*g + 10, -2*r - 2 = -4*g. Which is bigger: r or w?
w
Let o(x) = x**2 + 3*x - 1. Let y be o(-3). Let c = 10307/244 + -169/4. Is y less than c?
True
Suppose 5*t + 1683 - 348 = -3*a, 5*t - 3*a = -1365. Is -269 < t?
False
Let b(x) = -x**3 - 3*x**2 + x + 2. Let c be b(4). Let i be c/(-10) - 14/(-35). Let a = i - 11. Is 0 at most a?
True
Let d = 2 + -3. Suppose 7*h - 90 = 13*h. Let n be -21*((-35)/h - 3). Are d and n equal?
False
Let n = -2 - -10. Suppose 3*v = -3*k + 30, 0 = 2*k - v - 0*v - n. Let p be (6/(-5))/(k/60). Which is bigger: p or -1?
-1
Let p(h) = 3*h**2 - 15*h + 9. Let w be p(6). Suppose -3*q = 3*j - 24, q + 5*j - w = 1. Let b(k) = -k - 5. Let v be b(-6). Is q less than or equal to v?
False
Let h = -16 + 15.1. Let n = -2.3 - 0.7. Do h and n have different values?
True
Let s = 216 - 191. Is 17 at least as big as s?
False
Let x = -4.9 - -5. Suppose -2*j = 2*j. Suppose 0 = 4*q - l + 5, j - 5 = q - 4*l. Is x bigger than q?
True
Let h = -0.78 - -0.81. Are h and -5 equal?
False
Let i = -289 - -288.6. Which is smaller: 3 or i?
i
Let s = -30998/21 - -1476. Suppose -x + 5 = 1. Let v be x/(-14) - (-2)/56. Which is greater: v or s?
s
Let w(f) = -2*f + 7. Let m(b) = -3*b + 8. Let h(q) = -3*m(q) + 4*w(q). Let j be h(4). Does j = 8?
True
Let o = 0.0513 - -0.9487. Do 422 and o have the same value?
False
Let a = 3.61 - 1.48. Which is bigger: 0 or a?
a
Let j = -90.3 - -83.76. Is 1 at most as big as j?
False
Suppose 2*y = -0*y + 18. Let x be (-1)/((-24)/y + 3). Is -11/6 bigger than x?
True
Let k(y) = -y**2 - 16*y + 44. Let w be k(-18). Let c be 133/(-8) - 3/w. Is 0 != c?
True
Suppose 0 = -10*w + w - 23*w. Is w at least 14/51?
False
Let z = 43 - 43.1. Let s = z - 0.9. Is s less than or equal to -2?
False
Let f be (-16)/(-8 - -4) + (-22195)/(-54). Let p = f + -415. Are p and 0 unequal?
True
Let v = -13.893 + 0.543. Let a = v - -0.35. Let d = 0.5 + -0.6. Which is bigger: d or a?
d
Let p = 15.7 + -15. Let w = -22 + 4. Let o = w + 19. Which is greater: o or p?
o
Let g = 5/11 - 26/33. Let y = -13 + -53. Let w = y - -464/7. Is g < w?
True
Let y(o) = 18*o + 143. Let v be y(-8). Let w = -3 - -2. Let q be w/(-52)*2*-2. Which is greater: v or q?
q
Suppose 0 = 193*c - 197*c. Suppose -n - 5*k - 19 = c, -3*n + 17 = -2*n - 4*k. Which is bigger: n or -29?
n
Suppose k - 3*i + 3 = -2*i, k = 3*i - 13. Suppose -k*h = -5*b + 46, 5*b - 7 = h - 2*h. Suppose 4*o + 69 - 17 = 0. Is o smaller than h?
False
Let c = -3 - 4. Let j(o) = -o - 1. Let u be j(c). Let v = u + -4. Is v less than -2?
False
Suppose 7*k - 23 - 33 = 0. Let s be 2/10 - 1/5. Suppose -3*h = -3*v + 21, h - 33 = -4*v - s*v. Is k < v?
False
Let v(y) = y - 4. Let g be v(4). Let u(l) = -2*l + 6. Suppose -4*a + 48 = 8*a. Let r be u(a). Is g < r?
False
Suppose 0 = 2*m + 45 - 11. Is -18 equal to m?
False
Let i be (-13 - (-8 + 4))/(-1). Suppose -i*z = -4*z. Let u be -1 + -4*(-9)/33. Is u > z?
True
Suppose 3*b + 11*v = 12*v - 14, 3*v + 8 = -b. Is -12 at most as big as b?
True
Let j(i) = -i - 13. Suppose 14 = 3*q - 13. Let b be (-24)/q + 1/(-3). Let y be j(b). Which is smaller: y or -11?
-11
Let x(f) = -17*f - 12. Let w(y) = 11*y + 8. Suppose l + 9 = 1. Let j(u) = l*w(u) - 5*x(u). Let q be j(-3). Which is bigger: q or 1?
q
Let y = 2.1 + -29.1. Let r = 