**2 + 12*r + 3. Let j be t(-3). Is -51 not equal to j?
False
Let h(v) = -v**2 - 11*v + 10. Let g be h(-13). Is g smaller than -15?
True
Let c = 1 - -19. Is c at most as big as 20?
True
Let h be -1 + -2 - (-1 + -7). Suppose 0 = -4*l + 4*r + 4, 0 = -h*l + 4*r + 3. Which is greater: l or -7/5?
l
Suppose -3*j + 34 + 14 = 0. Let t be 4/j + 13/4. Which is bigger: 5 or t?
5
Let l = -9830 + 68648/7. Let i = -160/7 - l. Let c be (-24)/(-14) + (-4)/(-14). Is c bigger than i?
True
Let x(d) = -d**2 + 7*d - 1. Let q be x(7). Which is greater: -2/21 or q?
-2/21
Let c be (3/3)/(2/48). Let h = c + -19. Are 6 and h equal?
False
Let b = -0.01 + 0.23. Which is smaller: b or 1?
b
Suppose 2*s + 76 = -0*t + 3*t, 2*s - 44 = -2*t. Let o be 2/(-5) + t/10. Suppose -3*h - 7 = 2*u, -3*u + o*u + 3 = -5*h. Is h greater than or equal to -4?
True
Let f(i) = -i**2 - 4*i - 2. Suppose 0*t + 3*t = -12. Let a be f(t). Is a >= -1?
False
Let v(g) = -g**2 - g - 1. Suppose 0 = -0*a + 3*a + 3. Let j be v(a). Let q be 0 - 1 - (-26)/22. Which is smaller: q or j?
j
Suppose 6*l + 7 = 1. Do l and -8/17 have the same value?
False
Let j = 0.03 + -6.03. Let t = j + 6. Are -1 and t nonequal?
True
Suppose r + 3*o + 15 = -r, 0 = -4*r + 4*o. Let l be 10/55 + 24/(-11). Which is bigger: r or l?
l
Let w be (-2 + 8)*(-4)/(-6). Suppose 4*g - 4 = -w*v, g + 2*g - 5*v = -5. Let b(p) = 2*p**2 - 15*p - 7. Let m be b(8). Which is smaller: m or g?
g
Suppose -4*i + 5 = 21. Let d be (i - -2) + 1 + -4. Suppose -4*z = 1 + 19. Is d >= z?
True
Let w be 1*-3*8/(-6). Suppose 2*r + r = y - 5, -w*r - 5 = -y. Which is greater: 2/11 or r?
2/11
Let f = -20942 + 1444949/69. Let u = 1/23 + f. Suppose 3*b + 4 = 2*i, 6 = -4*b + i + i. Which is smaller: u or b?
b
Let b = -7138/5 - -1438. Let m = b - 58/5. Which is bigger: -1 or m?
-1
Let b = -10 + 15. Let x(v) = -v**2 + 7*v + 1. Let c be x(b). Suppose -c = 4*z - 3. Which is smaller: -1 or z?
z
Suppose -5*l - 4 = 2*p, -4*l = 5*p - 3 + 13. Let g = 95 + -95.43. Let k = 0.03 + g. Which is bigger: k or l?
l
Let z = -197 - -292. Which is greater: z or 96?
96
Let k = -11 + 10.91. Let p = 0.1 + k. Which is bigger: -2/7 or p?
p
Let m = 1.5 - 1.5. Do m and 0.13 have different values?
True
Let v be (-10)/(-42) + (-3)/(-9). Is -1 > v?
False
Let b = -1 - -1. Let p = -1907/7 - -273. Which is greater: b or p?
p
Let d be (3 + -1 + -24)*3/2. Which is bigger: -32 or d?
-32
Let q be ((-9)/2)/(9/(-24)). Suppose 0 = -3*h - h - 12. Let l be (-33)/36 - h/q. Do l and -1/4 have the same value?
False
Let n = 2 - 0. Suppose q = -d + 6*q - 4, -n*q = -d - 4. Which is smaller: -5 or d?
-5
Let f = 0.143 - 0.043. Which is smaller: -12 or f?
-12
Let j be 5 + 1/(3/(-6)). Suppose 0 = j*v + p + 7, 4*v + p + 4*p = -13. Is v at most as big as -2?
True
Let f = 1.13 + -0.13. Which is bigger: -10 or f?
f
Let t(b) = -2*b**2 - 8*b + 14. Let z be t(-5). Suppose 4*k - 21 = -3*i, 0*k - 24 = -5*k - 3*i. Is z equal to k?
False
Let g = -314 - -449. Let h be 8/20 + (-84)/g. Which is bigger: -1 or h?
h
Suppose -2*l - 3*l = -5. Let y be (-15)/10 + 2*l. Is -0.5 smaller than y?
True
Let c be (-27)/(-105) + (-3)/(-21). Suppose -2*l + 2 = -5*a - 0*l, -2*l - 14 = 3*a. Let j be 1 - (a + 4 + 0). Which is smaller: c or j?
j
Let i be 200/(-98) + 18/9. Which is greater: i or 0?
0
Suppose 2*q = 1 - 3. Is 3/17 < q?
False
Let h be (8/(-70))/((-2)/(-5)). Suppose -j = -1 - 0. Is j less than h?
False
Let o be (11/1)/(20/(-222)). Let m = -122 - o. Suppose u + 4 = 3. Which is greater: m or u?
m
Suppose 13 = 4*u - u + 4*k, -u + 4*k - 1 = 0. Suppose -3*l - 2*l - 3*c - 37 = 0, -3*l - u*c = 27. Let j be 4/(48/9)*-8. Is j greater than l?
False
Let v(z) = z**2 + 5*z - 7. Let p be v(-7). Suppose -2*d + p*d + 5 = 0. Let n be ((-1)/14)/((-2)/(-4)). Is d not equal to n?
True
Let c be (((-15)/(-12))/(-5))/((-27)/24). Suppose 4*n = -4*l + 32, 0*l + 6 = 3*l - 3*n. Suppose -3*s - s - 15 = l*g, -s - 6 = 2*g. Is s at most c?
True
Let r = 0 + -2. Let m be -1 - (-3)/r - -3. Which is smaller: m or -1/4?
-1/4
Let q = 1231.144 + -1225. Let w = -0.156 - q. Let s = -6 - w. Which is bigger: -1 or s?
s
Let b = -7 + 9. Let m be (b + -2)/(2/1). Which is greater: -1/11 or m?
m
Let p be 20/11 + 2/11. Suppose 5*c - 4 = -19, p*l - 2*c = 0. Which is smaller: -4 or l?
-4
Let k = -41/86 - 1/43. Which is bigger: k or -2?
k
Let a be 31/90 + 6/(-15). Let q = -63 + 63. Which is smaller: a or q?
a
Let l be -1*(-1)/(-4) + 0. Which is bigger: l or -11?
l
Let v = -0.2 + 0.5. Let p = -0.34 + v. Let x = -2.04 - p. Which is smaller: x or 1/4?
x
Let p(d) = 2*d + 10. Let c be p(-4). Is c smaller than 1/2?
False
Let g = 0 - -4. Which is smaller: g or -3?
-3
Let t(h) = h**2 - h. Let j be t(0). Suppose j = -0*g + 4*g. Let b = -0.9 - -1. Are b and g nonequal?
True
Suppose 2*w + 3*u = 7, -3*u + 10 = -u. Let b = 16 + -21. Which is smaller: b or w?
b
Suppose 0 = -5*w + 5. Let n be (-2)/(w + 15/(-9)). Suppose -u - n*u = 0. Which is greater: u or -1/5?
u
Let d be (6/(-27))/(6 + -4). Let f(r) = r**2 - 8*r + 7. Let a be f(7). Let x be -2*(1/(-2) + a). Is d at most x?
True
Let z(w) = w + 1. Let p be z(0). Let x be -1 + (-2)/(-3) + p. Let l = 36 - 36. Which is smaller: l or x?
l
Let m = 22 - 154. Which is smaller: -131 or m?
m
Suppose x = -4*x. Suppose -5*s + 3 + 12 = x. Suppose 2*a + 25 = 5*p, s*a + p - 10 = -p. Which is smaller: a or -1?
-1
Let t = -12 - -11. Let s be 0/((-1)/(2/4)). Suppose -2*f + s = 2. Is t greater than f?
False
Let c = 116/767 - 59893657/6136. Let t = 7574811/776 + c. Let j = -2/97 - t. Which is smaller: -1 or j?
-1
Let n be 5 - 21/9 - 0. Do n and 2/7 have different values?
True
Let v = -51.4 - -51. Let p be 4/3*9/(-6). Let n(f) = f**3 + 2*f**2 + f. Let a be n(p). Which is greater: a or v?
v
Suppose -7*y + 2*y = a - 14, -3*y = -3*a - 30. Let x be 0 + 27/(-5) + 50/125. Is x equal to a?
False
Let n be (1 - 12/8)*-2. Is n less than or equal to -1/5?
False
Let i be (-3)/(-102)*(5 + -1). Which is smaller: 1 or i?
i
Let d = -0.1 - -0.3. Let p = -168 - -169. Are p and d non-equal?
True
Let t = -4 + 3. Let o = 10 - 12. Is o at most t?
True
Let z = -276399 - -2767283/10. Suppose -1645 = -0*a - 5*a. Let x = a - z. Does -1 = x?
False
Let n be (18/(-10))/(14/70). Let s be 2 - ((-6)/n - -2). Suppose -2*h + 10 = 5*p, 2*h + 6 = 4*p - 2. Is h >= s?
True
Let t be 1/((0 - 1)/1). Suppose 11 + 1 = -4*v. Which is smaller: t or v?
v
Let a = -81197 + 6251603/77. Let j = -84/11 - a. Is -1 greater than j?
False
Suppose -n - 4*p = p - 13, 2*n + p - 8 = 0. Are n and 8/5 unequal?
True
Let k = -8 + 6. Let w be 3/(-2)*k/(-3). Is 4/9 equal to w?
False
Let m be (-39)/144 + (1/3 - 0). Which is smaller: 1 or m?
m
Let y = -6.9 + -1.1. Let t = -10 - y. Let w = 4 + t. Which is bigger: w or -2/3?
w
Let z = -6 - -10. Suppose -9 = 5*u + 5*s + 11, -u = z*s + 1. Which is smaller: u or -4?
u
Let a = 0.5 + -0.82. Which is greater: -2/5 or a?
a
Let o = -1595 + 6331/4. Are o and -11 non-equal?
True
Suppose -5*i = -c + 35, -4*c = -0*i - 2*i + 4. Let b be (4/i)/((-2)/20). Let o(w) = w**3 - 6*w**2 + 6*w - 4. Let y be o(b). Are y and 1/2 unequal?
True
Let m = -107 - -106. Let x be (-102)/(-610) - (-2)/(-10). Which is greater: m or x?
x
Suppose 4*l = 4, -3*u + 5*l - l + 20 = 0. Is 1/7 equal to u?
False
Let c be ((-5)/(-4))/((-3)/(-12)). Let w = 7 - c. Let s = 3 - w. Which is smaller: s or 2?
s
Suppose 0 = 4*g + w + 20, -g - 5*w = -2*g - 5. Let i(h) = -4*h + 9. Let p be i(3). Which is greater: g or p?
p
Let t(j) = j. Let u(l) = -l**3 + 3*l**2 - 5*l. Let m(v) = -3*t(v) - u(v). Let n be m(2). Suppose -4*h + n*h - 4 = 0. Is h greater than 0?
False
Let t(w) = -w**3 - 4*w**2 - 4*w - 2. Let x be t(-2). Let o be (x + 1 - -1)/2. Suppose 0 = 3*r - o*r. Which is smaller: 1 or r?
r
Let c = 316 - 961/3. Let b = c - -97/21. Suppose -2*v = 4*z - 9*z - 5, -4*v = 4*z + 4. Is v smaller than b?
True
Let j be (26/3)/(10/30). Is 26 at most j?
True
Let k(c) = 0 - c**3 + 0*c - 3 + c**2 + 0*c. Let b be k(0). Which is smaller: -2/7 or b?
b
Let i = -4661274/517 + 9016. Which is smaller: 0 or i?
i
Suppose d + 52 = -4*t, 0*d = -3*d - 4*t - 124. Which is smaller: -0.1 or d?
d
Let i(o) = o + 4. Let z be i(-7). Let k be 4/z - 3/(-9). Which is smaller: 0 or k?
k
Let q = -3 + 6. Suppose -4*u + 4*i = 0, u - 3*i = q*u + 15. Let p = 4 + u. Which is greater: 2/1