*r - 4*v = r - u, -r = 3*v + 4. Does -8 = r?
False
Let d(w) = -w**3 - 4*w**2 + w + 2. Let c be d(-4). Let r be (2/(-1))/(c/(-9)). Let b be (-2)/((-36)/(-141)) + 3/(-18). Do b and r have different values?
True
Suppose 0 = 4*l - s + 49, -s = -l + 12 - 25. Suppose -2*w = -0*w + 5*n + 7, 4*w - 28 = 4*n. Let d be (w/(-6))/((-2)/l). Is d at most -4?
True
Let v(f) = f**2 - 22*f + 43. Let g be v(23). Is 7 smaller than g?
True
Let t = -3357 + 77194/23. Let i = 2935/4002 + t. Which is greater: i or 0?
0
Let b be (31/150)/((-56)/32180). Let r = b - -1768/15. Let f = r - -1/7. Which is smaller: f or -1?
-1
Let p(a) = -a**3 - 8*a**2 - 8*a - 7. Let k be p(-7). Suppose 2*x + 2 = -k*x. Let w be (-12 - -6)*(-1)/13. Is x >= w?
False
Let t be (-4)/(3 + (-44)/13). Let h = 10 - t. Suppose -37 = 7*p - 44. Do h and p have different values?
True
Suppose -4*s + 13 = 1. Suppose 3*m = m - 8. Let x be ((-117)/144)/(1/m). Which is greater: s or x?
x
Let y be (21/14)/(6/40). Suppose 17*k = 12*k + y. Suppose 3*m = k*m. Is m < 0?
False
Let v be ((-4)/(-5) - (-5630)/(-100))/6. Which is greater: v or 1?
1
Suppose -26*x = -q - 25*x - 7, -5*q = 5*x + 45. Which is smaller: q or 3/17?
q
Let f be (2 - -4)/(-1)*3. Let v be (-7)/(-6) + -1 + 21/f. Which is smaller: v or 46?
v
Let p = 632 + -626. Does p = 34?
False
Let f(m) = -m**3 + 6*m**2 + 5*m + 4. Let z be f(7). Suppose -2*a - l + 164 = -5*l, -3*l = 3*a - 228. Let t be (-792)/a + 4/26. Is z not equal to t?
False
Let c = 12509/2 + -85207/14. Let y = c + -168. Let v = -2.7 - -2.66. Do v and y have the same value?
False
Let h = -0.03 - 0.97. Let a = -16.7 - 4.3. Let j = a - -21. Is j at least h?
True
Suppose 2*w - 10*w - 3*w - 2*w = 0. Let m be 2 + 2 + 74/(-14). Is w less than m?
False
Let m be 262/8 - (-6)/(-8). Let g = m - 29. Which is greater: g or 5?
5
Let y be -9*4/(-6)*-1. Let g be (212/y)/(30/(-9)). Let m = g - 21/2. Is -1/3 less than m?
True
Let b = -16.95 + 16.938. Which is smaller: b or -8?
-8
Let s be ((-23)/15 - -1)*102/(-14824). Which is greater: -1 or s?
s
Suppose -4*g + 80 = -f, -2*g - 5*f = -f - 40. Is 21 <= g?
False
Let j(t) = -t**3 + 18*t**2 + 20*t - 20. Let a be j(19). Let k = 63 + -37. Let l = -21 + k. Is a >= l?
False
Let q be (-14)/4*(-18)/3. Suppose 0 = -2*p - 3*k + q, 2*p - 2*k - 26 = -0*k. Let l be 6/(-4)*p/30. Which is smaller: -1 or l?
-1
Let n(p) = -17*p + 5. Let u be n(1). Let r be (-3)/u + (-3)/12. Are 1 and r equal?
False
Suppose 2*r = 7*r + 65. Let k = r - -17. Suppose o = -k + 7. Are o and 5/2 unequal?
True
Let c = 4064/7 + -587. Is -7 not equal to c?
True
Suppose -2*y - 6 = 0, 12*y = 4*j + 8*y. Let k = 56 + -35. Suppose -k = 4*s - 5. Which is smaller: s or j?
s
Let i = 0.11 + -8.11. Let w = i - -8.2. Which is greater: -2/7 or w?
w
Let x = -12 + 44. Suppose x = g - 5*g. Suppose 25*c + 54 = 19*c. Which is smaller: c or g?
c
Suppose 0 = 3*k + 2*b + 6, 3*k - 4 - 2 = 2*b. Let r = 27 + -25. Suppose -10*f = -r*f. Is f < k?
False
Suppose -3*j + j + 3*r = -36, 2*r - 4 = 0. Suppose 23 = 2*v + j. Let m be v/((-66)/(-21) - 4). Which is smaller: m or 0?
m
Let n = -5.07 - -0.07. Let x = 76 - 82. Let a = n - x. Is a >= 1?
True
Suppose -8 = -q - q - 3*c, -c = -3*q + 12. Suppose 4*i - 3*z + q*z = -103, 0 = 2*i - z + 47. Is i > -25?
False
Suppose 4*u - 3*p - 100 = 0, 2*p + 111 = 5*u - 7. Is 22 not equal to u?
False
Let c be 2*((-2)/(-2) - 0). Suppose -3*j + 10 = -4*d, 4*d = -j - 2*j + c. Suppose -16 = 4*z + 4*i, z - j*i = -4*i - 8. Which is smaller: 1/17 or z?
z
Let v = -3298/9 - -36989/99. Which is greater: v or 8?
8
Let f = 972693/33376 + -3/4768. Is f > 28?
True
Let m(c) = -c**3 - 4*c**2 - 2*c + 4. Let f be m(-3). Let g(r) = 4*r**3 + 3*r**2 - 2. Let u be g(-4). Let y be 6/(-14) + (-111)/u. Is y <= f?
True
Suppose o + 3*j = 0, o = -2*o + 3*j + 12. Let r be -2 + (216/33)/o. Is r smaller than 1?
True
Suppose -r - 4*w = -w - 83, 4*r - 3*w - 302 = 0. Which is bigger: r or 76?
r
Let h(s) = 2*s**2 + 14*s - 16. Let y(w) = -w**3 + 14*w**2 + 14*w + 7. Let q be y(15). Let o be h(q). Are 2/53 and o nonequal?
True
Let w = -55.2 - -67. Let a = w - 11.97. Which is smaller: -0.2 or a?
-0.2
Let t be 33/(-22) + 2/(-36). Which is smaller: -2 or t?
-2
Suppose -3*t - 4 + 13 = 0. Let s = 2/3185 - -3179/9555. Are s and t nonequal?
True
Suppose 306 = -3*j + 336. Which is bigger: j or 75/8?
j
Suppose 49*m = 50*m. Let h be -2*3/6*m/2. Is h at least as big as -1/47?
True
Suppose -167 = 6*o - 5. Suppose -4*i = -5*i - 78. Let k be (-3 + i/o)*-12. Do k and 2 have different values?
True
Suppose -311 = -531*g + 532*g. Is -311 less than or equal to g?
True
Let u(p) = p**2 + 7*p - 1. Let c be u(-7). Let j(y) = -3*y**2 - y - 1. Let n be j(c). Let z = -193 + 190. Is n greater than or equal to z?
True
Let o(m) be the first derivative of -3*m**4/4 - m**2 - 2*m + 1. Let u be o(-2). Suppose 0 = 5*c - 34 - u. Is c less than 13?
True
Let a = 1250 + -1250.3. Which is smaller: 123 or a?
a
Let f = -38572/35841 + -2/2757. Let j(n) = -n**2 + 5*n - 4. Let q be j(4). Do f and q have the same value?
False
Suppose 725 = -3*o + 722. Which is greater: 3/472 or o?
3/472
Suppose 10*d - 369 + 369 = 0. Let x be (3/291)/(1/(-53348)). Let a = 550 + x. Which is greater: d or a?
a
Let c = -60.87 - -61. Are c and -0.1 equal?
False
Let k(d) be the first derivative of d**4/4 + 4*d**3/3 + 2*d + 8. Let s be k(-4). Suppose -3*g = -4*f - 6, -f - f + 4 = 2*g. Do s and f have the same value?
False
Let h = -18.5 - -9.5. Let p = -9 - h. Which is bigger: 5/7 or p?
5/7
Let u = -324 + 249. Is u greater than or equal to -77?
True
Let s = -108 + 50. Let b = s + 69. Is 12 not equal to b?
True
Suppose -1 = -3*p + 2. Suppose -2*i + 3 + 7 = 0, 4*q + 4*i = 28. Which is bigger: p or q?
q
Suppose i - 19 = -13. Let j be ((-4)/4)/(i/50) - -4. Which is bigger: -5 or j?
j
Suppose 15*u - 18*u - 240 = 0. Which is smaller: -0.1 or u?
u
Let k = 4.6 - 4.47. Let g = -0.03 + k. Is 2.5 equal to g?
False
Let n = -88 - -90. Is 1/105 < n?
True
Suppose 299 - 87 = 4*t. Is t >= 52?
True
Let j(q) = q**2 - 30. Let y be j(0). Let w be 28/y*(-18)/21. Let o = 2 + -1. Is o at least as big as w?
True
Suppose 1303 = 3*n - 2*v, 5*v + 1443 = 5*n - 727. Let m = -15223/35 + n. Let o(c) = 2*c - 19. Let r be o(9). Which is smaller: m or r?
r
Let u be (3/((-9)/15))/1. Let a be u - -8 - 6/(-2). Let h be (a/(-12))/(9/12). Is -14 != h?
True
Let z be (-3 + (-110)/(-33))*6*1*4. Let l be 24/(-9)*(-6)/4. Suppose l*a + 2 = 6*a. Which is smaller: a or z?
a
Suppose -2*l - 107 = -6*c + 5*c, 0 = -c - 3*l + 122. Is 110 at most as big as c?
True
Let z(g) = g**3 - g**2 - 41*g - 1. Let l be z(7). Suppose -w = -1 - 5. Is w less than l?
False
Suppose -j - 16*j = -816. Which is smaller: 9 or j?
9
Let k(c) = -2*c**3 + 3*c**3 - 7*c**2 + 12 + 6*c + 9*c**2. Let g be k(-3). Which is greater: g or -16?
g
Let j be 382/104 - (-58)/754. Are j and 4 non-equal?
True
Let f = -8/15 - -2/15. Is -102/13 at most f?
True
Let k(m) be the third derivative of m**4/24 + 5*m**3/3 + 4*m**2. Let o be k(-8). Is o <= 2?
True
Let i(d) = -d**3 - 17*d**2 - 13*d + 31. Let z be i(-16). Which is smaller: -10 or z?
z
Let d = -39 + 40. Which is smaller: -0.08 or d?
-0.08
Let u = 21 + -19. Suppose u*k + 3 = -k. Let t be ((-2)/(-12))/(k/(-2)). Are t and -1 equal?
False
Let u = 4616 - 216933/47. Which is smaller: 0 or u?
0
Let n be (-34776)/2674 - -12 - 1*-1. Which is bigger: n or 1?
1
Let d be (-782)/(-3)*21/14. Which is smaller: 393 or d?
d
Suppose q + 5 = -5*a + 54, 1 = a - 2*q. Let k = a - 12. Let t be (-2 - -1)*(-2 - k). Which is greater: t or 0?
0
Suppose -2*y + 9 - 1 = 0. Suppose 3*j = 2*h - 3*h + 17, -3 = 3*h. Suppose -j*r - 4*p = -3*r - 3, -r - y = 3*p. Is r > 5?
False
Let q(g) = -2*g**3 - 2*g**2 + 4*g + 1. Let p be q(3). Let f = p - -59. Is f smaller than 2/247?
True
Suppose 0 = h + 2*s + 9, 0*h + 2*s + 8 = -2*h. Is h at most -2/407?
False
Let c = 16 + -10. Let y be 4*(-3)/192*1*c. Let d = -2 - -3. Is d greater than y?
True
Suppose -8 + 22 = o. Suppose -c + 3*c + 5*l - 24 = 0, 0 = -c - 5*l + 12. Is c greater than or equal to o?
False
Let p = -15.006 + 15. Let r = p - 1.994. Is r at least 8?
False
Suppose -o + 83 = 94. Let r = 41 + o. Is r >= 28?
True
Suppose 344 = -41*t + 1082. Is 18 at most as big as t?
True
Let o be -1*6/2 - (-115)/(-72). Let m = 35/8 + o. Let j be 1*1