et u = 0.8 + 0.5. Let x = -1.2 + u. Do x and -2/19 have the same value?
False
Suppose -p = 2*p - 9. Suppose -2 = -2*z, 2*l - 2*z + 3 - 7 = 0. Is p at least l?
True
Let m = 8 + -4. Let x = -2 + m. Let p = x + -1.9. Which is bigger: p or -1?
p
Let q = 16 + -17. Which is greater: q or -4/13?
-4/13
Let h be (-1)/(-2)*(-12)/(-3). Let n = 3 - -2. Let z = -3 + n. Is h != z?
False
Let r be (-2244)/(-70) + 1/(-5). Let w = -32 + r. Is w not equal to -1?
True
Let k be 10/(-27)*18/15. Is k greater than or equal to 0?
False
Let q(j) = j**2 - 2*j - 3. Let s be q(3). Let a be ((-2)/4 - s)*-4. Suppose -13 = -5*h - 2*v, -2*v + 7 = 4*h - 3. Which is smaller: a or h?
a
Let h = 1 - 1. Suppose -2*n - 2 = 2. Let a = n + 1. Which is greater: a or h?
h
Let s = 0.3 + -0.1. Let b(j) = j**2 + 9*j + 5. Let y be b(-8). Let o be (-2)/y*(-3)/7. Which is smaller: o or s?
o
Let t(k) = -2*k**3 - 25*k**2 - 12*k + 1. Let h be t(-12). Is 2/93 < h?
True
Let y(j) = j**2 - 5*j - 4. Let u be y(6). Are u and 5/6 non-equal?
True
Let z(y) = 14*y. Let g be z(-1). Let s be (-4)/(-14) - (-32)/g. Is -1 less than s?
False
Let a be 1 + (1 - (-2)/(-1)). Which is smaller: -4/11 or a?
-4/11
Suppose 72 = -6*w + 2*w. Let k be w/(-4) + (-6)/(-12). Is -0.1 equal to k?
False
Let n be 4/(-2) - (25 - 3). Let w be 3 - (-116)/n - -2. Is 1 != w?
True
Let i be -2 - (-210)/(-18) - 4/(-6). Is i less than or equal to -13?
True
Let y be (-3 - -5)*2/6. Let j be 1 - ((-5)/(-2) - 2). Let m = y - j. Is m greater than or equal to 0?
True
Let k be (-1)/(-3) - 116/6. Let j be k/(-4) - (-3)/12. Let t = 2 - j. Which is greater: -4 or t?
t
Let b(a) = -a**3 + 3*a**2 + 7*a - 3. Let o be b(4). Are 7 and o non-equal?
True
Let y = -0.4 - -1.4. Is y at least -2?
True
Let j = -5 - -5. Suppose -4*z + 2*a = -2, -3*z + z + 2*a = -2. Is z less than j?
False
Let y = -309/2 + 167. Which is smaller: y or 13?
y
Let x be (46/42 - 2) + 1. Let k(m) = -m**2 - 12*m - 19. Let p be k(-10). Which is smaller: x or p?
x
Suppose -o = -27 - 88. Suppose 5*w - o = -k - 4*k, -2*w = -5*k + 94. Suppose -5*d + 5*f - 10 = -0*f, -d - k = 5*f. Which is smaller: d or -6?
-6
Let b = 9 - 6. Suppose -2*u - 4 = b*n, 0*n + n = -u - 2. Is n < 1?
True
Let f(h) = h**3 - 9*h**2 - 12*h - 1. Let z be f(10). Let u = z + 21. Are u and -1/16 non-equal?
True
Let z = -10 + 29. Are z and 0 non-equal?
True
Let m be ((-6)/15)/((-13)/(-5)). Which is greater: -1 or m?
m
Let z be ((-90)/(-40))/(3/8). Suppose -f + z*f = -15. Which is smaller: -1 or f?
f
Suppose 2*h + 747 = 3*t, -4*t + 4*h + 681 = -311. Let p = t + -4266/17. Which is smaller: 0 or p?
0
Let j = 15 - 14.9. Let v = -35 + 43. Which is smaller: v or j?
j
Let n = -1.2 - -1.4. Is 0.9 less than or equal to n?
False
Let z = 8 - 0. Let s be (10/8)/(4/(-16)). Let n = z + s. Is 2 >= n?
False
Let q be 14/16 + 8/64. Let a be (2/2*1)/q. Is a at least 1/34?
True
Let j = -305/1589 + 1/681. Let b(x) = x**3 + 5*x**2 + 3*x - 3. Let s be b(-4). Which is smaller: s or j?
j
Let j be (3/6 - 0)*0. Is j < -15?
False
Let t be (2/(-11))/(2 + -1). Suppose 0 = 5*h - 0*x - x, 4*x = 2*h - 18. Is h at most as big as t?
True
Suppose -5*u + 42 + 4 = -2*p, -4*u + 32 = -4*p. Let a be u/(-15) + (-16)/(-33). Which is smaller: 2 or a?
a
Suppose 0 = -11*h + 6*h - 50. Is -12 bigger than h?
False
Suppose 3*t - 11 = 5*j, 0*t = -t + 3*j + 5. Let y(v) = t - v + 3 - 2. Let u be y(4). Is -1 greater than u?
False
Let v be (6/4)/((-18)/(-3)). Is 4 not equal to v?
True
Suppose -4*h + 8 = -0. Let i(x) = x**2 - 9*x - 19. Let a be i(11). Which is smaller: h or a?
h
Let r be 2 + (-702)/10 + (-16)/(-80). Is -68 < r?
False
Suppose 0 = 4*n + 27 + 21. Let k be (n/(-9))/(3/(-108)). Let u be k/(-22) + (-2)/1. Which is smaller: u or 1?
u
Let i = -21.6 - -22. Which is bigger: 0.1 or i?
i
Let r = 5 + -15. Suppose p - 2*s = -6 + 3, 4*p = -4*s. Let w be (p/r)/(12/30). Which is bigger: 1 or w?
1
Let d(r) = -r**3 - 6*r**2 - 7*r - 1. Let g be d(-5). Suppose 3 = h + g. Is h at most -8?
False
Let v be 3/(-9)*(-32 - 7). Which is smaller: v or 12?
12
Let k = -131/80 - -7/16. Let u = -3 - -2. Is u greater than or equal to k?
True
Suppose -5*a = -0*a + 5. Suppose 2*g = -3*g - 25. Is a equal to g?
False
Let x = 1/3185 - 105109/12740. Is x greater than or equal to -9?
True
Let i = 160 - 117. Is 45 at least i?
True
Suppose -5*j + 106 + 10 = -k, -3*k + 12 = 0. Let f be j/(-2)*(-5)/15. Suppose -r = -f*r. Is -1 not equal to r?
True
Let c = 19/68 - 1/34. Suppose -3*q = -5 + 38. Let t = 10 + q. Is c < t?
False
Suppose -a - 4 = 2*s, a - 6 = 5*s + 18. Which is bigger: s or -3?
-3
Let m be (1/(-92))/((-8)/280). Let r = 689 + -15844/23. Let f = r - m. Which is smaller: 1 or f?
f
Let q = 0.2 + -1.2. Let h = -11.9 + 12. Which is greater: q or h?
h
Let f = -2.01 - -0.01. Let v be 4/(-24)*(3 - -1). Which is smaller: v or f?
f
Let g be (-35)/(-15) - 1/3. Are g and 1 non-equal?
True
Let t = -12 + 36. Which is greater: t or 26?
26
Let y = 7 + -5. Let z(n) = 8*n + 2. Let m be z(y). Let u be (-4)/18 - (-4)/m. Which is smaller: 2/3 or u?
u
Suppose 0 = 2*b - 0*b + v - 4, -2*v + 4 = 3*b. Suppose -5*c - 2*w + 27 = 71, b = -2*w. Which is smaller: -6 or c?
c
Let f = -0.483 + 0.043. Which is smaller: f or 1?
f
Let l = 42.16 + -49.1. Let p = 7 + l. Let a = 1.94 + p. Is a smaller than 0?
False
Let v(l) = -l**2 - l + 45. Let m be v(0). Let s be (-27)/m - 3/(-5). Is -3/19 >= s?
False
Let i(f) = 2*f**2 + 6*f - 7. Let m be i(-4). Which is bigger: 2 or m?
2
Suppose -4*i + 7 = 3*f, -f + i + 5 = 5*i. Let l be -5 + -2 + f*3. Suppose 11 = -m + 4*p, -5*m + 2*p = -3*p + 25. Which is smaller: m or l?
l
Let b be (-352)/36 + 4/(-18). Let g = b + 12. Is g < 3?
True
Suppose -3*b + 5 = -t, -2*b = -3*t - 3*b + 5. Is 2/93 < t?
True
Suppose x + 3 = 2*n - 9, 0 = 5*n - x - 24. Does n = 0?
False
Let d = 9 - 7.4. Let m = 1.3 - d. Is -2/9 greater than or equal to m?
True
Suppose 0 = 3*p - 4*p + 5. Suppose -3*v - 9 = 0, 0*g - 2*v - p = g. Which is smaller: 2/3 or g?
2/3
Let i be (-12)/(-8)*4/3. Let u be (-21)/i*(-48)/(-196). Are u and -2 unequal?
True
Let p = 4 - 5. Which is smaller: p or -21?
-21
Let o = -35 + 60. Is o at least -1?
True
Let w = -5 - -10. Suppose -w*k + 8 = n, 4*n - 5*k + 14 = 2*n. Is -4 at most n?
True
Let n(z) = -1 + 4*z**2 - 11*z + 7 - 3*z**2. Let o be n(11). Which is bigger: 3 or o?
o
Let z be 6 - 5 - (2 + 0). Let h = 3495/23 + -152. Which is greater: z or h?
h
Let y(r) = r**3 - 5*r**2 - 2*r + 1. Let m be y(5). Let t be ((-6)/m)/(3*-1). Which is greater: t or -2?
t
Suppose -2*q + 9 = o - 44, 5*q = -5*o + 135. Is q greater than 26?
False
Let m = -927 + 2830/3. Let l = 17 - m. Is l smaller than 2?
True
Let f(b) = -4*b + 4. Let k be f(2). Is -4 less than or equal to k?
True
Suppose 0 = 5*t + 3 + 2. Let c be -57*t*3/36. Which is greater: 5 or c?
5
Let f = 761/190 - 39/10. Is 1 greater than f?
True
Let d = 1 - 1. Let x be 1 - (-1 - (-3 + d)). Which is smaller: x or 1/4?
x
Let u = -46 - -76. Suppose -6*m + u = -0*m. Which is bigger: 4 or m?
m
Let b = 8 + -1. Suppose 3*m - 8 = b. Is 4 less than m?
True
Let s be (-1*1)/(1/(-3)). Let d be 3 - 0*s/(-9). Which is bigger: 2 or d?
d
Suppose 4*r = -5 + 1. Let q be (3 - 2) + -1 + 1. Let h = q + -2. Is h <= r?
True
Suppose 15 = 5*d - 2*d. Suppose -d*x + 1 = -4*x. Let f = 4.07 + -0.07. Is f equal to x?
False
Let x = 16 + -351/22. Which is smaller: 2/3 or x?
x
Let k(r) = -r**3 + 5*r**2 + 6*r. Let d be k(6). Suppose 4*j + 5 + 3 = d. Suppose -f + 5*f = -4. Which is bigger: f or j?
f
Suppose 3*u + 0*u + 3 = 0. Let w be 2 - 6 - (u - 1). Let a = 1 + w. Is 0.2 < a?
False
Suppose -2*v - 10 = -u, -u - 2 = 5*v - 3*v. Which is smaller: v or 1/2?
v
Let x(d) = 8*d**2 + 9*d - 6. Let o(t) = -17*t**2 - 19*t + 13. Let s(q) = -6*o(q) - 13*x(q). Let g be s(-2). Which is smaller: g or -3?
-3
Suppose 3*v - 5 = 2*v. Let r be 9/(-36) + v/4. Let n be (-1)/(-2) + 0/(-1). Is n less than or equal to r?
True
Suppose -d + 2*u = -47, 77 = 10*d - 9*d + 4*u. Is 57 at least d?
True
Let k = 2 - 1. Suppose 34 = 3*y + 4. Suppose 5*a = -2*s + y, -s + 2*a - 4 = -0*a. Which is smaller: s or k?
s
Let q = -6422 - -19072/3. Suppose 0 = -4*h + 12, a - 2*h + 6*h - 76 = 0. Let f = a + q. Is f at least 0.1?
False
Let o = -7331/2 - -13749/4. Let w = o - -227. Which is smaller: 0 or w?
w
Suppose 0 = -k - k - 12. Let q = k + 4. Wh