= k + 3. Is n greater than 1?
True
Let a = -21 + 34. Let z = a - 13.1. Which is smaller: 0 or z?
z
Let m = -1354 - -1443. Do 441/5 and m have different values?
True
Let i be 7/(525/42426) + 2/6. Let v = 566 - i. Is v greater than 0?
False
Let i = -0.082 + 1.292. Let f = i - 1.2. Let q = 0.99 + f. Which is smaller: 4 or q?
q
Let h = 29.4 - 29.3. Let m(q) = q - 6*q**2 + 9*q**3 + 0*q**2 + 5*q**2. Let g be m(1). Is g != h?
True
Let o(h) be the second derivative of h**4/12 + h**2/2 + 6*h. Let f be o(-1). Suppose c - 4*u = 2, u + 4 = f*c + 2*u. Is 3/2 less than or equal to c?
True
Let j(o) = -o**3 - 3*o**2 + o + 2. Let t be j(-3). Let r(l) = 13*l - 6. Let c be r(3). Let m be 24/(-16)*1/c. Which is greater: t or m?
m
Let k be (64/(-936))/(88/60). Let d = 32/33 + k. Are d and 1 equal?
False
Let j = 27301/166 + -329/2. Are j and -1 non-equal?
True
Let c be (-3 - -3) + (-6)/(-6). Let s be 0 + -2 + c/((-4)/(-8)). Which is smaller: s or -4/25?
-4/25
Let b = -1 - 0. Let q = -3 - -13. Suppose 2*u = 4*m + 2 + 6, -u + 5*m + q = 0. Which is greater: b or u?
u
Let l be (-13294)/1035 - (-2)/5. Do -11 and l have the same value?
False
Let j(a) = -a**2 + 3*a + 7. Let y be j(0). Suppose -1 = 3*z - y. Is z at least as big as -3?
True
Let i be -1 - (1*-2 - -2). Let a(o) = o + 2. Let x be a(9). Suppose 0 = 10*s - x*s - 4. Is i at most as big as s?
False
Let o be ((-130)/(-1040))/((-5)/8). Is -1.5 at least as big as o?
False
Let u = 2.92 - -0.08. Let b = u - 4. Let w = 3 + 5. Is b greater than w?
False
Let n be 3 - (1 + -9)/2. Let w = n + -8. Let s be -3 + w - 216/(-52). Is s equal to 0?
False
Suppose -15*r + 11*r - 4*q = 136, 52 = -2*r + 2*q. Suppose -4*o + 4*z - 28 = 0, 5*o + 0*z = 3*z - 39. Let x be (o/r)/(-3)*4. Is x less than -0.9?
False
Suppose -2*i = -b + 60, 3*i - 4*b + 95 = -0*i. Let y = -28 - i. Which is greater: -1/12 or y?
y
Let s(w) be the first derivative of -w**2/2 + 4. Let d be s(0). Which is smaller: -1/2 or d?
-1/2
Let c = -0.1 + -0.24. Let n = c + 0.4. Let v = -1088 + 1086. Do n and v have the same value?
False
Suppose 0 = 4*a - l + 16, 9*l - 4*l = 3*a - 5. Which is greater: a or 6?
6
Suppose 0 = -y + 7 + 2. Let i be (2/(-4))/1*-30. Suppose 3*z + 4*p = 22, -53 + i = -4*z - p. Is y at most z?
True
Let v be 44/576*(1 + 111/6). Let i = 1/96 + v. Is 0 greater than i?
False
Suppose 2 = -2*p, 3*q + 30*p = 32*p + 149. Is 50 at most q?
False
Let p be (9 + (1 - 9))/1. Are -3/70 and p non-equal?
True
Let z = -20 - -11. Let i be -4*7/56 + 58/(-8). Which is smaller: z or i?
z
Let n be (2/(-4))/((-9)/54). Suppose 2*c = 5*r - 5, -19 = -2*r + 4*r - 5*c. Suppose n*v + r*y + 23 = -v, 5*v + 25 = -3*y. Is -2 bigger than v?
False
Let s(b) = 11*b + 23. Let g be s(-2). Which is smaller: -2/1965 or g?
-2/1965
Suppose -2*n = -5*y + 10, 4*n - 26 = 2*y - 14. Is n at least as big as 1/26?
True
Let v = 0.808 - 0.88. Let r = -0.078 + v. Which is smaller: 0.2 or r?
r
Let t be -2*(12/8 + -1). Let m = -136 - -3401/25. Which is greater: t or m?
m
Let w be 2/(-12) + 5/12. Suppose 3*a = 13 - 4. Suppose 24 = -j - 5*f, -3*f + 17 = -a*j - 7*f. Is w greater than j?
False
Let g(y) = -y**3 - 8*y**2 - 12*y + 5. Let j be g(-6). Suppose -3*m - 4 = h, m - 23 = j*h - 3. Suppose -5*z - 5*k - 13 = 2, m = k + 4. Is z > -6/17?
True
Let z = -540 - -530.16. Let n = -0.16 + z. Let j = n - -5. Which is smaller: 0 or j?
j
Let q be (-18)/(-27) - (-3)/(27/48). Are 1 and q unequal?
True
Let o be (1 + 7)*(-49)/(-28). Let s = o + -13. Which is smaller: 2/13 or s?
2/13
Let u be 0/13 - (1 - 1). Suppose 4*h = -u*h + 12. Let d be ((-1)/(-33))/(h/(-6)). Is 1 less than d?
False
Let c(z) = -5*z**2 + 1. Let k be c(3). Let o = -485/11 - k. Let d = 43 - 44. Which is greater: d or o?
o
Suppose 3*x - 5*g - 6 = 21, 4*g + 4 = -2*x. Suppose 6*h - h - x = -4*y, -4*h - 4*y = -4. Is h > -3/65?
True
Let d = -119 - -120. Are 173 and d non-equal?
True
Suppose -16 = -5*w + 14. Let z(h) = -5*h + 9. Let m(l) = -6*l + 10. Let o(d) = 4*m(d) - 5*z(d). Let x be o(w). Is 25 not equal to x?
True
Let m = -0.061 + 26.061. Let g = -37 + m. Let j = 0 + -0.1. Which is bigger: g or j?
j
Let g = -304.8 + 343. Is g < -0.2?
False
Let n = 0.065 + -0.021. Let d = 0.044 - n. Are 2/7 and d non-equal?
True
Let b(g) = 2*g**2 + 10*g - 10. Let y be b(-6). Is -2 < y?
True
Let l be 208/156 - ((-190)/108 + -1). Let t = -25/6 + l. Which is smaller: t or -0.1?
-0.1
Suppose -6 = -2*z - 12. Let d(t) = 3*t - 2*t**3 + 3*t**3 - 2*t**3 - 2*t**2 + 2. Let f be d(z). Are f and 1 unequal?
True
Let l be (-141 + 0)*(-70)/21. Suppose 4*b - b - 4*s + l = 0, b + s + 145 = 0. Let p be (-312)/b - (4 + -2). Which is smaller: 1 or p?
p
Suppose -4*h + 26 = -3*f, -f - 2*h + 8 = -0. Is -13/7 < f?
False
Suppose -4*g = g + 5. Let t be (8/(-246))/(312/468). Are g and t non-equal?
True
Let f be -1 + 136 + (-7 - -7). Suppose 6*i - i = f. Let j be (6/(-16))/(i/18). Which is smaller: j or -1?
-1
Suppose -3*h = h. Let r = -189 - -2067/11. Which is smaller: h or r?
r
Let m(f) = 2*f**2 - 2*f + 1. Let i be m(3). Suppose 2*q + 10 = 0, -5*r + 10 - 5 = 5*q. Suppose 2*a = b - i, 5*a = 5*b - 51 + r. Is -5 not equal to a?
True
Let l be (-8 + 52/6)/((-1252)/(-3)). Which is smaller: l or 0?
0
Let s be (1 + (-22)/24)/(-5 - -7). Which is smaller: 0 or s?
0
Let o be (-217)/42 + 5 - (-1178)/12. Is o at least as big as 104?
False
Suppose -4*j = -3*z + 17, 2*j + 13 = 2*z - j. Let o(d) = -d**2 + 2. Let s be o(z). Suppose 2*f + f = 0. Do s and f have the same value?
False
Let b(v) = -v**3 - 3*v**2 + 4*v + 14. Let f be b(-5). Let p be (-14)/21 + (f/6)/2. Is 0 equal to p?
False
Let r = 4 + 8. Suppose q + 1 = 3*t, 4*q + 4*t = 3*t + 48. Are q and r nonequal?
True
Suppose -2*f - 2 = -4*f. Suppose -h = -0*g + g - f, -2*g = -4. Is -2/113 smaller than h?
False
Let v be (-441)/238*2/(-9)*3. Are v and 2 nonequal?
True
Let b(v) = 8*v**2 + 6*v + 95. Let h be b(-6). Is 347 less than h?
False
Suppose 5*y - 23 - 7 = 0. Let p(l) be the second derivative of l**4/12 - l**3 - 13*l**2/2 - 2*l - 3. Let f be p(8). Which is bigger: y or f?
y
Let z be (5/4)/(8/8). Let w(l) be the second derivative of l**3/3 - 4*l**2 - 4*l. Let v be w(5). Which is greater: z or v?
v
Let y = -2.29 - 9.01. Let w = y - -11. Suppose 17 = -2*s + 13. Is w smaller than s?
False
Let z = 3.3 - 2.51. Let k = z + 0.21. Is 0.1 smaller than k?
True
Let x(j) = j - 5. Let r be ((-3)/1)/((54/8)/(-9)). Let a be x(r). Which is smaller: a or 3/98?
a
Suppose -5*y - 6*s + 10 = -11*s, 3*s + 6 = -2*y. Is 2/1977 smaller than y?
False
Let h = 1.2 + -0.2. Let q(u) = 21*u - 114. Let x be q(6). Which is smaller: x or h?
h
Let x = -97 + 95. Let q = -1501/9 + 167. Which is greater: x or q?
q
Let z = -463 + 467. Which is smaller: 19/7 or z?
19/7
Let f = -2050 + 2040. Is 7/2 > f?
True
Suppose 3*w - 8*w = -5. Let l = 0 - w. Let k be l - 12/(-148)*13. Is 0 at least as big as k?
False
Let l = -24 + 24.3. Let t = 0.24 - l. Let p = 0.2 - 0.1. Is p smaller than t?
False
Suppose -2*z - 3 = -1. Let g be (-120)/(-42) - z/7. Is 3 greater than g?
False
Suppose c - 150 = -5*t - 430, 2 = -t. Which is greater: c or -269?
-269
Let i be 2 + 1/(-1) + 4 + -5. Let d be ((-72)/2)/(-3) - (-2 - i). Are d and 9 unequal?
True
Suppose 4*d + g + 5 = 0, 3*d = 2*g + 2 - 3. Suppose 3*t = -a, -2*t - t = 0. Suppose -v - 2*v - 3 = a. Are d and v nonequal?
False
Let t be 1/(-5) - (-230037)/585. Let u = t + -393. Which is smaller: u or -1?
-1
Let r = 76 + -50. Let i = -26 + r. Which is greater: -2/61 or i?
i
Suppose 5*h + g - 5*g = -1767, 0 = -3*h - 2*g - 1069. Which is smaller: h or -356?
-356
Let q(i) = -6*i - 121. Let c be q(-10). Is -306/5 < c?
True
Let r be -2 + 1 + 3 - 2. Suppose v = -5*g + 29, 0*v + 5*v = 4*g - 29. Let b be (r + (-27)/g)/3. Is -2 not equal to b?
True
Let x be (-66)/(-2299) + 2/11. Is x > -0.1?
True
Let y = -23 + 23.22. Let v = y - 6.22. Is v >= 0.2?
False
Suppose 3*w + 63 = 5*p, w + 12 = 4*w. Which is bigger: p or 45?
45
Suppose 0 = -3*s + j - 2, 6*s - 2*s = 4*j - 16. Let c be 1/1 + s - 1. Let g be (20/14 + -2)*c. Are g and -0.1 non-equal?
True
Suppose -l = b + 170, 4*l + 311 = 4*b - 401. Let m = -2264/13 - l. Do 10 and m have different values?
True
Let x = 2.5 - -15.5. Is 4/3 greater than or equal to x?
False
Suppose -7*x - 17 = 3*l - 2*x, -2*x - 7 = l. Which is smaller: -3/190 or l?
-