-146 + 143. Let r = -595/3 + 200. Is v < r?
True
Let q(j) = 2*j**3 - j**2 - 2*j + 2. Let k be q(2). Let p be k*1/(-6)*3. Let z = 0.5 + -0.4. Is p <= z?
True
Let p = 541/7 - 77. Let i = 5 - 5. Is i less than or equal to p?
True
Let d be (22/6 - 3)*9. Let s = -58 - -63. Which is bigger: s or d?
d
Suppose -10*b - 115 = -5*b. Are -26 and b equal?
False
Let a(i) = 3*i**2 + 42*i + 62. Let q be a(-13). Is 17 at most q?
True
Let k = 335.1 - 287. Let b = 48 - k. Which is smaller: b or -27?
-27
Let s = -0.003 - 0.207. Which is greater: s or -2?
s
Let x(j) be the second derivative of j**4/12 + 19*j**3/6 - 2*j**2 - 15*j. Let l be x(-15). Which is smaller: l or -63?
l
Let q be ((-267714)/801)/(42/3745669). Let s = -29807029 - q. Let h = s - -4/267. Which is smaller: -2 or h?
-2
Let h be (0/(-2) - -25) + -8. Which is greater: 18 or h?
18
Let x be 28/(-21)*(-6)/(-28). Which is smaller: x or 4?
x
Let c = -49.95 - -50. Let l = -0.105 - -0.125. Which is bigger: l or c?
c
Let i(g) = 2*g**2 - 17*g - 7. Let z be i(10). Let t = 20 - z. Let m = 4 + t. Which is smaller: -3/16 or m?
-3/16
Let i be 2/17 - 9*(-20)/(-1530). Is i greater than -2/47?
True
Suppose 0*a + 8 = 4*a. Suppose -u = 5*i + 14, -a*i + 2*u - u = 0. Does -3 = i?
False
Let r = 73 + -151. Do 0 and r have the same value?
False
Let r(b) = 32*b + 193. Let l be r(-6). Which is bigger: l or 39.1?
39.1
Let j = -15.46 + 4.46. Do j and 26 have different values?
True
Suppose 2*k = v - 32, 5*v + 106 = -5*k + v. Which is greater: -20 or k?
k
Let c = 11 + -11.3. Let a = 0.27 - -15.73. Let v = -17 + a. Which is greater: c or v?
c
Suppose -2*n + 0*n + 25 = 5*r, -3*r = n - 14. Suppose -4*p - r*h = -0*h + 3, -2*h = -4*p + 22. Let z = 9 - p. Is z < -2/3?
False
Let z = 335 - 335.01. Which is smaller: 7 or z?
z
Let y be -1*(-2 - 8/(-2)). Let n be (-2)/10 - (-132)/(-140). Is y < n?
True
Let j(b) be the first derivative of -b**2 + 4*b + 26. Let o be j(6). Which is smaller: o or -3?
o
Let g = -0.05 + 0.1. Let u = -2.6 - -2.69. Let r = 0.01 + u. Is r less than g?
False
Let k(f) = -7*f**2 + 10*f + 5. Let v be k(-1). Let s be 35/11 + (-4)/22. Suppose -s = -2*i + 5*a, -3*i + 4*i = a - 6. Is i greater than or equal to v?
True
Let n be (-364)/(-48)*6/(-21). Let k(f) = -f**2 + 3*f - 1. Let t be k(3). Which is greater: n or t?
t
Let u = -3.105 - -2.105. Let h be (1 - 0)*(-4)/(-442). Let o = h + -243/2431. Which is greater: o or u?
o
Let d = -28 - -67. Let t = -32 + d. Are -2/3 and t unequal?
True
Let q be ((-1)/(-4*(-3)/12))/(-8). Let h = 3/8 - q. Which is smaller: -3/2 or h?
-3/2
Let z be (-12)/8*(-4)/230. Which is smaller: z or -1?
-1
Let j(x) = x + 1. Suppose 41 = 6*w + 11. Let v be j(w). Is v less than or equal to 3?
False
Let v = 78.8 - 79. Which is bigger: 48 or v?
48
Let u = 1/13975 - -81036/265525. Let x = 1/5 - u. Which is greater: 4 or x?
4
Let p = 2.392 + -2.292. Is p at least as big as -34/13?
True
Let s be (-17)/(2 + -6 + 3). Suppose -90 = 2*t - 7*t. Is t greater than or equal to s?
True
Let r be -31 + 0/(-1) + -1. Let w be ((-10)/r)/(5/(-10)). Let l = 31 - 33. Which is bigger: l or w?
w
Let t be 27/((-54)/(-10)) + 20. Let h = -1 - -0.9. Is h >= t?
False
Let q = -853 - -984. Which is smaller: q or -1?
-1
Suppose 4*z + 104 = 17*z. Suppose o = 2*o - 3. Suppose o*r = -5*g + 24, -8 = -r + 2*g - g. Do r and z have the same value?
True
Let n be -2 - 20/(-8)*(-52)/(-65). Are n and -2/847 equal?
False
Let s = -6.37 + 6.31. Are s and -3 nonequal?
True
Let a = 12 + -52. Let l be (-8)/35 - a/(-70). Suppose 0*h = -2*h. Which is smaller: h or l?
l
Let x = 0.0426 - 0.0426. Is x less than 294?
True
Let y be 48/40*86 + (-16)/(-20). Is y at most as big as -0.2?
False
Let k = 903 + -792. Are k and 1 non-equal?
True
Let u = -678 - -678. Which is smaller: u or 11?
u
Let h = -65775/4 + 16656. Let k = h + -215. Which is smaller: k or -3?
-3
Let g be 3/(-4)*5/195. Which is bigger: g or -1?
g
Let b = 81 + -74. Suppose b*u + 0*u = -0*u. Are -2/77 and u equal?
False
Let m(u) = -u**2 - 8*u + 4. Let n be m(-9). Let t be 62/10 - (-1)/n. Suppose 4*f = t - 58. Are f and -13 unequal?
False
Let b(a) = -2*a**3 + 29*a**2 - 38*a - 17. Let c be b(13). Let h be 3/6 + 47/(-10). Which is smaller: h or c?
h
Let y = 0.4 + -0.28. Let g = y - 0.04. Let a = g + -0.14. Which is greater: a or -0.1?
a
Suppose -15*r = -2*r + 507. Do r and -34 have different values?
True
Let q = -2.95 + 3. Let c = q - -0.15. Let a be 4/22 + 40/385. Is a at least c?
True
Suppose 7*c - 5*c - 1611 = -5*j, -3*j + 963 = 3*c. Which is smaller: j or 325?
j
Let o be -6 - -1 - 600/(-40). Which is greater: o or 11?
11
Let b = -10/7 + 65/21. Is b != 3?
True
Let b(i) = -35*i**2 - 42*i + 170. Let u be b(4). Which is bigger: u or -2227/4?
-2227/4
Let k(p) be the second derivative of -11*p**2 + 1/20*p**5 - 3/2*p**4 + 3*p + 1/6*p**3 + 0. Let x be k(18). Is -2 >= x?
True
Let u be (2 - 1 - 0) + 54 + 2. Is u not equal to 57?
False
Suppose 0 = -6*d - 199 + 193. Are 5/52 and d non-equal?
True
Let o(g) = 2*g - 9. Let p be o(9). Suppose 2*x - 4*q - p = 7, -2*q = -2*x + 8. Suppose x = -2*i + 6*i, z + 8 = -5*i. Is -7 less than z?
False
Suppose 0 = r + q - 4*q + 4, 5*r + 4 = -q. Which is greater: r or -2/499?
-2/499
Let s be ((-9572)/16 - -4)/(84/(-40)). Let q = s + -283. Which is smaller: 1 or q?
q
Let h = -1/44 - -3/11. Let c(f) = 3*f - 3*f + 6*f - 1 - f**2. Let a be c(6). Is a at most h?
True
Let j = 102 - 111.8. Let u = -85 - -95. Let w = u + j. Which is smaller: w or 2/3?
w
Let v = -4 + -3. Suppose -12 = 2*u - 14. Is u > v?
True
Suppose -3*n + 5*q = -4*n - 49, 5*q + 245 = -5*n. Is -48 less than or equal to n?
False
Let o = 15 + -3. Let h = 8.74 + 0.26. Let k = 9.1 - h. Is k at most o?
True
Let q = -219/133 + -4/19. Which is greater: -1 or q?
-1
Let n(l) = -33*l + 8. Let u be n(1). Are u and -103/4 equal?
False
Let f = 287/20 + -53/5. Does f = -18/11?
False
Let l(s) = s + 1. Let t be l(-1). Let j be 2 - -10*(-69)/354. Is j less than or equal to t?
False
Let h be (75/(-175))/(3/86)*1. Which is greater: -11 or h?
-11
Let a = 2135 - 2136. Which is smaller: 4.21 or a?
a
Let o be ((-4)/(-11))/(-2) + (-92)/(-22). Suppose o*g - 5*x - 2 = 17, 5*x = 3*g - 18. Which is smaller: 18/13 or g?
g
Let y = 3/2 - 1. Let z be (-12)/(-14)*(50 - 8). Let i be 15/z*(-3)/10. Is i smaller than y?
True
Suppose h + 5*l = -30, -2*l + 7*l + 180 = -4*h. Which is smaller: h or -46?
h
Suppose 0 = -3*j + 4*p - 9, 28 = -3*p + 37. Is -0.7 equal to j?
False
Let v be 28/10*275/44. Which is smaller: v or 19?
v
Let w = -172/3 - -58. Is 3 at most as big as w?
False
Suppose -4*i - x = -4*x + 3, 2*i + 5*x + 21 = 0. Let g(c) = c**3 - 17*c**2 + 17*c - 14. Let j be g(16). Suppose -j = 4*l - 3*l. Which is greater: i or l?
l
Let n be 12386/66*(-5 - -2*1). Which is smaller: n or -564?
-564
Suppose 0 = 5*k + 2*a + 62 + 21, 5*a - 90 = 5*k. Let u be (-34)/(2 + 2 + -2). Is k <= u?
True
Let g be (-120)/1320 - (-46)/1111. Which is smaller: g or 0?
g
Let x = -154/3 - -52. Let m = 59 + -52. Suppose -m*c = -5*c - 5*c. Is x > c?
True
Suppose -6 = -3*v - 15, -79 = -4*g + 5*v. Is g less than or equal to 18?
True
Let s(g) be the first derivative of -g**4/4 - 5*g**3/3 + 5*g**2/2 - 5*g - 2. Let v = 6 - 12. Let l be s(v). Which is greater: 4/3 or l?
4/3
Let g(w) = 27*w + 434. Let s be g(-28). Is s != -322?
False
Let g be (26 + -29)*(-1 - (-4)/3). Let o = 8 + -6. Suppose 16 = -3*l - o*l + 2*d, -3*l + 3 = 3*d. Which is greater: l or g?
g
Let m(l) = -5*l**2 - 12*l - 20. Let i(o) = -14*o**2 - 35*o - 59. Let j(t) = 6*i(t) - 17*m(t). Let w be j(7). Are -3 and w unequal?
True
Let t be (6 - 4)*688/4. Let s = t - 1739/5. Are s and -3 unequal?
True
Suppose -12*q + 10*q + 1 = -3*b, -3*b - 3 = 0. Let l = 32319436/1962653 + 8/25489. Let c = -114/7 + l. Are q and c nonequal?
True
Let q be 11917/54252 + (-14)/63. Let m = q + -110/411. Let v = -2/99 - m. Is v smaller than 1?
True
Let s = -22.9 - -23.4. Is s > -1.8?
True
Suppose 0 = c + 4*c + 210. Let l = c + 69. Let d = l - 16. Is -1 not equal to d?
True
Suppose 2*k - 40 = -4*s + 6*s, 10 = 5*k. Which is bigger: s or -190/11?
-190/11
Suppose -v + 4*l = -7 - 1, 15 = 3*v - 3*l. Suppose v = -n - 0*n - 2*d, 5*n - 19 = 3*d. Suppose n*o + o = 27. Which is smaller: 1 or o?
1
Suppose 2 = -2*c - 8, p - 2*c = 10. Suppose 4*m + p = 3*s + 1, -5