-1 or d?
-1
Let c be ((-513)/(-38))/(2/4). Are -9 and c equal?
False
Suppose -336*z + 340*z - 4 = 0. Suppose t = 2*t - 3. Which is smaller: t or z?
z
Let c = -4.51 - -3.51. Which is smaller: c or 0.04?
c
Let k(u) = -2*u + 7. Let m be k(4). Let s be m + 5/(-30) + 1. Which is greater: s or 0?
0
Let m be ((-9240)/(-1141))/(-4) - (-2)/1. Which is smaller: m or 0?
m
Let c = 444 + -443. Do c and 115/6 have the same value?
False
Let o be 49/4 - (-9 + 297/36). Which is smaller: 162/13 or o?
162/13
Let f(x) = x**2 + 5*x + 6. Suppose v - 10 = 5*m, m + 2*v - 5 = 6*m. Let g be f(m). Is g equal to -2/39?
False
Suppose -7*r - 336 = -r. Let f be ((-294)/r)/((-9)/2). Suppose -5*u = 5 + 5. Is f greater than u?
True
Let x = -96/41 - -5334/2173. Which is greater: x or -1?
x
Let o be 13/2 + 2 - 1. Let s = o - -1/10. Which is bigger: s or 9?
9
Let a(f) = f**2 + 6*f - 12. Let i be a(11). Is -1 <= i?
True
Let v be (14/14)/((-218)/8). Let f = -488/1417 - v. Which is smaller: f or -1?
-1
Suppose 3*a = a - 30. Let t = -55 + 54. Is t >= a?
True
Let m(v) = -91*v**2 - 3*v. Let t be m(-1). Let s be (-1)/(-4) - 34/t*-19. Which is smaller: s or -7?
s
Let u = 88 + -87.53. Let z = -0.493 + u. Which is bigger: z or 1?
1
Let m = 0.9186 + -0.0186. Is -3/7 <= m?
True
Let s = -4 - -1. Let j be (12/28)/(46/(-14) - s). Is -1 bigger than j?
True
Suppose 3*n + 41 = -2*r, 5*r + 35 = 3*r - 5*n. Let z = r + 28. Is z > 0?
True
Let a(z) = -12*z. Let m be a(-1). Suppose 0 = 5*c + 2 - m. Is 4 < c?
False
Let p(h) = h - 1. Let b(o) = -5*o + 14. Let u(i) = b(i) + 6*p(i). Let a be u(-8). Let c be (0/(-1))/(a - -3). Is 0 less than c?
False
Let h(a) = -3*a + 3. Let n(u) = 4*u - 5. Let i(m) = 7*h(m) + 5*n(m). Let o be i(-9). Suppose o*t - 2*p = -0*t + 19, -4*t + 2*p + 16 = 0. Are t and 5 non-equal?
True
Let x be (-5)/(15/(-6))*2. Suppose b = -3*s + 2, 2*s + 0 = x*b + 6. Is s != 3?
True
Let c be (235/(-50) - -5) + 542/(-1540). Which is smaller: -0.07 or c?
-0.07
Let x = 347 + -347. Let a = 3.6 - -0.4. Let t = a - 12. Which is smaller: t or x?
t
Let n be -1 - -3 - 21/12. Let i = -5.9 - 0.1. Let f = i - -7. Is n > f?
False
Suppose -5*a + 1 + 9 = 0. Let u = 3.5 + -0.3. Let b = u - 0.2. Which is bigger: b or a?
b
Suppose 5*v - 2*v - 54 = 0. Suppose 4*c + 0 - 12 = 0. Suppose 5*h - 2*u = v, -5*h = -c*u - 0*u - 22. Is h bigger than 3?
False
Let a = 0.26 - -0.04. Let n = -0.22 + a. Let t = 0.12 + n. Which is smaller: 0 or t?
0
Let j be (-5)/(-14)*(-8)/440. Which is smaller: j or -1?
-1
Suppose 0 = l + 3, 0 = -2*k + 3*l - 8 + 55. Suppose 0 = -5*c + 4*w - 15, 10 + k = 4*c + 5*w. Suppose 0 = -h - c - 0. Is h > 0?
False
Let z = 8 - 5. Suppose -3*l = -z*p - l + 5, -4 = -3*p + l. Is p less than -7?
False
Let r = 486 + -318. Which is smaller: 170 or r?
r
Let j = -3.026 + 0.026. Is j greater than 0.33?
False
Let t be -3*-3*(-8)/(-12). Suppose i + 3*b - 21 = t*b, 3*i = 5*b + 59. Suppose -3*p + 68 = p. Is i < p?
False
Let a(o) be the first derivative of -o**2/2 - 7*o + 62. Suppose 4*w = 4*r + 24, 2 = -2*r + 4*w - 0. Let d be a(r). Are 3 and d unequal?
True
Let g = 2 + 5. Let l = 8 - g. Suppose -4*c - l + 4 = s, -2*c = -3*s + 9. Is c <= 1/3?
True
Let c(j) = j**3 + 3*j**2 - 8*j - 12. Let f be c(-4). Suppose -35 = 5*d - 4*g, -6*g = 5*d - g - 10. Let n be f/(-3) - 1/d. Are 3/11 and n non-equal?
True
Let d = 0.35 + -0.5. Let o = d - 0.15. Which is smaller: -0.1 or o?
o
Let r = 1.0478 + -0.0478. Which is smaller: 600 or r?
r
Let w(b) = 3*b - 4. Let s be w(2). Suppose 0 = -h - 3, 4*z - h - 33 = s*h. Is 8 greater than or equal to z?
True
Let t = -140 - -189. Which is smaller: t or 48?
48
Let f = 7.5 + -7. Let x = 1889 - 1888. Are f and x equal?
False
Let s be 9*(-8)/8 + 8. Which is greater: -1/81 or s?
-1/81
Let g = -15 + 13. Let t be (-2)/48*g*(-12)/8. Let v(a) = 2*a + 1. Let f be v(-1). Is t < f?
False
Let j = -10892/99 - -110. Is -2 less than j?
True
Let r(o) = -o**3 - 4*o**2 + 2*o + 4. Let x be r(-4). Let i be (x/2 - -8) + 3. Let w = 17 - i. Is w not equal to 8?
False
Let z = 18 - 18. Suppose z = -3*h + 16 - 7. Suppose h*s = -2*s - 5. Is s at most as big as -1?
True
Suppose 103 + 7 = 5*j. Let p be (10/(-3) - -3)*9/j. Does p = -1?
False
Let i(k) = k**3 - 41. Suppose 5*w = 4*p + 15, -2*p + 15 = p + 5*w. Let m be i(p). Let z = 22 + m. Is -19 at least as big as z?
True
Let a = 43 - 43. Suppose a = -18*x + 21*x - 159. Does x = 53?
True
Suppose -2*p + s = -3, p + 3*s = -s + 15. Suppose -5*l - 3 = 3*t, 5*t - 2*l = -p - 2. Let f be (8/42)/((-6)/9). Which is smaller: t or f?
t
Let v = 68 - 68. Let f be (882/105)/(v - (-6)/20). Which is bigger: -0.1 or f?
f
Let c = 1.3 + -0.3. Let w = 25 + -41. Let m = 19 + w. Which is bigger: c or m?
m
Let a be 101/8 - 318/(-848). Let n be 4/6*6/10. Is a at least n?
True
Let t be 2/4 + 9/6. Suppose g = -2*y - 0*y + 6, 2*y = t. Suppose 3*r + 8 = -h, -4*h - g*r = -8*r. Which is smaller: 3 or h?
h
Suppose 140 + 67 = 9*x. Let b(n) = 12*n. Let i be b(2). Is x >= i?
False
Let w be (-407)/1 - (-17 + 7). Is -397 > w?
False
Let k = 8/81353 - -206311088/1220295. Let b = -169 + k. Let h(x) = x**2 + 3*x - 5. Let v be h(-4). Which is greater: b or v?
b
Let i = -1187 - -3611/3. Do 18 and i have different values?
True
Suppose -72*s - 23954 = 7006. Is -430 not equal to s?
False
Let z be 90/50 - (42/15 + -3). Are z and 14/15 unequal?
True
Let w = 0.59 + 3.11. Let q = -3.61 + w. Is 0.2 smaller than q?
False
Let r be (3/18)/((-2)/4). Let c(g) = -5*g + 3*g + g + 3*g - 17. Let l be c(8). Which is greater: r or l?
r
Let d(m) = -m - 7. Let c be 16/(-5) + (-2)/(-10). Let z be d(c). Suppose a + 3*a = 3*f - 9, -11 = 4*a - f. Is a < z?
False
Suppose -3*p - 10 = -13*p. Is p less than 1/268?
False
Let d(x) = x**2 + 6*x + 5. Let p be d(-5). Let q = 2860 + -48634/17. Is q > p?
False
Let a = 0.5 + -0.8. Suppose 0 = 4*o + 8 + 4. Let f be o/(3 + 0)*1. Is a >= f?
True
Suppose 10*p = 11*p + r + 108, 524 = -5*p + 3*r. Which is bigger: p or -102?
-102
Let l = -7.03 + -1.07. Let h = -8.2 - l. Let i = -7 - -10. Which is smaller: h or i?
h
Let z be (6/15)/((-11)/(-165)). Which is bigger: z or 0.049?
z
Suppose 5*k - 86 = -3*v, -v - 5*k = -33 + 1. Let c = -28 + v. Let p be c/(276/68 - 4). Which is smaller: p or -18?
-18
Let n be (1 - 4)*1/(-6). Let g be (0 - 12)/(-17 - 605/(-22)). Is n less than or equal to g?
False
Suppose -r = 3 - 4. Let c be (-1)/2*(156 + -18). Let v be -2 + 10/4 - c/(-130). Which is bigger: v or r?
r
Let c(o) = -2*o**2 + 9*o - 1. Let s be c(6). Let w = s - 24. Is -42 >= w?
True
Suppose 13 - 3 = -5*k. Let l be -4*(19/9 + k). Let n = -3 - -4. Is n greater than l?
True
Let h = -3121/13 - -240. Is 1/5 equal to h?
False
Let q = -1768/7 + 252. Let z be (1 + -1)/(5 + -3). Is q less than or equal to z?
True
Let f(z) = z**2 - 54*z + 1. Let y be f(51). Is -151 at least as big as y?
True
Let r = -5975 - -758821/127. Let c = -1306/1143 - r. Are -2 and c equal?
False
Suppose -6*b + 0*b = -12. Let p(l) = 3*l - 8. Let w(k) = -7*k + 16. Let t(d) = b*w(d) + 5*p(d). Let u be t(8). Is 2 not equal to u?
True
Let u(y) = -22*y**2 + 3*y - 4. Let z(v) = -21*v**2 + 2*v - 3. Let g(l) = -2*u(l) + 3*z(l). Let d be g(-1). Let j be ((-2)/(-26))/(5/d). Is j at least -0.1?
False
Suppose 0 = -p + 58*p + 171. Which is bigger: -38 or p?
p
Let n be (-13885)/(-15) + (-64)/24. Is 1 equal to n?
False
Let p = 3.2 + -3. Let h = -1228 - -1227.7. Which is bigger: p or h?
p
Let j = 217103 - 3043353/14. Let x = j + 561/2. Is 1 at most x?
True
Let x be (-3 + 5 + -2)/(21 + -18). Suppose -d - d = 744. Let i = d - -4089/11. Which is smaller: i or x?
i
Let p be 6/(-2) - (19 - 9). Let d = -11 - p. Let k be (2/(-6))/((-3)/18). Is k at most d?
True
Let w(k) = -k**3 + 10*k**2 + k - 13. Let f be w(10). Let c = -909/11 + 82. Let b = c + -41/22. Which is greater: b or f?
b
Let d(l) = 86*l + 1202. Let h be d(-14). Which is smaller: -1 or h?
h
Suppose -5*j = 4*x - 271, -4*x = j - 247 - 12. Let v be 3/5 + x/10. Let d be (10 - v) + 16/(-6). Which is smaller: 1 or d?
d
Let y be (-8)/(-402)*6/4. Suppose -5*p = -12*p - 7. Is p != y?
True
Let o = -587 - -589. Are o and 4/7 non-equal?
True
Let x(l) = l**2 - 23*l + 62. Let p be x(20). Suppose p*r - 5*r = -4*f - 9, 0 = -5*r + 15. Is 3/16 at most as big as f?
False
Let h = 1.2 + -0.2. Let m(f) be the third derivative of -f**5/60 - 