qual to c?
True
Let u be (2 + (-3)/2)*-2. Let i = -11867/10182 - 2/1697. Do i and u have the same value?
False
Let o = -1.4 - 0.1. Let x = -1.47 - o. Let g = 2.1 + -2. Is g smaller than x?
False
Suppose -2*v + 0*v - 316 = 0. Let s = 1104/7 + v. Is s >= 3?
False
Suppose 7*y - 4*y - 5*m = -20, 0 = 5*y - 3*m + 12. Which is greater: -14/31 or y?
y
Let u = 1147/9 + -127. Let n be ((-1)/9)/((-1)/1). Let p = n - u. Are p and 0 equal?
False
Let b = -572.52 - -559. Let z = -0.52 - b. Which is greater: 0.1 or z?
z
Let q = -32.59 + -1.41. Let s = 33 + q. Are s and 4/33 equal?
False
Let r(x) = -5*x - 3. Let g be r(-1). Let n be (-64)/(-472)*g/24. Is -1 greater than or equal to n?
False
Let f be (-272)/(-5) + 2/(-5). Let m be 391654/7316 - (-6)/(-177). Is m at most as big as f?
True
Let v be (-66)/88 + -118*2/(-16). Suppose -5*w + 1 = -9. Let q be 77/v - w/(-4). Which is bigger: 4 or q?
q
Let p = 2/87 + -130/609. Suppose -5*r - 5*r = -18*r. Is p greater than r?
False
Suppose -19*w - 68 = -49. Is w not equal to 6/67?
True
Let s be (-5)/(-5 - 0) + 6. Suppose 0 = q - 4*h + 14, -s - 3 = -q - 2*h. Suppose -2*g = q*g. Is g at most as big as 9/4?
True
Let s = -6 + -32. Let n = 83 + s. Let a be -1*(-3 + 129/n). Does a = -1/2?
False
Let x be (233/5 - -1) + 79 + -77. Which is bigger: 50 or x?
50
Suppose 2 + 3 = -p. Let g = 2 - 0. Let h = p + g. Is h < -2?
True
Let k = -6412 - -160196/25. Is -5 less than k?
True
Let p(z) = 20*z + 147. Let k be p(-4). Is -4 greater than k?
False
Let j be (1/(-7))/(2/6). Let v(y) = -y**3 + 8*y**2 - 10*y - 7. Let c be v(6). Suppose c*q = 3*q + 2. Do j and q have different values?
True
Suppose 0 = 5*t - 2*t - 9. Let w be (-62)/8 - t/12. Which is smaller: -10 or w?
-10
Let o = -44 - -179/4. Let v = -595 - -594. Do o and v have the same value?
False
Let j = 12 - -44. Let p = -656 + 657. Are j and p non-equal?
True
Suppose f + 3*f = 0. Let i = 26 + -24. Let b be i/8 + 28/16. Is b smaller than f?
False
Suppose 0 = -6*s + 2556 + 78. Let y = s + -3082/7. Which is bigger: -2 or y?
y
Let l be 1*2*2/2. Suppose n = -3*s - 6 + 31, 38 = 5*s - 2*n. Let t = -6 + s. Is l greater than or equal to t?
True
Let j be ((-48)/30)/(3/15). Suppose 4*i - 35 = -7. Let k = -14 + i. Is k at most as big as j?
False
Let b = 8213/6 + -1363. Is 6 at most as big as b?
False
Let u = -16.4 + 3.4. Let l = 16 + u. Let m = -89.98 + 90. Which is bigger: m or l?
l
Let s = -305.121 - -302.1. Let b = s + 0.021. Which is greater: b or -1?
-1
Suppose -4*a + 27 = w, 5*a - 29 = -2*w + 2*a. Suppose -w*d = -11*d + 20. Are 24/5 and d nonequal?
True
Let n be 24388/402*(-6)/(-7). Is n greater than or equal to 53?
False
Suppose -18*y - 31 = -22*y - 3*k, -4*y + 5*k + 55 = 0. Is y equal to 24?
False
Suppose 0 = 4*b + 11 - 3. Let m(t) = -6*t - 7. Let u be m(-3). Let n(h) = -h + 7. Let f be n(u). Which is smaller: b or f?
f
Suppose q - 41 = -2*l + l, 4 = -2*q. Let p be (-4)/(-36) + (-772)/(-18). Is p <= l?
True
Let r be ((-100)/(-1650))/((-4)/522). Are -9 and r equal?
False
Let r(p) = 3*p**2 - 2*p - 2. Let f be r(2). Suppose -2*u = 5*q + 73, -3*u = 2*q + 5 + 22. Let n be 3/q - f/15. Is n less than 1/4?
True
Let d(t) = -t**2 - 12*t - 19. Let m be d(-8). Suppose 0*n - 2 = n. Let h be n/m + 36/(-273). Is h equal to -6?
False
Let q = 61.6 + 0.4. Let c = 61 - q. Which is smaller: 35 or c?
c
Let w be (9/(-270)*5)/((-1)/38). Let z = -3 + -2. Let u = z + 5.1. Does u = w?
False
Let a be (-8)/28 + 760/14. Let x = a - 53. Is -8 less than x?
True
Let c = 26 - 26. Let t be 4/36*(3 - 0). Which is smaller: t or c?
c
Let k = -84 + 85. Suppose v = -2*v - 15. Is v at most k?
True
Suppose 4*w + 4*q = -48, 5*q + 41 = -4*w - 4. Suppose 9 - 44 = 3*g + 4*k, k + 64 = -5*g. Is g less than or equal to w?
False
Let i be (0 + 1)*-1 + (-2021)/(-2193). Is 1 >= i?
True
Let r = -0.78 + 1.11. Let o = r + -4.33. Which is smaller: -0.02 or o?
o
Let y = -1571/50 + 63/2. Which is smaller: 1.4 or y?
y
Let k(t) = t + 9. Let d be k(-8). Let y be 15/(-27)*(3 + 116/(-20)). Which is bigger: y or d?
y
Let v(f) = f**2 - 13*f - 14. Let a(t) = -3*t - 4. Let y be a(-6). Let w be v(y). Which is bigger: -2/13 or w?
w
Suppose -3*h - 3*u = 7 - 4, -h + 5*u = -29. Let w be ((-8)/10)/((-14)/5). Is w smaller than h?
True
Suppose -5*a + 4 = -1. Suppose 111 - a = 5*k. Is k >= 22?
True
Suppose -4*q = -5*t + 30, -5*t + 8*q - 3*q + 30 = 0. Is t greater than 4?
True
Suppose -2*f + 0 = 2. Suppose -4*c + 4*g = -1496, 0*g + 1830 = 5*c + 3*g. Let p = -7009/19 + c. Is f greater than or equal to p?
False
Let h = 825/14 - 119/2. Suppose 2*i + 0*i = 0. Suppose -5*v = 5 - i, -c + 1 = -3*v. Which is greater: c or h?
h
Suppose 2*p + 4*w - 3*w = 5, 3*w - 4 = 5*p. Let n be 1 - p - (0 - 180/(-32)). Which is smaller: n or -7?
-7
Let q be (-5556)/(-32) + -15 + 6/16. Is 159 at most q?
True
Let h be -8 + 13 - (4 - -6). Which is smaller: h or -24?
-24
Let d = -3 - -1. Let s = 759 - 753. Which is smaller: s or d?
d
Suppose -w + 6*w - 5*a - 10 = 0, 0 = 4*w + 2*a - 8. Suppose w*n - n - 2*h = 9, -h - 9 = -5*n. Let o be (n - 1 - 0) + 0. Is -5/6 smaller than o?
True
Suppose -c + 5*h - 86 = 10*h, -c = 2*h + 74. Are 2/7 and c unequal?
True
Let u be (2 + -2)*(-4 - -9 - 6). Which is smaller: 1/44 or u?
u
Let c be 3*((-4)/(-4))/1. Let v(k) = k**3 - 2*k**2 - 4*k + 2. Let o be v(c). Which is bigger: -11/5 or o?
o
Let n(g) = g**3 + 4*g**2 + 1. Let p be n(-3). Let x(y) be the first derivative of y**3/3 + 2*y**2 - 12*y - 17. Let t be x(-7). Is t < p?
True
Let s = -0.11 + -1.89. Let f = s - -10. Let u = f + -8.2. Is -4 > u?
False
Suppose -3*y - 5*o = 298, -96 = y - 0*o + o. Let k = -638/7 - y. Which is smaller: 15 or k?
k
Suppose 0 = x + 3*h - 767, 2*h = -x - 3*x + 3038. Let y = x + -40172/53. Which is bigger: 0 or y?
y
Let q = -33 - -32.83. Let y = q - -0.17. Which is bigger: y or -10?
y
Let j = 1.27 - 1.17. Is -141 at most as big as j?
True
Suppose 3*j + 4*k - 3 = 0, 2*k - 11 = -3*j - 8. Is j equal to -2/95?
False
Let o = 0.101 - 40.951. Let c = o - -23.78. Let h = 17 + c. Is h equal to 0?
False
Let i = 28 + -28.22. Let j = i + 0.12. Is j at most as big as -14?
False
Let s = -73/34 + -2267/17. Let l = s - -2873/22. Is -4 <= l?
False
Let z = -561/5 - -110. Which is smaller: -1 or z?
z
Let y(v) be the first derivative of -v**4/4 - 8*v**3/3 - 5*v**2/2 + 15*v - 3. Let i be y(-7). Is i smaller than 9/11?
False
Let h(z) = z**3 - 6*z**2 + 2. Let v be h(6). Let t(q) = -10*q**2 - q + 12. Let x be t(-4). Let m = -144 - x. Which is smaller: v or m?
m
Suppose 2*z - 6 = -0*c - 2*c, -c + 3 = -z. Let l be c/(-1) - (-144)/51. Is l != 2?
True
Let r(x) = 4*x + 15. Let y be r(-5). Let j = -77 + 64. Is j greater than y?
False
Let f be ((-104)/300)/(80/(-475)) - 2. Are 0 and f equal?
False
Let n be (1136/8)/(-1 - 1). Let m = -60 - n. Is 13 at most m?
False
Suppose 0 = 4*l - 3*j - 2, -2*j + 12 = -2*l - 7*j. Which is greater: l or 3/152?
3/152
Let x be ((-12)/(-2))/((-5)/(-393 - -8)). Which is smaller: x or 0?
0
Suppose -5*n - 13 = -p, -17*p + 18*p = 4*n + 11. Which is greater: p or 239?
239
Let u = -0.5 + 2.7. Let q = u + -1.8. Is -1 >= q?
False
Suppose 34*g - 36*g - 6 = -3*b, 5*g + 3*b - 6 = 0. Let n(j) = -4*j + 5. Let p be n(-6). Is p < g?
False
Let m = -583/5 + 117. Let b = 23 - 12. Let i = 11.3 - b. Which is smaller: m or i?
i
Let w = -1521/977 - 23384595/6839. Let c = 3414 + w. Which is smaller: c or -7?
-7
Let q = 26436 + -132594/5. Is q <= -83?
False
Let z be 37/(1*(6 - 7)). Which is greater: z or -38?
z
Suppose -2*g = -0*g - 4. Suppose g*f + l = 9, -2*f - 2*l + 23 = 3*f. Let j(r) = 69*r + 419. Let h be j(-6). Is f at least h?
True
Let t = -1563 + 1565. Which is smaller: -816 or t?
-816
Suppose 0 = 4*a - 2*a. Let y be (9/84)/(48/84)*(-4)/(-3). Do y and a have the same value?
False
Let v = 228 - 150. Suppose 0 = -2*t + 246 + v. Let r = t + -1132/7. Is r smaller than 1?
True
Let n = -370888/95 + 3904. Let r = -823/380 + n. Which is bigger: -2 or r?
-2
Suppose 6*y + 3*n + 91 = 4*y, 0 = -3*y + 3*n - 144. Is -48 at most y?
True
Let c be (-10 - -10) + 5/1. Suppose c*q - 5 = -35. Let f be (-9)/q*8/4. Which is greater: 7/2 or f?
7/2
Let n be (-2 - -1) + 37/35. Let g(t) = t**2 - 14*t + 22. Let o be g(13). Suppose 17 = 3*k - 4*d, -3*d = -5*k + o + 1. Do n and k have the same value?
False
Let g = -714 - -71