qual?
False
Let y = 0.31 - 0.41. Which is greater: y or -6/13?
y
Let h be (11/264)/(3/4). Which is smaller: h or 0?
0
Let j(z) = z**3 + 5*z**2 + 4*z + 1. Suppose -3*c = -5*c - 8. Let r be j(c). Let x = r - 1. Which is bigger: x or -0.1?
x
Let b(w) = -2*w**2 - 27*w + 14. Let a be b(-14). Do 10/7 and a have different values?
True
Let j(y) = y**2 + 5*y + 3. Let v be j(-3). Which is smaller: v or -0.3?
v
Let c be 4/16*2*2. Suppose 2*t + 9 = -5*n, 3*t = -t + 12. Which is bigger: c or n?
c
Let i(u) = -3*u + 6. Let k be i(4). Let y = 16/3 + k. Which is bigger: y or -2?
y
Let n be ((-12)/36)/(4/3). Let i = -0.1 + 0.1. Let m = 2 - i. Which is smaller: n or m?
n
Let y be (2*1)/(4/10). Let o be 1/y*(-16)/2. Let t(a) = a + 8. Let j be t(-10). Which is smaller: j or o?
j
Let x be ((-3)/(-6)*8)/2. Suppose -2*s + s = x. Suppose a = 5*m - 16, -a + 2*m - 10 = -m. Is s >= a?
False
Let u be 3/2 + (-129)/66. Which is smaller: 0.1 or u?
u
Let y(g) = 11*g**2 - 2*g. Let m be y(-2). Suppose -5*d - 2*k = -60, -4*d - k + 6*k + m = 0. Is d greater than or equal to 12?
True
Let z(l) = -5*l + 1. Let d be z(-7). Do d and 36 have different values?
False
Let a = -0.51 - -0.01. Let i = a - -0.3. Let g = 0.3 + -0.2. Is i at most as big as g?
True
Let m(x) = x**2 + 6*x - 9. Let g be m(-9). Suppose 4*v - b - 2*b = g, 4*b + 5 = -v. Suppose 2*p + v - 1 = 0. Do 0 and p have the same value?
False
Let l = -1/164 + 187/3772. Suppose 4 - 26 = 2*y - 4*u, 2*u - 6 = -4*y. Is y at least as big as l?
False
Let m = 11.2 - -1.8. Let l = 14.5 - m. Which is smaller: 0.1 or l?
0.1
Let x be (-4)/(-18) - 2100/(-1485). Which is bigger: -1/4 or x?
x
Suppose -4*x - 4 = -8. Let r = 5 + x. Which is smaller: r or 7?
r
Let p = -1 + 1. Let k = -0.1 + p. Let s be 8/(-126) + (-12)/54. Does k = s?
False
Let w be 3 - ((-22)/(-2) - 3). Is -5 at least w?
True
Let k be (28/(-4))/(-2 - -1). Suppose 3*u = k*u + 40. Is -10 != u?
False
Let l = -649/87 - 35/29. Which is greater: -10 or l?
l
Let w be ((-26)/(-4))/((78/12)/13). Is 15 less than or equal to w?
False
Let m = -31 - -19. Let y = -10.9 - m. Let l = y - 1.9. Is -0.1 equal to l?
False
Let a = 145 + -305/2. Let u = -79/10 - a. Which is bigger: u or 0?
0
Let i be (2/(-1))/((-2)/(-4)). Suppose -12*c = -19*c - 21. Is c less than i?
False
Suppose -2*m + 3 + 2 = 5*w, 3*w - 4*m = 3. Which is bigger: -1/3 or w?
w
Let r be -7 + 5 + 14/8. Let j be (-6)/(-4) - 1/2. Is r not equal to j?
True
Let p = 43 - 49. Is -0.2 not equal to p?
True
Let v = -0.5 - 1.5. Let q = v + 1.9. Is q at most as big as 1?
True
Let w = -15 + 25. Let x be ((-1)/(-2))/(25/w). Is -2 less than x?
True
Let k = -150 + 197. Do k and 48 have different values?
True
Let r = 0.22 + -0.32. Let i = -0.3 + 0.4. Let t = i + r. Which is bigger: t or 3/7?
3/7
Let k be 1/(-1) - 5/(10/66). Which is bigger: -65/2 or k?
-65/2
Let z = 2 - 2. Let p = z - -0.2. Is p >= 2?
False
Let i = 3 - 2. Let m(o) = o**3 + 4*o**2 - 7*o - 6. Let b be m(-5). Let q = 2 - b. Which is smaller: i or q?
q
Let d(i) = 2*i**3 + 3*i + 1 - 3*i**3 + 2*i**2 - 3. Let h be d(3). Is -6/7 less than or equal to h?
False
Let x = -327/5 + 2439/35. Is x bigger than 4?
True
Let s be 3 + -2 - (1 + -3). Suppose 1 = s*g - 5. Let n = -14 + 44/3. Which is smaller: g or n?
n
Let f(c) = c + 0 + 0*c + c**2 - 4 + 1. Let s be f(-3). Let g = s + -1. Is -1 smaller than g?
True
Suppose -7*p = -2*p. Let z = 8 + -6. Let g be (z - (2 - 0))*1. Does g = p?
True
Suppose 5*n - n + 2*x = -30, -5*x + 45 = -2*n. Let j be -3 + (-5)/(n/(-8)). Let l be 4/j*(-3)/6. Is 1 < l?
False
Let c = -2 + 7. Suppose c*b = -4*t + 4, 0*t - 1 = 4*b - t. Let k be (-2)/6*63/(-70). Is k >= b?
True
Let m = -67601704/99 + 682832. Let l = m + 122/9. Is -1 >= l?
False
Let i be (5 - 1) + 322/(-77). Is i at least 0?
False
Suppose 3*v + 5*v = 4*v. Which is greater: v or 3/28?
3/28
Let h = 0.12 + -2.12. Is -1/4 equal to h?
False
Suppose -5*d - 14 = u, -3*d + 11 = 5*u - 5*d. Is 2/21 greater than u?
False
Suppose 2*z = 7 + 5. Let i = z - 5. Is 1 greater than or equal to i?
True
Let o = -4.37 - -4.2. Let t = 1.73 - o. Let l = t + -2. Is l > -0.3?
True
Let l = 13.3 + -13. Which is smaller: 2 or l?
l
Let o be (4 + (-1 - -3))*-1. Let m = o - -12. Let j be -3*m/(-63) + 0. Is j greater than 0?
True
Let s be 1407/8554 + (-2)/13. Which is bigger: s or -1?
s
Let g(f) = f**3 - 4*f**2 - 1. Let b be g(2). Suppose -48 = -3*y + 5*p, 5*y - 4*p = -23 + 90. Let z be 3/b - y/(-15). Which is bigger: z or -2/11?
z
Let c be (-2)/(-6*(-4)/60). Let s be (0/1)/(2 - 0). Suppose 5*u + 13 + 12 = s. Are u and c equal?
True
Let x(r) = 2*r**2 + 4*r - 6. Let v be x(-3). Is -0.25 at most as big as v?
True
Suppose 2*i = 16*i + 14. Let u = -6 - 8. Let y be 4/u + (-2)/(-7). Is y greater than or equal to i?
True
Let a be (3 - (1 - 1)) + -5. Let v be 3 - -4*1/a. Which is bigger: 0 or v?
v
Let i = -4.4 - -5. Let x = -0.6 + 0.2. Let q = x + i. Is -1 != q?
True
Let y(o) = 4*o. Let u be y(5). Suppose -4*m - 8 = u. Is m != -6?
True
Let s be (274/9)/(-2) + (-72)/(-324). Which is smaller: s or -13?
s
Suppose -2*h = -4*r - 0 - 10, 4*h + 3*r = -13. Let a be (1 - 20/8)*10. Let v be -1 - 2 - 39/a. Is v at least as big as h?
True
Let k = -16 - -14. Is k not equal to -1?
True
Let d = 0.19 - 0.19. Which is greater: -1 or d?
d
Let b = 20/299 - 5204/6279. Let y = 3/7 + b. Which is greater: y or -3?
y
Let c = 5 + -1. Let p be (c - 2)/(4/(-2)). Which is bigger: -2/29 or p?
-2/29
Let m(k) = k**3 + 23*k**2 - k - 12. Let z be m(-23). Suppose 0 = 3*d + f + 29, -4*d + 7*f = 2*f + 45. Let r = d + z. Which is bigger: r or -2/17?
r
Let l be 15 + (3 - 7) + 1. Let q be 6/20*(-10)/l. Is q >= -0.4?
True
Let w = -879 - -5309/6. Is w >= 7?
False
Let k(t) = 3*t + 7. Let l be k(-4). Let v be ((-20)/75)/(6/l). Which is smaller: 0 or v?
0
Let f = 452867/133 + -3405. Let l be ((-1)/(-4))/(1330/(-452)). Let h = f - l. Which is smaller: 0 or h?
0
Let x = -0.17 - -0.21. Do -0.4 and x have the same value?
False
Suppose 2*o - 3 - 3 = 0. Let q be -2 - ((-6)/(-3) - o). Is 2/13 <= q?
False
Let n = -0.32 + 17.32. Let u = -12 + n. Is -1/5 less than or equal to u?
True
Let v = -835/9 - -93. Let n = 27/5 - 103/20. Is n at least as big as v?
True
Let i = -2 - -5. Suppose -2*k - 119 = -39. Let z be 6/8*k/45. Which is greater: z or i?
i
Suppose -75 = a - 4*c + 8*c, -4*a - 246 = -2*c. Let r be ((-12)/(-9))/((-6)/a). Let d be 8/(-28) + (-3)/r. Which is smaller: d or -1?
-1
Let g = 1/159 + -643/1113. Which is greater: 0.1 or g?
0.1
Let p = -17529/4 + 4346. Let x(f) = -18*f. Let q be x(-2). Let h = q + p. Are h and 1 nonequal?
True
Let g = 0 + -1. Let h be (-4)/4 - (1 + -2). Let x = h + g. Is -1 bigger than x?
False
Let s = -11/2 - -6. Let f = -1 - 3. Is f < s?
True
Let p(x) = -2*x - 35. Let u be p(-3). Which is greater: -27 or u?
-27
Let q = 140 + -96. Is 0 not equal to q?
True
Let o be -2 - -1 - (-50 + 0). Suppose 0 = 4*f + o + 31. Let w be 2/(-8) - f/16. Is w bigger than 0?
True
Let i be (-70)/(-4)*8/5. Let v be (-23)/(-7) - 8/i. Let r be -5 + (v/3 - -1). Is -1 < r?
False
Let l = 8 - 14. Let a = 7 + l. Is a smaller than -0.06?
False
Let v(p) = 5*p**3 + p**2 - 4*p - 1. Let z be v(-3). Let g = z - -463/4. Which is smaller: g or 0?
0
Let w = -2.85 - -0.05. Let n = -1.7 - w. Let c = n - 1. Which is smaller: c or -1?
-1
Let t = -17 - -18. Let o = 69 + -347/5. Which is greater: o or t?
t
Let g = 1 + -2. Let q = -3/170 + 2/17. Is g bigger than q?
False
Let h = -16 + 8. Do -7 and h have different values?
True
Let o = 40 - 201/5. Is 0 at least o?
True
Suppose -4*l - 8 = 3*i + 4, -l + 3*i = -12. Suppose 4*o - 13 = -t, 3*t + 5*o - 53 = -l*t. Suppose 4*y = 5*p - t, 0*y + 20 = -5*y. Which is smaller: 2 or p?
p
Let y = 41 + -45. Which is smaller: -2 or y?
y
Let h(v) = v**2 - v - 3. Let l be h(-3). Let f be (-6)/(-33) + l/11. Do f and 1 have the same value?
True
Let m be 1*-2 + (-500)/(-260). Is m at least as big as -1?
True
Suppose 1 = 4*k + 5. Which is greater: k or 0?
0
Let k = 37 - 12. Let b be ((-12)/(-10))/((-10)/k). Which is greater: b or -1?
-1
Let m = -4888/9 - -542. Which is smaller: -1 or m?
m
Let d be (-1 + 0)/(2/11). Is d smaller than -5?
True
Let k be (21/(-6) - -3)*-2. Let q be k - (-9)/(-24)*-1. Let a = q - 49/24. Which is greater: a or 1?
1
Suppose t = 3*z - 6 - 3, -2*z + 17 = 3*t. Suppose 