+ 2*o + 19 = a*k, -5*k + 4*o = -23. Is k greater than 4?
False
Let q(n) = 2*n - 7. Let m be q(5). Let z be (15/6)/((-1)/(-2)). Suppose g = -4*p + 10, z*g - 2*p + 6*p = 18. Is g > m?
False
Let r be ((-4)/5)/(6/(-15)). Suppose 17 - r = 5*q. Suppose -q*x = -3 + 6. Is x bigger than -2/3?
False
Let b(r) = -r**2 - 12*r + 3. Let s = 10 - 23. Let a be b(s). Is -10 bigger than a?
False
Suppose 0 = -3*p + 5*d + 1, 4 = 3*p + 2*d - 4*d. Let q(i) = -i**3 + 1 - 2*i**2 - 3*i + 2*i**p + 3*i**2. Let j be q(2). Is j not equal to 0?
True
Suppose 5 = -2*u + 11. Is u smaller than -0.1?
False
Let d = -0.9 + -0.1. Is -0.23 greater than d?
True
Suppose -3*m - 11 = -2*m. Suppose 6*h = 5*h - 11. Is m > h?
False
Let s be (-24)/(-16)*(-4)/3. Is s not equal to 0?
True
Let u(y) = -5*y + 1. Let f(w) = -9*w + 1. Suppose -7*z - 30 = -2*z. Let a(r) = z*f(r) + 11*u(r). Let b be a(5). Which is greater: -1/2 or b?
b
Let w(d) = d**2 + d + 2. Let z be w(0). Suppose -z = 3*g - 11. Let k be (-18 + g)*3/(-9). Which is greater: 4 or k?
k
Let z(b) = -b**3 + b**2. Let j be z(-1). Let m = -13 + 14. Is m greater than j?
False
Suppose 0 = -2*w - 4*o - 16, 5*o - 1 = 2*w - 3. Let j be (2/w)/((-14)/16). Let s be (3 - (-28)/(-8))*0. Is s at least as big as j?
False
Let c = 0.1 + -1.6. Let f = c - -0.5. Which is smaller: f or 3?
f
Suppose 3*v + 5 = -5*r, -3*v - 18 = r + v. Let j be (1/r)/(-5 + 6). Suppose -i + 4 = 2*w, 0 = 2*i + 3*w - 6 - 1. Which is smaller: i or j?
j
Let x be 4/(-22) + 910/(-77). Let j = x + 6. Let i be (-9)/21*j/(-9). Is -1 at least as big as i?
False
Let z = 27 + -27. Is -0.1 at most z?
True
Let c(l) = -6*l + 6. Let o be c(-4). Which is smaller: o or 31?
o
Let s = -0.1 + 0.6. Let q = 0.5 - s. Let t = -5/6 + 3/2. Is q smaller than t?
True
Let y = 1 + -6. Let u = 4.7 + y. Which is bigger: u or -4?
u
Let d(u) = -4*u**3 - 5*u**2 + 5*u + 5. Let k(r) = -r**3 - r**2 + r + 1. Let h(j) = d(j) - 5*k(j). Let m be h(0). Is -1 < m?
True
Let x be ((-50)/(-12) + -4)/(3/(-4)). Let t = -9.02 + 0.02. Is x < t?
False
Let d = 0 + -0.3. Let z = 0.4 + d. Let u = z - -0.3. Is -0.1 < u?
True
Suppose 12 = 4*i - i. Let j = -6 + i. Is j greater than -5/2?
True
Let q(p) = -p + 3. Let b be q(0). Let k be (-11)/(-4) - (-2)/8. Suppose 4*h - 5*h + 4 = k*n, b*h - 3*n = 0. Do 3/5 and h have the same value?
False
Suppose 0 = -j - 1 + 2. Let v be 1 + (j - -1) + -3. Suppose v*h + 1 = -h. Is h at most as big as -2?
False
Let t be (3/39)/((-1)/(-122)). Let o = 116/13 - t. Let w = o + 25/26. Is 1 greater than or equal to w?
True
Let f(d) = d + 8. Let c be f(7). Does c = 15?
True
Let a(v) = -2*v**3 + 4*v**2 - 3*v + 1. Let i be a(2). Suppose 8 = -0*h + 4*h. Let r(u) = -3*u**2 + 2*u + 2. Let c be r(h). Which is greater: i or c?
i
Let t = 3 + -0.9. Let k = 0 + -2. Let l = t + k. Is l > -2?
True
Let r = 255 + -175. Let a be (-6)/(-4) - (-28)/(-8). Let v be (-92)/r - a/5. Does v = 0?
False
Let p be ((-6)/(-225))/(-1 + 0). Which is greater: p or 0?
0
Let k be 23/(-5) + 6/(-15). Let w = -13 + 13. Suppose w = 11*p - 9*p + 8. Is k at least p?
False
Let h be (-1952)/24*2/304. Let u = 122 - 6952/57. Let z = h + u. Do z and 0 have different values?
True
Let b(s) = s**2 + 8*s - 12. Let f be b(-9). Let v be (-3 - 2 - f)*-1. Is v at most as big as 0?
False
Suppose 8 = 4*x, 0*c - 14 = c - x. Which is greater: -11 or c?
-11
Let d be (-1 - 0) + (-1928)/14. Let x = -433 - -294. Let n = x - d. Is -1 at most n?
True
Suppose -2*i + 0*i = 4. Let o be (-3)/i - 17/(-2). Is o greater than 10?
False
Let l = -18 - -12. Let r be ((-8)/24)/((-2)/l). Is 1 equal to r?
False
Let q = -64 - -7. Let a be 6/q*1*-1. Is a equal to 0?
False
Suppose 2*c - c = 6. Let b = 4 - c. Is b smaller than -2?
False
Let g = -3 + 2. Suppose 0*j = -2*j + 84. Let q be -3*4/j - 0. Which is greater: q or g?
q
Let o be -2 + 5/3 + 1. Is o bigger than 1?
False
Suppose n = -n + 8. Let z(x) = 2*x**3 - 5*x**2 + 4 - x**3 + 0*x**2 + 4*x. Let p be z(n). Which is smaller: 5 or p?
p
Let s be (3/6)/((-2)/(-8)). Let u be 5 - (3 + 3)/s. Which is smaller: u or 1?
1
Let g = 42 - 30. Which is bigger: 0.1 or g?
g
Let r(l) = -l**3 + 10*l**2 - 11*l + 20. Let g be r(9). Is g smaller than 0.2?
False
Let d = -10.6 + 11. Are -3 and d unequal?
True
Let k be 1*-3 + 24/(-8). Which is smaller: k or -1?
k
Let g(m) = -m**3 + 7*m**2 - 6*m + 6. Let l be g(6). Let a be 8/l - 2/3. Let h = 0.16 - -0.04. Is h at most a?
True
Let d be (-4 + 1)/(9/(-6)). Is 3 >= d?
True
Let w = 346/123 - 6/41. Is 3 < w?
False
Let p = -547 - -547. Let o = 5 - 3. Let c = -5 + o. Which is smaller: p or c?
c
Suppose -264 = -3*q - 3*n, -q = 2*q - 5*n - 272. Is 90 not equal to q?
True
Let d = -0.28 + 0.45. Let f = d + -0.07. Which is greater: 2 or f?
2
Suppose -123 = -37*w + 40*w. Is -41 > w?
False
Let k be 3*(-3)/(9/(-8)). Let q be ((-15)/(-10))/(6/k). Is q smaller than 2?
False
Suppose -5*z + 4*z - 3 = 0. Let s = z - -5. Suppose y - s = -y. Is y greater than 0?
True
Let h(g) = -5*g - 1. Let l(s) = -6*s - 2. Let k(q) = -4*h(q) + 3*l(q). Let c be k(2). Suppose 3*z + c*z = 0. Is z at most 1/3?
True
Let u(f) = -f**3 + 4*f**2 - 5*f + 2. Let m be u(3). Let r be (2/(-3))/((-2)/(-15)). Which is smaller: m or r?
r
Let b be (-2 - -2)/(-1*1). Let s be 4*2/16 - 1/(-14). Is s <= b?
False
Let s(k) = -k - 2. Let r be s(-3). Which is bigger: r or -1/27?
r
Let p(d) = 2*d - 6. Let y be p(5). Suppose -k - y*k = 0. Let v be k - 0*(-2)/(-2). Which is greater: 2/9 or v?
2/9
Suppose -3*m = i - m, 4*i + 5*m = 0. Let d = 30627 + -643051/21. Let g = d - 34/7. Which is bigger: i or g?
g
Let w be -5 - -4 - (2 - (-6)/(-2)). Let a be (-9)/35 + (-4)/(-10). Is a less than w?
False
Let t = 33 + -39. Is t at most as big as 5?
True
Let p = -24 + 34. Is p less than -0.8?
False
Suppose -3*m = 2*m + 5*q - 115, 5*m = 5*q + 145. Let n be 12/(-18) + m/(-6). Suppose x = 2*x + 5. Are x and n equal?
True
Let a(u) = u**3 - 5*u**2 + 3*u + 5. Let g be a(4). Let m be 1 + -1*2 + -118. Let w be 48/m + 4/14. Is w equal to g?
False
Let v be 13/18 - 30/135. Let r(m) = -m - 3. Let z be r(-4). Which is smaller: v or z?
v
Suppose 0 = -2*k + 2*c - 268, -4*c = 4*k - 5*c + 527. Let o = -919/7 - k. Which is bigger: 1 or o?
1
Let j be (9/2)/(4/8). Let z(s) = -s**2 + 10*s - 8. Let t be z(j). Is t at most 0.9?
False
Let u(g) = -21*g**2 + 3*g + 7. Let f be u(-2). Which is smaller: f or -82?
f
Let r be -1 + 26*1/(-6). Which is smaller: r or -4?
r
Let r = 4 - 3. Let j(l) = 3*l**2 - l. Let c be j(1). Which is bigger: c or r?
c
Suppose 2*v - 4 = -2*f - 0, 5*v = 4*f - 8. Suppose 0 = -4*h + 3*h - 1, -4*c = f*h - 6. Does 1 = c?
False
Let h be 1*(2 + 0) + 3. Let v(t) = t**3 - 4*t**2 - 6*t. Let y be v(h). Is y != -2?
True
Suppose -4*c + 8 + 8 = 0. Suppose -b + 8 = p, -c*b + 0*p + 32 = -p. Suppose -5*u - 7 = b. Does -2 = u?
False
Let g(a) = a**2 - 3*a + 3. Let t be g(2). Suppose 0*f = f. Let j = f + t. Are j and 1 nonequal?
False
Let j = -93 - -92.37. Let p = -7.33 - j. Let w = 7 + p. Is -0.1 less than w?
True
Let k be 69/10*4 + (-26)/(-65). Which is smaller: 29 or k?
k
Let v(f) = -f**2 + 5*f - 5. Let u be v(4). Let y = 72 - 71. Which is smaller: u or y?
u
Let h = 6 - 5. Which is smaller: -5 or h?
-5
Let y(p) = p**2 - 11*p - 12. Let z be y(14). Which is smaller: 0.1 or z?
0.1
Let k be 1 + (-1)/4 + 390/24. Is 15 greater than k?
False
Suppose 3*k + 27 = -4*d, 4*d - 9 = 3. Let w = -12 - k. Is w at most -1?
False
Let l(x) = -2*x - 3. Let v be l(-4). Suppose 18 = v*z - 7. Let t be 6 - z - (0 - -1). Are t and 1/2 unequal?
True
Let w be 0/(3 - (1 - -1)). Suppose -q = -w*q + 1. Let z be q + 0 + 1 + -2. Is z != -3?
True
Suppose -j = 2*j. Let l be ((-3)/3)/(j + -3). Which is bigger: l or -4/7?
l
Let r(f) = -5*f + 5. Let c be r(2). Which is bigger: c or 0?
0
Let i be 40/(-8)*2/5. Let t be 1 - i/14*-9. Let g = 2/25 + 17/100. Which is greater: t or g?
g
Let j(w) = w. Let f be j(-7). Let x(m) = -m - 8. Let s be x(f). Let n be (3/(-5))/(2/10). Is s bigger than n?
True
Let y = 0.2 - 1.2. Do y and 0.1 have the same value?
False
Let j = -54 + 217/4. Let x = -1/27 - -13/108. Which is bigger: x or j?
j
Let i = -125 + 116. Which is greater: i or 0.2?
0.2
Suppose 55 = -5*h - 2*c, 3*c - 55 = 3*h + 2*h. Is -11 at most as big as h?
True
Let t = -117 + 116. Which is smaller: t or -0.49?
t
Suppose 0 = -2*h, 2*h + 6 = -4*f +