 h(g) = -g**2 + 26*g - 16. Let x be h(23). Are 211/4 and x non-equal?
True
Let a(j) = -j**3 + 17*j**2 + 16*j + 37. Let v be a(18). Let p = 15 - v. Is p less than 13?
False
Let b = -16 - -12. Let c = -96/7 - -199/14. Which is smaller: c or b?
b
Suppose -3*a + 1929 - 363 = 4*o, 0 = -2*o + 3*a + 792. Is o less than or equal to -1?
False
Let p be (7 + 4)/(2/(-8)). Let w = -45 - p. Is w smaller than 2/21?
True
Suppose 3*n - 49 = -2*u, -2 + 0 = -u + 3*n. Let l = u + -24. Suppose 8 = -2*s - 8. Which is smaller: s or l?
s
Suppose -2*u + 323 = 3*j, 14*u + 431 = 4*j + 17*u. Is 106 <= j?
True
Let j be (-1)/3 + 245/609. Let n = 324/935 - -10/187. Which is smaller: n or j?
j
Let u = -40 + 42. Let y = 0 - -23. Which is smaller: y or u?
u
Suppose -3 = -2*d - 2*g + 31, -10 = 5*g. Let z = 13.6 + -46.6. Let x = 32.9 + z. Which is smaller: d or x?
x
Suppose 43*q + 88 = -471. Which is greater: -104/9 or q?
-104/9
Let l = 2 - 3. Let a be 12/36 + 2/(4/(-751)). Let y = -376 - a. Which is greater: l or y?
y
Let l = 36.5 - 24. Let r = -11 + l. Let m = r - 0.5. Is -1 at least as big as m?
False
Let t = -11.9 - -66.9. Let i = -47.19 - -47.39. Is t != i?
True
Suppose 5*r = -3 - 7, 15 = 5*m + 5*r. Let i be 1/m + (-54)/(-30). Suppose -3*w - 2*b - 4 = 0, -3*b + i = -w - 4*b. Which is greater: 2/41 or w?
2/41
Let l = -11 + 8. Let f = 33 - 38. Is l > f?
True
Suppose l + 3*l - 5*j - 18 = 0, -2*l + j = -6. Let p be 2/10 + (-7878)/(-60). Let b = 134 - p. Is b at least as big as l?
True
Suppose 3*z + 49 = -2*b + 7*b, -z + 3*b = 23. Let r(y) = 4*y**2 + 30*y - 8. Let c be r(z). Which is smaller: 57/7 or c?
c
Suppose -n - 3*l = 10, -n + 6 = -3*n + l. Let h be (-1)/(n + 9) + 44/20. Which is greater: h or -34?
h
Suppose -5*v - 4236 - 1178 = -4*f, -v - 1066 = -5*f. Let g be (-2)/(-4) - v/(-12). Let l be g/(-4)*1/10. Is l equal to 3?
False
Let j = -2.059 - -1.959. Is j at most as big as -730?
False
Let a be 2/4 - 12/(-8). Suppose -22 = -5*g - a. Let n = -1 + 1. Is n greater than or equal to g?
False
Let u(d) = -3*d - 2. Let g be u(-2). Let s be -4*g/8*5. Is s greater than or equal to -11?
True
Suppose -6*p - 25 = -11*p. Suppose 8*x + p = 13*x. Is x <= -10?
False
Suppose 0*o + o - 3*p - 19 = 0, 4*o + 5*p = 127. Let f = o + -14. Suppose -b = -2*h + 8, 0 = 3*b - 7*h + 3*h + f. Which is smaller: b or 1?
1
Let p = -2203 - -2157. Is p != -48?
True
Suppose -2*y + 5*y + 63 = 0. Let z = -16 - y. Does 4 = z?
False
Let u = 1/18 - 115/1422. Which is smaller: u or -1?
-1
Suppose -k + 42 - 3 = 0. Let m = k + -40. Are m and 1/21 equal?
False
Let t = -6403682/171 + 37449. Let z be -2 + (-8)/(-38) + 1. Let a = t + z. Is 2/5 greater than a?
True
Let q = 10.3 + -11. Let x = q - -0.8. Let f = -380/21 - -53/3. Which is bigger: x or f?
x
Let z = 37.069 - 37. Which is smaller: 1/3 or z?
z
Let j = -0.37 - -17.37. Let k = j + -9. Let x = 10 - k. Is -12 smaller than x?
True
Let v = -47 + -31. Let y = v + 117. Is 39 > y?
False
Suppose -2*t + 4 = -2. Let b be (-9)/1 - 0/(-2). Let y = b + 14. Which is smaller: y or t?
t
Let g be 246/(-40) + (-1 - 84/(-60)). Is g != -10?
True
Let y = -127.2 + 127.3. Which is bigger: y or 238?
238
Let j = -168/13 + 43202/3341. Which is bigger: -1 or j?
j
Let h be (2/(-14))/((-22)/(-24)). Let x = h - -8/11. Suppose -3*z + 3*y - 9 = 0, 4*z + 4*y + 15 - 43 = 0. Which is bigger: x or z?
z
Suppose -45 - 60 = -21*y. Suppose y*n = -2*w + 18, 2*n = w + 11 - 2. Is n at least 3?
True
Let w = -11660.009 + 11652. Let u = w - -0.009. Is u less than or equal to -0.2?
True
Let p(f) = -4*f + 16. Let x = -45 + 49. Let m be p(x). Which is bigger: m or -0.1?
m
Let o = 318 + -320. Which is greater: 13 or o?
13
Let o = 42 + -29. Let t = -5 + o. Which is smaller: t or 10?
t
Let z = -161 + 165. Suppose -t + z = r, r - 2*r + 14 = 3*t. Which is smaller: r or -1/26?
r
Let z = -1417 + 1238. Which is bigger: z or -182?
z
Let g = -391 - -388. Which is smaller: g or -14?
-14
Suppose -n - 4*n + 48 = -2*i, -5*i = -n + 5. Let g be 1/((-198)/n) - 6/27. Is -1 less than or equal to g?
True
Suppose 7*o - 67 = 3. Suppose 5*a = 2*r + 33, -4*a + 3*a + 4*r = -3. Let h be (a/35)/(6/290). Are o and h non-equal?
True
Suppose 5*k + 0*o = -4*o + 6, 3*o = k + 14. Let h = 5 + -6.2. Let y = 0.2 + h. Do k and y have different values?
True
Let t be (-4)/14 - 12660/1260. Is -9 != t?
True
Suppose -15*m + 29 = 14*m. Is -0.0203 at least m?
False
Suppose -3*m = -6*m + 3*k - 6, 2*m - 8 = 5*k. Suppose 2 = c + 6. Let t be (1/((-7)/c))/m. Is t less than or equal to 1?
True
Let g be ((-4)/8)/(2/76). Suppose -2*q - 8 = 4*i, -5*q + 0*q - i + 7 = 0. Is g greater than q?
False
Let j = 85.952 + -86. Let a = -0.548 - j. Is a greater than or equal to -2/9?
False
Let n be ((-37)/2)/(2/(-4)). Suppose 4*f - 19 = -5*l + 40, -3*l - 2*f = -n. Suppose 5*t = 3*p + 52, -2*p - l = -4*t + 27. Are 11 and t equal?
True
Let f = 978 - 977. Let d(a) = -4*a**2 - a. Let l be d(1). Let h be (1/l)/((-4)/5). Which is smaller: h or f?
h
Let h = 0 - -63. Suppose -5*q - 2*q = -h. Is q not equal to 9?
False
Let r = 74 + -40. Suppose -3*y + 95 = 5*h, -70*h = 2*y - 65*h - 60. Which is bigger: y or r?
y
Let v = -73 - -69. Which is greater: -2 or v?
-2
Let f = -54.5 + 26.3. Let u = -28 - f. Which is smaller: -1.2 or u?
-1.2
Suppose -2*x + 3*x + 25 = 0. Let w = 23 + x. Let o = w - -2. Is o greater than or equal to -2/17?
True
Let x be ((-148)/(-6))/(10/15). Is x smaller than 35?
False
Let t = 10 + -16. Let g = t - -11. Suppose g*q - q - 8 = 0. Is q smaller than 2?
False
Let j(b) = 11*b + 309. Let z be j(-27). Which is bigger: z or 21?
21
Suppose -7*j + 12 = -3*n - 2*j, 0 = n + 3*j + 4. Suppose 0 = -3*q - 2*q - 60. Let p be (q/10)/(n/(-40)). Which is smaller: -1 or p?
p
Let n be (-2)/(-1*2/4). Suppose 5*s + 1 = n*s. Is s at least as big as 3/77?
False
Let q = 374 + -2614/7. Let g be ((-415)/(-15) - -1)*3. Let i be -1 + g/18 + -4. Which is greater: i or q?
q
Let p = -46.074 + 0.074. Let s = p + 46. Is s >= -1?
True
Suppose 30 = -6*w + w - 5*u, 4*w + 69 = 5*u. Let n = -2 - 3. Let g = w - n. Which is bigger: g or -5?
-5
Suppose 96 = m - 5*h, -5*m - 4*h + 452 = -h. Let w = m - 53. Let j = 26 - w. Are -13 and j unequal?
True
Let x = -186 + 187.57. Let f = -56.27 + 56. Let y = f + x. Is -0.2 < y?
True
Let g(i) = 4*i - 3. Let u(y) = -4*y + 4. Let b be (-26)/(-8) + 6/8. Let m(n) = b*u(n) + 5*g(n). Let p be m(-1). Which is smaller: -13/3 or p?
-13/3
Let i = -103 - -290. Are i and 188 equal?
False
Suppose -3*h = 2*h + 5, 2*c = h + 23. Is c not equal to 23?
True
Let b = -0.43 + 0.4. Let j = -728.97 - -736. Let w = b + j. Which is greater: -0.1 or w?
w
Let t be (-1)/(17 - 19)*8/(-94). Suppose -5*m + 15 = -2*m. Suppose 2*l - m = -3. Is t less than l?
True
Let w(g) = -4*g + 10. Let j be w(-2). Suppose -2 = 4*v + j, -v - 17 = 3*t. Is t greater than -5?
True
Suppose -n - 6 = -4*n. Suppose -n*q + 5*q = l + 18, -4*q + 35 = -5*l. Suppose 0*y + q*m + 20 = 5*y, -2*y - 10 = 4*m. Which is bigger: 1/16 or y?
y
Let j(o) = -o**2 + 5*o - 4. Let v be j(2). Suppose -v*u + 6 = -0*u. Let d be 209/110 - 2/5. Which is bigger: u or d?
u
Let b be (-1)/8 - 2/(-8). Let a = 1735 - 1735. Which is bigger: a or b?
b
Let v = -25 - -38. Let t = 5 + 2. Suppose -42 = -t*h + 4*h. Are v and h nonequal?
True
Suppose l + 2*l = -5*k - 22, l + 10 = -3*k. Let t = 5/56 - 19/8. Is k at most as big as t?
False
Let u(o) = o**2 - 20*o - 41. Let q be u(23). Let x = q - 64. Is -36 != x?
False
Let s be (4*8 - 1) + -1. Let a(d) = d**3 - 5*d**2 - 26*d + 46. Let b be a(8). Is s > b?
False
Suppose -4*q = 2*g - 10, 0 = -3*q + g + 1 - 6. Which is greater: q or -3/185?
q
Suppose 5*r - 4*f + 5440 = 0, -6*r - f = -r + 5440. Which is smaller: r or -1087?
r
Let m(x) = 7*x + 105. Let f be m(-3). Which is bigger: f or 75?
f
Let f(y) = -2*y**2 - 30*y + 3. Let h be f(-17). Is h <= 1?
True
Suppose -3*u - 2*n - 28 = 0, 4*u - 2*n + 14 = -0*n. Let x = u - -6. Let k be (2 - x)/(-1 + -1). Which is smaller: k or -5/3?
-5/3
Let w = -1180 + 774. Let c be w/(-8) - 4/(-16). Let d be (-45)/c - (-4)/(-34). Is -1 at least as big as d?
True
Let w(v) = 3*v**3 + 10*v**2 - 10*v - 3. Let b be w(-4). Which is bigger: 28/5 or b?
28/5
Let b = 1.1 + -6.1. Suppose -8 = g - 5*g. Suppose -2*s - 5 = -3*h + g*s, -4*h - s - 6 = 0. Is b greater than or equal to h?
False
Suppose 